SearcharxivSearch

arXiv subjects

Tadele Mengesha

Publications and source records attributed to Tadele Mengesha.

At least 19 recordsLinked to original sources

The $\alpha$-Limit Problem: Convergence of a Linear Degenerate Interface Transmission Problem

We study the singular limit of a family of linear degenerate interface transmission problems arising from a regularization procedure in the newly proposed Two-Parameter Diffuse Domain Method (DDM2p). For $\alpha>0$, the regularized problem admits a strictly convex variational formulation on $H^{1}(\Omega)$. In the limit $\alpha\to0$, the problem degenerates to a weakly coupled interface system with a nonstandard energy structure. To characterize the limit, we introduce a closed Hilbert subspace $\mathcal{H}\subset H^{1}(\Omega)$, defined through an auxiliary Helmholtz problem on an annular subdomain $\Omega_2\subset \Omega$, and identify the limiting energy functional $\mathcal{E}_{0}$ on $\mathcal{H}$. We prove that the regularized energies $\mathcal{E}_{\alpha}$ $\Gamma$-converge to $\mathcal{E}_{0}$ in the strong $L^{2}(\Omega)$ topology, using the standard framework. Consequently, minimizers of $\mathcal{E}_{\alpha}$ converge to the unique minimizer of $\mathcal{E}_{0}$, which is shown to be equivalent to the solution of the limiting interface problem. We further prove strong convergence $u_{\alpha}\to u_{0}$ in $H^{1}(\Omega)$ and establish an $O(\alpha)$ convergence rate. Numerical experiments in one spatial dimension confirm the predicted first-order convergence rate and suggest that this rate is sharp.

math.AP

Self-improving properties for a class of elliptic and parabolic equations on bounded domains

We discuss self improving properties of some local and nonlocal, elliptic and parabolic, equations on bounded domains. We employ a functional analytic approach wherein the solution space sits in a suitable interpolation scale. Utilizing a classical analytic perturbation result, we extrapolate the invertibility of the main operator from the base space to nearby spaces within the interpolation family.

math.AP

A note on the $L^{p}$-solvability of a strongly-coupled nonlocal system of equations

The goal of this paper is to study the $L^p$-solvability of the strongly-coupled nonlocal system \[ \mathbb{L} \mathbf{u} (\mathbf{x}) + \lambda \mathbf{u}(\mathbf{x})= \mathbf{f}(\mathbf{x}) \quad \text{in $\mathbb{R}^{d}$ } \] where $\mathbb{L}$ is a linear nonlocal coupled vector-valued operator associated with a kernel $K$ comparable to $|\mathbf{y}|^{-(d+2s)}$ for $s \in (0,1)$, satisfying certain ellipticity and cancellation conditions. For any $\mathbf{f} \in [L^p(\mathbb{R}^d)]^d$, $1< p < \infty$, the existence of a unique strong solution $\mathbf{u} \in [H^{2s,p}(\mathbb{R}^d)]^d$ is proved via the method of continuity. To apply this method, we establish the continuity of the operator $\mathbb{L}$ and the necessary \textit{a priori} estimates. These are obtained through the study of the corresponding parabolic system. The proof strategy follows and extends recent ideas developed for the scalar setting, combining commutator estimates, Sobolev embeddings, a level set estimates and a bootstrap argument.

math.AP

On parameterized nonlocal-fractional transmission problems and associated function spaces

In this paper, we consider a family of seamlessly coupled nonlocal models associated with transmission conditions across an interface. The models are derived from the variation of a parameterized family of energies consisting of a fractional type Dirichlet energy on one subdomain and a nonlocal Dirichlet energy involving a finite range of interactions on another subdomain. We present the rigorous mathematical formulation and its well-posedness. We also investigate the behavior of the model in various limiting regimes.

math.AP

A Diffuse Domain Approximation with Transmission-Type Boundary Conditions II: Gamma--Convergence

