Searcharxiv⌕ Search

arXiv subjects

Harbir Antil

Publications and source records attributed to Harbir Antil.

At least 91 records · Page 5Linked to original sources

Approximation of fractional harmonic maps

This paper addresses the approximation of fractional harmonic maps. Besides a unit-length constraint, one has to tackle the difficulty of nonlocality. We establish weak compactness results for critical points of the fractional Dirichlet energy on unit-length vector fields. We devise and analyze numerical methods for the approximation of various partial differential equations related to fractional harmonic maps. The compactness results imply the convergence of numerical approximations. Numerical examples on spin chain dynamics and point defects are presented to demonstrate the effectiveness of the proposed methods.

math.NA↗

Convergence Analysis of the Rank-Restricted Soft SVD Algorithm

The soft SVD is a robust matrix decomposition algorithm and a key component of matrix completion methods. However, computing the soft SVD for large sparse matrices is often impractical using conventional numerical methods for the SVD due to large memory requirements. The Rank-Restricted Soft SVD (RRSS) algorithm introduced by Hastie et al. addressed this issue by sequentially computing low-rank SVDs that easily fit in memory. We analyze the convergence of the standard RRSS algorithm and we give examples where the standard algorithm does not converge. We show that convergence requires a modification of the standard algorithm, and is related to non-uniqueness of the SVD. Our modification specifies a consistent choice of sign for the left singular vectors of the low-rank SVDs in the iteration. Under these conditions, we prove linear convergence of the singular vectors using a technique motivated by alternating subspace iteration. We then derive a fixed point iteration for the evolution of the singular values and show linear convergence to the soft thresholded singular values of the original matrix. This last step requires a perturbation result for fixed point iterations which may be of independent interest.

math.NA↗

Novel DNNs for Stiff ODEs with Applications to Chemically Reacting Flows

Chemically reacting flows are common in engineering, such as hypersonic flow, combustion, explosions, manufacturing processes and environmental assessments. For combustion, the number of reactions can be significant (over 100) and due to the very large CPU requirements of chemical reactions (over 99%) a large number of flow and combustion problems are presently beyond the capabilities of even the largest supercomputers. Motivated by this, novel Deep Neural Networks (DNNs) are introduced to approximate stiff ODEs. Two approaches are compared, i.e., either learn the solution or the derivative of the solution to these ODEs. These DNNs are applied to multiple species and reactions common in chemically reacting flows. Experimental results show that it is helpful to account for the physical properties of species while designing DNNs. The proposed approach is shown to generalize well.

cs.LG↗

On a Fractional Version of a Murat Compactness Result and Applications

The paper provides an extension, to fractional order Sobolev spaces, of the classical result of Murat and Brezis which states that the positive cone of elements in $H^{-1}(Ω)$ compactly embeds in $W^{-1,q}(Ω)$, for every $q < 2$ and for any open and bounded set $Ω$ with Lipschitz boundary. In particular, our proof contains the classical result. Several new analysis tools are developed during the course of the proof to our main result which are of wider interest. Subsequently, we apply our results to the convergence of convex sets and establish a fractional version of the Mosco convergence result of Boccardo and Murat. We conclude with an application of this result to quasi-variational inequalities.

math.AP↗

Novel Deep neural networks for solving Bayesian statistical inverse

We consider the simulation of Bayesian statistical inverse problems governed by large-scale linear and nonlinear partial differential equations (PDEs). Markov chain Monte Carlo (MCMC) algorithms are standard techniques to solve such problems. However, MCMC techniques are computationally challenging as they require several thousands of forward PDE solves. The goal of this paper is to introduce a fractional deep neural network based approach for the forward solves within an MCMC routine. Moreover, we discuss some approximation error estimates and illustrate the efficiency of our approach via several numerical examples.

math.NA↗

A Note on Multigrid Preconditioning for Fractional PDE-Constrained Optimization Problems

In this note we present a multigrid preconditioning method for solving quadratic optimization problems constrained by a fractional diffusion equation. Multigrid methods within the all-at-once approach to solve the first order-order optimality Karush-Kuhn-Tucker (KKT) systems are widely popular, but their development have relied on the underlying systems being sparse. On the other hand, for most discretizations, the matrix representation of fractional operators is expected to be dense. We develop a preconditioning strategy for our problem based on a reduced approach, namely we eliminate the state constraint using the control-to-state map. Our multigrid preconditioning approach shows a dramatic reduction in the number of CG iterations. We assess the quality of preconditioner in terms of the spectral distance. Finally, we provide a partial theoretical analysis for this preconditioner, and we formulate a conjecture which is clearly supported by our numerical experiments.

math.OC↗

