SearcharxivSearch

arXiv subjects

Mourad Choulli

Publications and source records attributed to Mourad Choulli.

At least 19 recordsLinked to original sources

Heat equations in spectral Barron spaces

Spectral Barron spaces, characterized by an \(L^1\)-based Fourier-Lebesgue norm, have earned significant attention in approximation theory due to their remarkable capacity to represent functions via shallow neural networks with controlled complexity. Meanwhile, recent theoretical advances have firmly established an intrinsic and profound connection between these function spaces and the regularity theory of elliptic partial differential equations. Building upon this foundational interplay, the present work undertakes a systematic and comprehensive investigation into the well-posedness of heat equations formulated within the spectral Barron spaces framework. Specifically, we rigorously establish the core aspects of well-posedness, including the existence, uniqueness, and stability of solutions, under suitable assumptions on the source terms and conductivity coefficients. We also investigate a typical parabolic inverse problem, namely the backward heat equation, for which we derive a logarithmic conditional stability estimate. To the best of our knowledge, this constitutes the first stability estimate for inverse problems within the spectral Barron space setting. Moreover, we extend our analytical results to address the more intricate setting of time-fractional heat equations, which govern anomalous diffusion phenomena and introduce nonlocal temporal memory effects. In this extended context, we provide a characterization of the corresponding heat kernels, deriving decay estimates, regularity properties, thereby enriching the theoretical landscape of evolutionary PDEs within the spectral Barron spaces setting.

math.AP

Quantitative Borg-Levinson theorem for the magnetic Sch\"odinger operator with unbounded electrical potential

The first author established in [8] a quantitative Borg-Levinson theorem for the Schr\"odinger operator with unbounded potential. In the present work, we extend the results in [8] to the magnetic Schr\"odinger operator. We discuss both the isotropic and anisotropic cases. We establish H\"older stability inequalities of determining the electrical potential or magnetic field from the corresponding boundary spectral data.

math.AP

Inverse spectral problems for higher-order coefficients

We establish uniqueness and stability inequalities for the problem of determining the higher-order coefficients of an elliptic operator from the corresponding boundary spectral data (BSD). Our analysis relies on the relationship between boundary spectral data and elliptic and hyperbolic Dirichlet to Neumann (DtN) maps. We also show how to adapt our analysis to obtain uniqueness and stability inequalities for determining the conductivity or the potential in an elliptic operator from the corresponding BSD.

math.AP

Determination of the Schr\"odinger-Robin operator by incomplete or asymptotic spectral boundary data

This article deals with the inverse problem of determining the unbounded real-valued electric potential of the Robin Laplacian on a bounded domain of dimension 3 or greater, by incomplete knowledge of its boundary spectral data. Namely, the main result establishes that the unknown potential can be H\"older stably retrieved from the asymptotic behavior of the eigenvalues and the sequence of the boundary measurements of the corresponding eigenfunctions where finitely many terms are missing.

math.AP

Functional analysis and partial differential equations in spectral Barron spaces

Spectral Barron spaces, constituting a specialized class of function spaces that serve as an interdisciplinary bridge between mathematical analysis, partial differential equations (PDEs), and machine learning, are distinguished by the decay profiles of their Fourier transform. In this work, we shift from conventional numerical approximation frameworks to explore advanced functional analysis and PDE theoretic perspectives within these spaces. Specifically, we present a rigorous characterization of the dual space structure of spectral Barron spaces, alongside continuous embedding in H\"older spaces established through real interpolation theory. Furthermore, we investigate applications to boundary value problems governed by the Schr\"odinger equation, including spectral analysis of associated linear operators. These contributions elucidate the analytical foundations of spectral Barron spaces while underscoring their potential to unify approximation theory, functional analysis, and machine learning.

math.FA

Quantitative uniqueness of continuation for the Schr\"odinger equation : explicit dependence on the potential