Diffuse domain methods (DDMs) have gained significant attention for solving partial differential equations (PDEs) on complex geometries. These methods approximate the domain by replacing sharp boundaries with a diffuse layer of thickness $\varepsilon$, which scales with the minimum grid size. This reformulation extends the problem to a regular domain, incorporating boundary conditions via singular source terms. In this work, we analyze the convergence of a DDM approximation problem with transmission-type Neumann boundary conditions. We prove that the energy functional of the diffuse domain problem $\Gamma$--converges to the energy functional of the original problem as $\varepsilon \to 0$. Additionally, we show that the solution of the diffuse domain problem strongly converges in $H^1(\Omega)$, up to a subsequence, to the solution of the original problem, as $\varepsilon \to 0$.

math.AP

A Diffuse Domain Approximation with Transmission-Type Boundary Conditions I: Asymptotic Analysis and Numerics

Diffuse domain methods (DDMs) have garnered significant attention for approximating solutions to partial differential equations on complex geometries. These methods implicitly represent the geometry by replacing the sharp boundary interface with a diffuse layer of thickness $\varepsilon$, which scales with the minimum grid size. This approach reformulates the original equations on an extended regular domain, incorporating boundary conditions through singular source terms. In this work, we conduct a matched asymptotic analysis of a DDM for a two-sided problem with transmission-type Robin boundary conditions. Our results show that, in the one dimensional space, the solution of the diffuse domain approximation asymptotically converges to the solution of the original problem, with exactly first-order accuracy in $\varepsilon$. Furthermore, we provide numerical simulations that validate and illustrate the analytical result.

math.AP

Asymptotic compatibility of parametrized optimal design problems

We study optimal design problems where the design corresponds to a coefficient in the principal part of the state equation. The state equation, in addition, is parameter dependent, and we allow it to change type in the limit of this (modeling) parameter. We develop a framework that guarantees asymptotic compatibility, that is unconditional convergence with respect to modeling and discretization parameters to the solution of the corresponding limiting problems. This framework is then applied to two distinct classes of problems where the modeling parameter represents the degree of nonlocality. Specifically, we show unconditional convergence of optimal design problems when the state equation is either a scalar-valued fractional equation, or a strongly coupled system of nonlocal equations derived from the bond-based model of peridynamics.

math.OC

Analysis and approximation of elliptic problems with Uhlenbeck structure in convex polytopes

We prove the well posedness in weighted Sobolev spaces of certain linear and nonlinear elliptic boundary value problems posed on convex domains and under singular forcing. It is assumed that the weights belong to the Muckenhoupt class $A_p$ with $p \in (1,\infty$). We also propose and analyze a convergent finite element discretization for the nonlinear elliptic boundary value problems mentioned above. As an instrumental result, we prove that the discretization of certain linear problems are well posed in weighted spaces.

math.AP

Compactness results for a Dirichlet energy of nonlocal gradient with applications

We prove two compactness results for function spaces with finite Dirichlet energy of half-space nonlocal gradients. In each of these results, we provide sufficient conditions on a sequence of kernel functions that guarantee the asymptotic compact embedding of the associated nonlocal function spaces into the class of square-integrable functions. Moreover, we will demonstrate that the sequence of nonlocal function spaces converges in an appropriate sense to a limiting function space. As an application, we prove uniform Poincar\'e-type inequalities for sequence of half-space gradient operators. We also apply the compactness result to demonstrate the convergence of appropriately parameterized nonlocal heterogeneous anisotropic diffusion problems. We will construct asymptotically compatible schemes for these type of problems. Another application concerns the convergence and robust discretization of a nonlocal optimal control problem.

math.AP

Calderon-Zygmund theory for strongly coupled linear system of nonlocal equations with Holder-regular coefficient

We extend the Calder\'on-Zygmund theory for nonlocal equations to strongly coupled system of linear nonlocal equations $\mathcal{L}^{s}_{A} u = f$, where the operator $\mathcal{L}^{s}_{A}$ is formally given by \[ \mathcal{L}^s_{A}u = \int_{\mathbb{R}^n}\frac{A(x, y)}{\vert x-y\vert ^{n+2s}} \frac{(x-y)\otimes (x-y)}{\vert x-y\vert ^2}(u(x)-u(y))dy. \] For $0 < s < 1$ and $A:\mathbb{R}^{n} \times \mathbb{R}^{n} \to \mathbb{R}$ taken to be symmetric and serving as a variable coefficient for the operator, the system under consideration is the fractional version of the classical Navier-Lam\'e linearized elasticity system. The study of the coupled system of nonlocal equations is motivated by its appearance in nonlocal mechanics, primarily in peridynamics. Our regularity result states that if $A(\cdot, y)$ is uniformly Holder continuous and $\inf_{x\in \mathbb{R}^n}A(x, x) > 0$, then for $f\in L^{p}_{loc},$ for $p\geq 2$, the solution vector $u\in H^{2s-\delta,p}_{loc}$ for some $\delta\in (0, s)$.