High Fidelity Modeling of Aerosol Pathogen Propagation in Built Environments with Moving Pedestrians

A high fidelity model for the propagation of pathogens via aerosols in the presence of moving pedestrians is proposed. The key idea is the tight coupling of computational fluid dynamics and computational crowd dynamics in order to capture the emission, transport and inhalation of pathogen loads in space and time. An example simulating pathogen propagation in a narrow corridor with moving pedestrians clearly shows the considerable effect that pedestrian motion has on airflow, and hence on pathogen propagation and potential infectivity.

physics.soc-ph↗

Optimal Control Problems Governed by 1-D Kobayashi-Warren-Carter Type Systems

This paper is devoted to the study of a class of optimal control problems governed by 1-D Kobayashi-Warren-Carter type systems, which are based on a phase-field model of grain boundary motion, proposed by [Kobayashi et al, Physica D, 140, 141-150, 2000]. The class consists of an optimal control problem for a physically realistic state-system of Kobayashi-Warren-Carter type, and its regularized approximating problems. The results of this paper are stated in three Main Theorems 1-3. The first Main Theorem 1 is concerned with the solvability and continuous dependence for the state-systems. Meanwhile, the second Main Theorem 2 is concerned with the solvability of optimal control problems, and some semi-continuous association in the class of our optimal control problems. Finally, in the third Main Theorem 3, we derive the first order necessary optimality conditions for optimal controls of the regularized approximating problems. By taking the approximating limit, we also derive the optimality conditions for the optimal controls for the physically realistic problem.

math.OC↗

Fractional Diffusion Maps

In this paper, we extend the diffusion maps algorithm on a family of heat kernels that are either local (having exponential decay) or nonlocal (having polynomial decay), arising in various applications. For example, these kernels have been used as a regularizer in various supervised learning tasks for denoising images. Importantly, these heat kernels give rise to operators that include (but are not restricted to) the generators of the classical Laplacian associated to Brownian processes as well as the fractional Laplacian associated with $β$-stable Lévy processes. For local kernels, while the method is a version of the diffusion maps algorithm, we show that the applications with non-Gaussian local heat kernels approximate temporally rescaled Laplace-Beltrami operators. For the non-local heat kernels, we modify the diffusion maps algorithm to estimate fractional Laplacian operators. Here, the graph distance is used to approximate the geodesic distance with appropriate error bounds. While this approximation becomes numerically expensive as the number of data points increases, it produces an accurate operator estimation that is robust to the choice of the kernel bandwidth parameter value. In contrast, the local kernels are numerically more efficient but more sensitive to the choice of kernel bandwidth parameter value. In an application to estimate non-smooth regression functions, we find that using the nonlocal kernel as a regularizer produces a more robust and accurate estimate than using local kernels. For manifolds with boundary, we find that the proposed fractional diffusion maps framework implemented with non-local kernels approximates the regional fractional Laplacian.

math.CA↗

Detailed Simulation of Viral Propagation In The Built Environment

A summary is given of the mechanical characteristics of virus contaminants and the transmission via droplets and aerosols. The ordinary and partial differential equations describing the physics of these processes with high fidelity are presented, as well as appropriate numerical schemes to solve them. Several examples taken from recent evaluations of the built environment are shown, as well as the optimal placement of sensors.

physics.soc-ph↗

Moreau-Yosida regularization for optimal control of fractional PDEs with state constraints: parabolic case

This paper considers optimal control of fractional parabolic PDEs with both state and control constraints. The key challenge is how to handle the state constraints. Similarly, to the elliptic case, in this paper, we establish several new mathematical tools in the parabolic setting that are of wider interest. For example, existence of solution to the fractional parabolic equation with measure data on the right-hand-side. We employ the Moreau-Yosida regularization to handle the state constraints. We establish convergence, with rate, of the regularized optimal control problem to the original one. Numerical experiments confirm what we have proven theoretically.

math.AP↗

Optimal Control of Parameterized Maxwell's System: Reduced Basis, Convergence Analysis, and A Posteriori Error Estimates

We consider control constrained optimal control problems governed by parameterized stationary Maxwell's system with the Gauss's law. The parameters enter through dielectric, magnetic permeability, and charge density. Moreover, the parameter set is assumed to be compact. We discretize the electric field by a finite element method and use variational discretization concept to discretize the control. We create a reduced basis method for the optimal control problem and establish uniform convergence of the reduced order solutions to that of the original high dimensional problem provided that the snapshot parameter sample is dense in the parameter set, with an appropriate parameter separability rule. Finally, we establish the absolute a posteriori error estimator for the reduced order solutions and the corresponding cost functions in terms of the state and adjoint residuals.

math.OC↗