We demonstrate a quantitative version of the usual properties related to unique continuation from an interior datum for the Schr\"odinger equation with bounded or unbounded potential. The inequalities we establish have constants that explicitly depend on the potential. We also indicate how the above-mentioned inequalities can be extended to elliptic equations with bounded or unbounded first-order derivatives. The case of unique continuation from Cauchy data is also considered.

math.AP

Stability for an inverse flux and an inverse boundary coefficient problems

We establish both Lipschitz and logarithmic stability estimates for an inverse flux problem and subsequently apply these results to an inverse boundary coefficient problem. Furthermore, we demonstrate how the stability inequalities derived for the inverse boundary coefficient problem can be utilized in solving an inverse corrosion problem. This involves determining the unknown corrosion coefficient on an inaccessible part of the boundary based on measurements taken on the accessible part of the boundary.

math.AP

Stable determination of the potential for the Helmholtz equation in the high frequency limit from boundary measurements

We establish a triple logarithmic stability estimate of determining the potential in a Helmholtz equation from a partial Dirichlet-to-Neumann map in the high frequency limit. This estimate is proved under the assumption that the potential is known near the boundary of a domain when the dimension is greater than or equal to $3$. In addition, we show a triple logarithmic stability for an interior impedance problem.

math.AP

An inverse obstacle problem for the magnetic Schr\"odinger equation

We establish stability inequalities of an inverse obstacle problem for the magnetic Schr\"odinger equation. We mainly study the problem of reconstructing an unknown function defined on the obstacle boundary from two measurements performed on the boundary of a domain surrounding the obstacle. We show for the inverse problem a Lipschitzian stability locally in time and a logarithmic stability globally in time.

math.AP

Two parabolic inverse problems for an equation with unbounded zero-order coefficient

This work is composed of two parts. We prove in the first part the uniqueness of the determination of the unbounded zero-order coefficient in a parabolic equation from boundary measurements. The novelty of our result is that it covers the largest class of unbounded zero-order coefficients. We establish in the second part a logarithmic stability inequality for the problem of determining the initial condition from a single interior measurement. As by-product, we obtain an observability inequality for a parabolic equation with unbounded zero-order coefficient. The proof of this observability inequality is based on a new global quantitative unique continuation for the Schr\"odinger equation with unbounded potential. For the sake of completeness, we provide in Appendix A a full proof of this result.

math.AP

A quantitative Borg-Levinson theorem for a large class of unbounded potentials

We prove a quantitative Borg-Levinson theorem for a large class of unbounded potentials. We give a detailed proof when the dimension of the space is greater than or equal to five. We also indicate the modifications necessary to cover lower dimensions. In the last section, we briefly show how to extend our result to the anisotropic case.

math.AP

An inverse hyperbolic obstacle problem

We establish H\"older stability of an inverse hyperbolic obstacle problem. Mainly, we study the problem of reconstructing an unknown function defined on the boundary of the obstacle from two measurements taken on the boundary of a domain surrounding the obstacle.

math.AP

Lipschitz stability for an elliptic inverse problem with two measurements

We consider the problem of determining the unknown boundary values of a solution of an elliptic equation outside a bounded open set $B$ from the knowledge of the values of this solution on a boundary of an arbitrary Lipschitz bounded domain surrounding $B$. We obtain for this inverse problem Lipschitz stability for an admissible class of unknown boundary functions. Our analysis applies as well to an interior problem. We also give an extension to the parabolic case.

math.AP

The property of unique continuation for second order evolution PDEs

We present a simple and self-contained approach to establish the unique continuation property for some classical evolution equations of second order in a cylindrical domain. We namely discuss this property for wave, parabolic and Schödinger operators with time-independent principal part. Our method is builds on two-parameter Carleman inequalities combined with unique continuation across a pseudo-convex hypersurface with respect to the space variable. The most results we demonstrate in this work are more or less classical. Some of them are not stated exactly as in their original form.

math.AP