math.AP

Linearization and localization of nonconvex functionals motivated by nonlinear peridynamic models

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 $\Gamma$-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 $\Gamma$-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 $\Gamma$-convergence, of peridynamic-type energy functionals exhibit behavior quite different from classical hyperelastic energy functionals.

math.AP

On the Optimal Control of a Linear Peridynamics Model

We study a non-local optimal control problem involving a linear, bond-based peridynamics model. In addition to existence and uniqueness of solutions to our problem, we investigate their behavior as the horizon parameter $\delta$, which controls the degree of nonlocality, approaches zero. We then study a finite element-based discretization of this problem, its convergence, and the so-called asymptotic compatibility as the discretization parameter $h$ and the horizon parameter $\delta$ tend to zero simultaneously.

math.OC

Connections between nonlocal operators: from vector calculus identities to a fractional Helmholtz decomposition

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.

math.AP

Calderon-Zygmund theory for non-convolution type nonlocal equations with continuous coefficient

Given $2\leq p<\infty$, $s\in (0, 1)$ and $t\in (1, 2s)$, we establish interior $W^{t,p}$ Calderon-Zygmund estimates for solutions of nonlocal equations of the form \[ \int_{\Omega} \int_{\Omega} K\left (x,|x-y|,\frac{x-y}{|x-y|}\right ) \frac{(u(x)-u(y))(\varphi(x)-\varphi(y))}{|x-y|^{n+2s}} dx dy = g[\varphi], \quad \forall \phi\in C_c^{\infty}(\Omega) \] where $\Omega\subset \mathbb{R}^{n}$ is an open set. Here we assume $K$ is bounded, nonnegative and continuous in the first entry -- and ellipticity is ensured by assuming that $K$ is strictly positive in a cone. The setup is chosen so that it is applicable for nonlocal equations on manifolds, but the structure of the equation is general enough that it also applies to the certain fractional $p$-Laplace equations around points where $u \in C^1$ and $|\nabla u| \neq 0$.

math.AP

Fractional Hardy-type and trace theorems for nonlocal function spaces with heterogeneous localization

In this work, we prove some trace theorems for function spaces with a nonlocal character that contain the classical $W^{s,p}$ space as a subspace. The result we obtain generalizes well known trace theorems for $W^{s,p}(\Omega)$ functions which has a well-defined $W^{1-s/p, p}$ trace on the boundary of a domain with sufficient regularity. The new generalized spaces are associated with norms that are characterized by nonlocal interaction kernels defined heterogeneously with a special localization feature on the boundary. Intuitively speaking, the class contains functions that are as rough as an $L^p$ function inside the domain of definition but as smooth as a $W^{s,p}$ function near the boundary. Our result is that the $W^{1-s/p, p}$ norm of the trace on the boundary such functions is controlled by the nonlocal norms that are weaker than the classical $W^{s, p}$ norm. These results are improvement and refinement of the classical results since the boundary trace can be attained without imposing regularity of the function in the interior of the domain. They also extend earlier results in the case of $p=2$. In the meantime, we prove Hardy-type inequalities for functions in the new generalized spaces that vanish on the boundary, showing them having the same decay rate to the boundary as functions in the smaller space $W^{s,p}(\Omega)$. A Poincar\'e-type inequality is also derived. An application of the new theory leads to the well-posedness of a nonlinear variational problem that allows possible singular behavior in the interior with imposed smoother data on the boundary.

math.AP

A Fractional Korn-type inequality for smooth domains and a regularity estimate for nonlinear nonlocal systems of equations

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.

math.AP

Self-improving Inequalities for bounded weak solutions to nonlocal double phase equations

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.

math.AP