arXiv ScienceSearch

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 strong unique continuation for the Schrödinger operator with unbounded potential

We revisit \cite[Theorem 6.3]{JK}. By following the main ideas used to prove that theorem, we establish a quantitative version of strong unique continuation for the Schrödinger operator with an unbounded potential. We also show that combining this result with a global quantitative unique continuation from arbitrary interior data yields a global quantitative strong unique continuation.

math.AP

Determining an Iwatsuka Hamiltonian by knowledge of its first band function

We investigate the inverse problem of retrieving the magnetic potential of an Iwatsuka Hamiltonian through knowledge of its first band function. We prove that two magnetic potentials sharing the same first band function not just between them, but between all fields within the family linearly interpolating between them and accumulating at one end point, coincide.

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ölder spaces established through real interpolation theory. Furthermore, we investigate applications to boundary value problems governed by the Schrödinger 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 Borg-Levinson theorem for the magnetic Schödinger operator with unbounded electrical potential

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

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

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

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

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ödinger-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ölder 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

Quantitative uniqueness of continuation for the Schrödinger 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ödinger 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

Quantitative strong unique continuation for elliptic operators -- application to an inverse spectral problem

Based on the three-ball inequality and the doubling inequality established in [23], we quantify the strong unique continuation established by Koch and Tataru [21] for elliptic operators with unbounded lower-order coefficients. We also derive a uniform quantitative strong unique continuation for eigenfunctions that we use to prove that two Dirichlet-Laplace-Beltrami operators are gauge equivalent whenever their corresponding metrics coincide in the vicinity of the boundary and their boundary spectral data coincide on a subset of positive measure.

math.AP

An inverse hyperbolic obstacle problem

We establish Hölder 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