-
Weighted nonlocal operators and their applications in semi-supervised learning
Authors:
Qiang Du,
James M. Scott
Abstract:
Motivated by problems in machine learning, we study a class of variational problems characterized by nonlocal operators. These operators are characterized by power-type weights, which are singular at a portion of the boundary. We identify a range of exponents on these weights for which the variational Dirichlet problem is well-posed. This range is determined by the ambient dimension of the problem…
▽ More
Motivated by problems in machine learning, we study a class of variational problems characterized by nonlocal operators. These operators are characterized by power-type weights, which are singular at a portion of the boundary. We identify a range of exponents on these weights for which the variational Dirichlet problem is well-posed. This range is determined by the ambient dimension of the problem, the growth rate of the nonlocal functional, and the dimension of the boundary portion on which the Dirichlet data is prescribed. We show the variational convergence of solutions to solutions of local weighted Sobolev functionals in the event of vanishing nonlocality.
△ Less
Submitted 23 December, 2024; v1 submitted 20 December, 2024;
originally announced December 2024.
-
Asymptotically compatible schemes for nonlinear variational models via Gamma-convergence and applications to nonlocal problems
Authors:
Qiang Du,
James M. Scott,
Xiaochuan Tian
Abstract:
We present a study on asymptotically compatible Galerkin discretizations for a class of parametrized nonlinear variational problems. The abstract analytical framework is based on variational convergence, or Gamma-convergence. We demonstrate the broad applicability of the theoretical framework by developing asymptotically compatible finite element discretizations of some representative nonlinear no…
▽ More
We present a study on asymptotically compatible Galerkin discretizations for a class of parametrized nonlinear variational problems. The abstract analytical framework is based on variational convergence, or Gamma-convergence. We demonstrate the broad applicability of the theoretical framework by developing asymptotically compatible finite element discretizations of some representative nonlinear nonlocal variational problems on a bounded domain. These include nonlocal nonlinear problems with classically-defined, local boundary constraints through heterogeneous localization at the boundary, as well as nonlocal problems posed on parameter-dependent domains.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
Ohta-Kawasaki energy for amphiphiles: asymptotics and phase-field simulations
Authors:
Qiang Du,
James M. Scott,
Zirui Xu
Abstract:
We study the minimizers of a degenerate case of the Ohta-Kawasaki energy, defined as the sum of the perimeter and a Coulombic nonlocal term. We start by investigating radially symmetric candidates which give us insights into the asymptotic behaviors of energy minimizers in the large mass limit. In order to numerically study the problems that are analytically challenging, we propose a phase-field r…
▽ More
We study the minimizers of a degenerate case of the Ohta-Kawasaki energy, defined as the sum of the perimeter and a Coulombic nonlocal term. We start by investigating radially symmetric candidates which give us insights into the asymptotic behaviors of energy minimizers in the large mass limit. In order to numerically study the problems that are analytically challenging, we propose a phase-field reformulation which is shown to Gamma-converge to the original sharp interface model. Our phase-field simulations and asymptotic results suggest that the energy minimizers exhibit behaviors similar to the self-assembly of amphiphiles, including the formation of lipid bilayer membranes.
△ Less
Submitted 13 September, 2024; v1 submitted 11 January, 2024;
originally announced January 2024.
-
Nonlocal problems with local boundary conditions II: Green's identities and regularity of solutions
Authors:
James M. Scott,
Qiang Du
Abstract:
We study nonlocal integral equations on bounded domains with finite-range nonlocal interactions that are localized at the boundary. We establish a Green's identity for the nonlocal operator that recovers the classical boundary integral, which, along with the variational analysis established previously, leads to the well-posedness of these nonlocal problems with various types of classical local bou…
▽ More
We study nonlocal integral equations on bounded domains with finite-range nonlocal interactions that are localized at the boundary. We establish a Green's identity for the nonlocal operator that recovers the classical boundary integral, which, along with the variational analysis established previously, leads to the well-posedness of these nonlocal problems with various types of classical local boundary conditions. We continue our analysis via boundary-localized convolutions, using them to analyze the Euler-Lagrange equations, which permits us to establish global regularity properties and classical Sobolev convergence to their classical local counterparts.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Nonlocal problems with local boundary conditions I: function spaces and variational principles
Authors:
James M. Scott,
Qiang Du
Abstract:
We present a systematic study on a class of nonlocal integral functionals for functions defined on a bounded domain and the naturally induced function spaces. The function spaces are equipped with a seminorm depending on finite differences weighted by a position-dependent function, which leads to heterogeneous localization on the domain boundary. We show the existence of minimizers for nonlocal va…
▽ More
We present a systematic study on a class of nonlocal integral functionals for functions defined on a bounded domain and the naturally induced function spaces. The function spaces are equipped with a seminorm depending on finite differences weighted by a position-dependent function, which leads to heterogeneous localization on the domain boundary. We show the existence of minimizers for nonlocal variational problems with classically-defined, local boundary constraints, together with the variational convergence of these functionals to classical counterparts in the localization limit. This program necessitates a thorough study of the nonlocal space; we demonstrate properties such as a Meyers-Serrin theorem, trace inequalities, and compact embeddings, which are facilitated by new studies of boundary-localized convolution operators.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Linearization and localization of nonconvex functionals motivated by nonlinear peridynamic models
Authors:
Tadele Mengesha,
James M. Scott
Abstract:
We consider a class of nonconvex energy functionals that lies in the framework of the peridynamics model of continuum mechanics. The energy densities are functions of a nonlocal strain that describes deformation based on pairwise interaction of material points, and as such are nonconvex with respect to nonlocal deformation. We apply variational analysis to investigate the consistency of the effect…
▽ More
We consider a class of nonconvex energy functionals that lies in the framework of the peridynamics model of continuum mechanics. The energy densities are functions of a nonlocal strain that describes deformation based on pairwise interaction of material points, and as such are nonconvex with respect to nonlocal deformation. We apply variational analysis to investigate the consistency of the effective behavior of these nonlocal nonconvex functionals with established classical and peridynamic models in two different regimes. In the regime of small displacement, we show the model can be effectively described by its linearization. To be precise, we rigorously derive what is commonly called the linearized bond-based peridynamic functional as a $Γ$-limit of nonlinear functionals. In the regime of vanishing nonlocality, the effective behavior the nonlocal nonconvex functionals is characterized by an integral representation, which is obtained via $Γ$-convergence with respect to the strong $L^p$ topology. We also prove various properties of the density of the localized quasiconvex functional such as frame-indifference and coercivity. We demonstrate that the density vanishes on matrices whose singular values are less than or equal to one. These results confirm that the localization, in the context of $Γ$-convergence, of peridynamic-type energy functionals exhibit behavior quite different from classical hyperelastic energy functionals.
△ Less
Submitted 27 June, 2023;
originally announced June 2023.
-
Existence and uniqueness of solutions to the Peierls-Nabarro model in anisotropic media
Authors:
Yuan Gao,
James M. Scott
Abstract:
We study the existence and uniqueness of solutions to the vector field Peierls-Nabarro model for curved dislocations in a transversely isotropic medium. Under suitable assumptions for the misfit potential on the slip plane, we reduce the 3D Peierls-Nabarro model to a nonlocal scalar Ginzburg-Landau equation. For a particular range of elastic coefficients, the nonlocal scalar equation with explicit…
▽ More
We study the existence and uniqueness of solutions to the vector field Peierls-Nabarro model for curved dislocations in a transversely isotropic medium. Under suitable assumptions for the misfit potential on the slip plane, we reduce the 3D Peierls-Nabarro model to a nonlocal scalar Ginzburg-Landau equation. For a particular range of elastic coefficients, the nonlocal scalar equation with explicit nonlocal positive kernel is derived. We prove that any stable steady solution has a one-dimensional profile. As a result, we obtain that solutions to the scalar equation, as well as the original 3D system, are characterized as a one-parameter family of straight dislocations. This paper generalizes results found previously for the full isotropic case to an anisotropic setting.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
Fractional Korn's inequalities without boundary conditions
Authors:
D. Harutyunyan,
T. Mengesha,
H. Mikayelyan,
J. M. Scott
Abstract:
This work establishes fractional analogues of Korn's first and second inequalities for vector fields in fractional Sobolev spaces defined over a bounded domain. The validity of the inequalities require no additional boundary condition, extending existing fractional Korn's inequalities that are only applicable for Sobolev vector fields satisfying zero Dirichlet boundary conditions. The domain of de…
▽ More
This work establishes fractional analogues of Korn's first and second inequalities for vector fields in fractional Sobolev spaces defined over a bounded domain. The validity of the inequalities require no additional boundary condition, extending existing fractional Korn's inequalities that are only applicable for Sobolev vector fields satisfying zero Dirichlet boundary conditions. The domain of definition is required to have a $C^1$-boundary or, more generally, a Lipschitz boundary with small Lipschitz constant. We conjecture that the inequalities remain valid for vector fields defined over any Lipschitz domain. We support this claim by presenting a proof of the inequalities for vector fields defined over planar convex domains.
△ Less
Submitted 9 October, 2023; v1 submitted 28 February, 2023;
originally announced February 2023.
-
Nonlocal boundary-value problems with local boundary conditions
Authors:
James M. Scott,
Qiang Du
Abstract:
We describe and analyze nonlocal integro-differential equations with classical local boundary conditions. The interaction kernel of the nonlocal operator has horizon parameter dependent on position in the domain, and vanishes as the boundary of the domain is approached. This heterogeneous localization allows for boundary values to be captured in the trace sense. We state and prove a nonlocal Green…
▽ More
We describe and analyze nonlocal integro-differential equations with classical local boundary conditions. The interaction kernel of the nonlocal operator has horizon parameter dependent on position in the domain, and vanishes as the boundary of the domain is approached. This heterogeneous localization allows for boundary values to be captured in the trace sense. We state and prove a nonlocal Green's identity for these nonlocal operators that involve local boundary terms. We use this identity to state and establish the well-posedness of variational formulations of the nonlocal problems with several types of classical boundary conditions.
We show the consistency of these nonlocal boundary-value problems with their classical local counterparts in the vanishing horizon limit via the convergence of solutions. The Poisson data for the local boundary-value problem is permitted to be quite irregular, belonging to the dual of the classical Sobolev space. Heterogeneously mollifying this Poisson data for the local problem on the same length scale as the horizon and using the regularity of the interaction kernel, we show that the solutions to the nonlocal boundary-value problem with the mollified Poisson data actually belong to the classical Sobolev space, and converge weakly to the unique variational solution of the classical Poisson problem with original Poisson data.
△ Less
Submitted 7 January, 2023;
originally announced January 2023.
-
The Fractional Lamé-Navier Operator: Appearances, Properties and Applications
Authors:
James M. Scott
Abstract:
We introduce and analyze an explicit formulation of fractional powers of the Lamé-Navier system of partial differential operators. We show that this fractional Lamé-Navier operator is a nonlocal integro-differential operator that appears in several widely-used continuum mechanics models. We demonstrate that the fractional Lamé-Navier operator can be obtained using compositions of nonlocal gradient…
▽ More
We introduce and analyze an explicit formulation of fractional powers of the Lamé-Navier system of partial differential operators. We show that this fractional Lamé-Navier operator is a nonlocal integro-differential operator that appears in several widely-used continuum mechanics models. We demonstrate that the fractional Lamé-Navier operator can be obtained using compositions of nonlocal gradient operators. Additionally, the effective form of the fractional Lamé-Navier operator is the same as the operator obtained as a particular choice of parameters in state-based peridynamics. We further show that the Dirichlet-to-Neumann map associated to the local classical Lamé-Navier system posed in a half-space coincides with the square root power of the Lamé-Navier operator for a particular choice of elastic coefficients.
We establish basic analysis results for the fractional Lamé-Navier operator, including the calculus of positive and negative powers, and explore its interaction with the Hölder and Bessel classes of functions. We also derive the fractional Lamé-Navier as the Dirichlet-to-Neumann map of a local degenerate elliptic system of equations in the upper half-space. We use an explicit formula for a Poisson kernel for the extension system to establish the well-posedness in weighted Sobolev spaces. As an application, we derive the equivalence of two fractional seminorms using a purely local argument in the extension system, and then use this equivalence to obtain well-posedness for a variational Dirichlet problem associated to the fractional Lamé-Navier operator.
△ Less
Submitted 8 January, 2023; v1 submitted 25 April, 2022;
originally announced April 2022.
-
Connections between nonlocal operators: from vector calculus identities to a fractional Helmholtz decomposition
Authors:
Marta D'Elia,
Mamikon Gulian,
Tadele Mengesha,
James M. Scott
Abstract:
Nonlocal vector calculus, which is based on the nonlocal forms of gradient, divergence, and Laplace operators in multiple dimensions, has shown promising applications in fields such as hydrology, mechanics, and image processing. In this work, we study the analytical underpinnings of these operators. We rigorously treat compositions of nonlocal operators, prove nonlocal vector calculus identities,…
▽ More
Nonlocal vector calculus, which is based on the nonlocal forms of gradient, divergence, and Laplace operators in multiple dimensions, has shown promising applications in fields such as hydrology, mechanics, and image processing. In this work, we study the analytical underpinnings of these operators. We rigorously treat compositions of nonlocal operators, prove nonlocal vector calculus identities, and connect weighted and unweighted variational frameworks. We combine these results to obtain a weighted fractional Helmholtz decomposition which is valid for sufficiently smooth vector fields. Our approach identifies the function spaces in which the stated identities and decompositions hold, providing a rigorous foundation to the nonlocal vector calculus identities that can serve as tools for nonlocal modeling in higher dimensions.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
A note on estimates of level sets and their role in demonstrating regularity of solutions to nonlocal double phase equations
Authors:
James M. Scott,
Tadele Mengesha
Abstract:
In this note we prove an estimate on the level sets of a function with $(p, q)$ growth that depends on the difference quotient of a bounded weak solution to a nonlocal double phase equation. This estimate is related to a self improving property of these solutions.
In this note we prove an estimate on the level sets of a function with $(p, q)$ growth that depends on the difference quotient of a bounded weak solution to a nonlocal double phase equation. This estimate is related to a self improving property of these solutions.
△ Less
Submitted 24 November, 2020;
originally announced November 2020.
-
A Fractional Korn-type inequality for smooth domains and a regularity estimate for nonlinear nonlocal systems of equations
Authors:
Tadele Mengesha,
James M. Scott
Abstract:
In this paper we prove a fractional analogue of the classical Korn's first inequality. The inequality makes it possible to show the equivalence of a function space of vector field characterized by a Gagliardo-type seminorm with 'projected difference' with that of a corresponding fractional Sobolev space. As an application, we will use it to obtain a Caccioppoli-type inequality for a nonlinear syst…
▽ More
In this paper we prove a fractional analogue of the classical Korn's first inequality. The inequality makes it possible to show the equivalence of a function space of vector field characterized by a Gagliardo-type seminorm with 'projected difference' with that of a corresponding fractional Sobolev space. As an application, we will use it to obtain a Caccioppoli-type inequality for a nonlinear system of nonlocal equations, which in turn is a key ingredient in applying known results to prove a higher fractional differentiability result for weak solutions of the nonlinear system of nonlocal equations. The regularity result we prove will demonstrate that a well-known self-improving property of scalar nonlocal equations will hold for strongly coupled systems of nonlocal equations as well.
△ Less
Submitted 24 November, 2020;
originally announced November 2020.
-
Self-improving Inequalities for bounded weak solutions to nonlocal double phase equations
Authors:
James M. Scott,
Tadele Mengesha
Abstract:
We prove higher Sobolev regularity for bounded weak solutions to a class of nonlinear nonlocal integro-differential equations. The leading operator exhibits nonuniform growth, switching between two different fractional elliptic ``phases" that are determined by the zero set of a modulating coefficient. Solutions are shown to improve both in integrability and differentiability. These results apply t…
▽ More
We prove higher Sobolev regularity for bounded weak solutions to a class of nonlinear nonlocal integro-differential equations. The leading operator exhibits nonuniform growth, switching between two different fractional elliptic ``phases" that are determined by the zero set of a modulating coefficient. Solutions are shown to improve both in integrability and differentiability. These results apply to operators with rough kernels and modulating coefficients. To obtain these results we adapt a particular fractional version of the Gehring lemma developed by Kuusi, Mingione, and Sire in their work ``Nonlocal self-improving properties" Anal. PDE, 8(1):57--114 for the specific nonlinear setting under investigation in this manuscript.
△ Less
Submitted 23 November, 2020;
originally announced November 2020.
-
Weak Limits of Fractional Sobolev Homeomorphisms are Almost Injective: A Note
Authors:
Armin Schikorra,
James M. Scott
Abstract:
Let $Ω\subset \mathbb{R}^n$ be an open set and $f_k \in W^{s,p}(Ω;\mathbb{R}^n)$ be a sequence of homeomorphisms weakly converging to $f \in W^{s,p}(Ω;\mathbb{R}^n)$. It is known that if $s=1$ and $p > n-1$ then $f$ is injective almost everywhere in the domain and the target. In this note we extend such results to the case $s\in(0,1)$ and $sp > n-1$. This in particular applies to $C^s$-Hölder maps…
▽ More
Let $Ω\subset \mathbb{R}^n$ be an open set and $f_k \in W^{s,p}(Ω;\mathbb{R}^n)$ be a sequence of homeomorphisms weakly converging to $f \in W^{s,p}(Ω;\mathbb{R}^n)$. It is known that if $s=1$ and $p > n-1$ then $f$ is injective almost everywhere in the domain and the target. In this note we extend such results to the case $s\in(0,1)$ and $sp > n-1$. This in particular applies to $C^s$-Hölder maps.
△ Less
Submitted 6 November, 2020;
originally announced November 2020.
-
Asymptotic Analysis of a Coupled System of Nonlocal Equations with Oscillatory Coefficients
Authors:
Tadele Mengesha,
James M. Scott
Abstract:
In this paper we study the asymptotic behavior of solutions to systems of strongly coupled integral equations with oscillatory coefficients. The system of equations is motivated by a peridynamic model of the deformation of heterogeneous media that additionally accounts for short-range forces. We consider the vanishing nonlocality limit on the same length scale as the heterogeneity and show that th…
▽ More
In this paper we study the asymptotic behavior of solutions to systems of strongly coupled integral equations with oscillatory coefficients. The system of equations is motivated by a peridynamic model of the deformation of heterogeneous media that additionally accounts for short-range forces. We consider the vanishing nonlocality limit on the same length scale as the heterogeneity and show that the system's effective behavior is characterized by a coupled system of local equations that are elliptic in the sense of Legendre-Hadamard. This effective system is characterized by a fourth-order tensor that shares properties with Cauchy elasticity tensors that appear in the classical equilibrium equations for linearized elasticity.
△ Less
Submitted 18 June, 2021; v1 submitted 17 September, 2019;
originally announced September 2019.
-
The Solvability of a Strongly-Coupled Nonlocal System of Equations
Authors:
Tadele Mengesha,
James M. Scott
Abstract:
We prove existence and uniqueness of strong (pointwise) solutions to a linear nonlocal strongly coupled hyperbolic system of equations posed on all of Euclidean space. The system of equations comes from a linearization of a nonlocal model of elasticity in solid mechanics. It is a nonlocal analogue of the Navier-Lamé system of classical elasticity. We use a well-known semigroup technique that hinge…
▽ More
We prove existence and uniqueness of strong (pointwise) solutions to a linear nonlocal strongly coupled hyperbolic system of equations posed on all of Euclidean space. The system of equations comes from a linearization of a nonlocal model of elasticity in solid mechanics. It is a nonlocal analogue of the Navier-Lamé system of classical elasticity. We use a well-known semigroup technique that hinges on the strong solvability of the corresponding steady-state elliptic system. The leading operator is an integro-differential operator characterized by a distinctive matrix kernel which is used to couple differences of components of a vector field. For an operator possessing an asymmetric kernel comparable to that of the fractional Laplacian, we prove the $L^2$-solvability of the elliptic system in a Bessel potential space using the Fourier transform and \textit{a priori} estimates. This $L^2$-solvability together with the Hille-Yosida theorem is used to prove the well posedness of the wave-type time dependent problem. For the fractional Laplacian kernel we extend the solvability to $L^p$ spaces using classical multiplier theorems.
△ Less
Submitted 24 June, 2019;
originally announced June 2019.
-
Analysis of the Zero Relaxation Limit of Systems of Hyperbolic Conservation Laws with Random Initial Data
Authors:
James M. Scott,
M. Paul Laiu,
Cory D. Hauck
Abstract:
We show the convergence of the zero relaxation limit in systems of $2 \times 2$ hyperbolic conservation laws with stochastic initial data. Precisely, solutions converge to a solution of the local equilibrium approximation as the relaxation time tends to zero. The initial data are assumed to depend on finitely many random variables, and the convergence is then proved via the appropriate analogues o…
▽ More
We show the convergence of the zero relaxation limit in systems of $2 \times 2$ hyperbolic conservation laws with stochastic initial data. Precisely, solutions converge to a solution of the local equilibrium approximation as the relaxation time tends to zero. The initial data are assumed to depend on finitely many random variables, and the convergence is then proved via the appropriate analogues of the compensated compactness methods used in treating the deterministic case. We also demonstrate the validity of this limit in the case of the semi-linear $p$-system; the well-posedness of both the system and its equilibrium approximation are proved, and the convergence is shown with no a priori conditions on solutions. This model serves as a prototype for understanding how asymptotic approximations can be used as control variates for hyperbolic balance laws with uncertainty.
△ Less
Submitted 30 October, 2018;
originally announced October 2018.