Fractional Deep Neural Network via Constrained Optimization

This paper introduces a novel algorithmic framework for a deep neural network (DNN), which in a mathematically rigorous manner, allows us to incorporate history (or memory) into the network -- it ensures all layers are connected to one another. This DNN, called Fractional-DNN, can be viewed as a time-discretization of a fractional in time nonlinear ordinary differential equation (ODE). The learning problem then is a minimization problem subject to that fractional ODE as constraints. We emphasize that an analogy between the existing DNN and ODEs, with standard time derivative, is well-known by now. The focus of our work is the Fractional-DNN. Using the Lagrangian approach, we provide a derivation of the backward propagation and the design equations. We test our network on several datasets for classification problems. Fractional-DNN offers various advantages over the existing DNN. The key benefits are a significant improvement to the vanishing gradient issue due to the memory effect, and better handling of nonsmooth data due to the network's ability to approximate non-smooth functions.

math.OC↗

Moreau-Yosida Regularization for Optimal Control of Fractional Elliptic Problems with State and Control Constraints

Recently the authors have studied a state and control constrained optimal control problem with fractional elliptic PDE as constraints. The goal of this paper is to continue that program forward and introduce an algorithm to solve such optimal control problems. We shall employ the well-known Moreau-Yosida regularization to handle the state constraints. Similarly to the classical case, we establish the convergence (with rate) of the regularized control problem to the original one. We discretize the problem using a finite element method and establish convergence of our numerical scheme. We emphasize that due to the non-smooth nature of the fractional Laplacian, the proof for the classical case does not apply to the fractional case. The numerical experiments confirm all our theoretical findings.

math.OC↗

Revisiting Calderon's Problem

A finite element code for heat conduction, together with an adjoint solver and a suite of optimization tools was applied for the solution of Calderon's problem. One of the questions whose answer was sought was whether the solution to these problems is unique and obtainable. The results to date show that while the optimization procedure is able to obtain spatial distributions of the conductivity $k$ that reduce the cost function significantly, the resulting conductivity $k$ is still significantly different from the target distribution sought. While the normal fluxes recovered are very close to the prescribed ones, the tangential fluxes can differ considerably.

math.OC↗

A problem in control of elastodynamics with piezoelectric effects

We consider an optimal control problem where the state equations are a coupled hyperbolic-elliptic system. This system arises in elastodynamics with piezoelectric effects -- the elastic stress tensor is a function of elastic displacement and electric potential. The electric flux acts as the control variable and, in addition to the state constraints, the bound constraints on the control are considered. We develop a complete analysis for the state equations and the control problem. The requisite regularity on the control, to show the well-posedness of state equations, is enforced using the cost functional. We rigorously derive the first order necessary and sufficient conditions using adjoint equations and further study their well-posedness. For spatially discrete (time continuous) problem, we show the convergence of our numerical scheme. Three dimensional numerical experiments are provided showing convergence properties of a fully discrete method and the practical applicability of our approach.

math.NA↗

Controllability properties from the exterior under positivity constraints for a 1-D fractional heat equation

We study the controllability to trajectories, under positivity constraints on the control or the state, of a one-dimensional heat equation involving the fractional Laplace operator $ (-\partial_x^2)^s$ (with $0<s<1$) on the interval $(-1,1)$. Our control function is localized in an open set $\mathcal O$ in the exterior of $(-1,1)$, that is, $\mathcal O\subset (\mathbb{R} \setminus (-1,1))$. We show that there exists a minimal (strictly positive) time $T_{\rm min}$ such that the fractional heat dynamics can be controlled from any initial datum in $L^2(-1,1)$ to a positive trajectory through the action of an exterior positive control, if and only if $\frac 12<s<1$. In addition, we prove that at this minimal controllability time, the constrained controllability is achieved by means of a control that belongs to a certain space of Radon measures. Finally, we provide several numerical illustrations that confirm our theoretical results.

math.OC↗

Convergence of solutions of discrete semi-linear space-time fractional evolution equations

Let $(-Δ)_c^s$ be the realization of the fractional Laplace operator on the space of continuous functions $C_0(\mathbb{R})$, and let $(-Δ_h)^s$ denote the discrete fractional Laplacian on $C_0(\mathbb{Z}_h)$, where $0 0$. We show that solutions of fractional order semi-linear Cauchy problems associated with the discrete operator $(-Δ_h)^s$ on $C_0(\mathbb{Z}_h)$ converge to solutions of the corresponding Cauchy problems associated with the continuous operator $(-Δ)_c^s$. In addition, we obtain that the convergence is uniform in $t$ in compact subsets of $[0,\infty)$. We also provide numerical simulations that support our theoretical results.

math.AP↗