Showing 1–50 of 67 results for author: Choulli, M

Upper bound on the multiplicity of eigenvalues of the Schödinger-Dirichlet operator in dimension two

Authors: Mourad Choulli

Abstract: We establish an upper bound on the multiplicity of eigenvalues of the Schödinger-Dirichlet operator in dimension two. We give a proof based on a generalized Morse Lemma due to Cheng \cite{Ch}. We establish an upper bound on the multiplicity of eigenvalues of the Schödinger-Dirichlet operator in dimension two. We give a proof based on a generalized Morse Lemma due to Cheng \cite{Ch}. △ Less

Submitted 17 June, 2025; originally announced June 2025.

MSC Class: 35B05; 35J15; 35P15

Quantitative uniqueness of continuation for the Schrödinger equation : explicit dependence on the potential

Authors: Mourad Choulli, Hiroshi Takase

Abstract: 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 de… ▽ More 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. △ Less

Submitted 10 April, 2025; originally announced April 2025.

MSC Class: 35B60; 35J15; 35R25

Stability for an inverse flux and an inverse boundary coefficient problems

Authors: Mourad Choulli, Shuai Lu, Hiroshi Takase

Abstract: 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 coefficien… ▽ More 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. △ Less

Submitted 21 February, 2025; originally announced February 2025.

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

Authors: Mourad Choulli, Hiroshi Takase

Abstract: 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 im… ▽ More 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. △ Less

Submitted 18 January, 2025; originally announced January 2025.

An inverse obstacle problem for the magnetic Schrödinger equation

Authors: Mourad Choulli, Hiroshi Takase

Abstract: We establish stability inequalities of an inverse obstacle problem for the magnetic Schrödinger 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… ▽ More We establish stability inequalities of an inverse obstacle problem for the magnetic Schrödinger 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. △ Less

Submitted 24 November, 2024; originally announced November 2024.

New quantitative uniqueness of continuation for elliptic equations

Authors: Mourad Choulli, Hiroshi Takase

Abstract: We prove a new quantitative uniqueness of continuation for elliptic equations from Cauchy data. We provide a simple and direct proof based only on a Carleman inequality. Similar result for the Stokes equation is also shown. We prove a new quantitative uniqueness of continuation for elliptic equations from Cauchy data. We provide a simple and direct proof based only on a Carleman inequality. Similar result for the Stokes equation is also shown. △ Less

Submitted 5 November, 2024; originally announced November 2024.

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

Authors: Mourad Choulli

Abstract: 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… ▽ More 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ödinger equation with unbounded potential. For the sake of completeness, we provide in Appendix A a full proof of this result. △ Less

Submitted 13 December, 2024; v1 submitted 5 November, 2024; originally announced November 2024.

MSC Class: 35R30

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

Authors: Mourad Choulli

Abstract: 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. 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. △ Less

Submitted 2 October, 2024; originally announced October 2024.

MSC Class: 35R30

An inverse hyperbolic obstacle problem

Authors: Mourad Choulli, Hiroshi Takase

Abstract: 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. 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. △ Less

Submitted 16 January, 2025; v1 submitted 8 July, 2024; originally announced July 2024.

Lipschitz stability for an elliptic inverse problem with two measurements

Authors: Mourad Choulli, Hiroshi Takase

Abstract: 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… ▽ More 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. △ Less

Submitted 19 October, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

Comments on the quantitative uniqueness of continuation for evolution equations

Authors: Mourad Choulli

Abstract: We establish near-optimal quantitative uniqueness of continuation for solutions of evolution equations vanishing on the lateral boundary. These results were obtained simply by combining existing observability inequalities and energy estimates. We establish near-optimal quantitative uniqueness of continuation for solutions of evolution equations vanishing on the lateral boundary. These results were obtained simply by combining existing observability inequalities and energy estimates. △ Less

Submitted 14 March, 2024; originally announced March 2024.

MSC Class: 35K05; 35L05; 35R25

Stable determination of the initial data in an IBVP for the wave equation outside a non-trapping obstacle

Authors: Mourad Choulli

Abstract: We establish a double logarithmic stability inequality for the problem of determining the initial data in an IBVP for the wave equation outside a non-trapping obstacle from two localized measurements. We establish a double logarithmic stability inequality for the problem of determining the initial data in an IBVP for the wave equation outside a non-trapping obstacle from two localized measurements. △ Less

Submitted 4 January, 2024; originally announced January 2024.

MSC Class: 35R30

Stability of determining a Dirichlet-Laplace-Beltrami operator from its boundary spectral data

Authors: Mourad Choulli, Masahiro Yamamoto

Abstract: We establish stability inequalities for the problem of determining a Dirichlet-Laplace-Beltrami operator from its boundary spectral data. We study the case of complete spectral data as well as the case of partial spectral data. We establish stability inequalities for the problem of determining a Dirichlet-Laplace-Beltrami operator from its boundary spectral data. We study the case of complete spectral data as well as the case of partial spectral data. △ Less

Submitted 30 November, 2023; originally announced November 2023.

MSC Class: 35R30

Stability inequality for the problem of determining an unbounded potential from boundary measurements

Authors: Mourad Choulli

Abstract: We establish in dimension $3$ a stability inequality for the problem of determining the potential in the Schrödinger equation from boundary measurements in the case where the potential belongs to $L^s$ with $s\in (2,3)$. We establish in dimension $3$ a stability inequality for the problem of determining the potential in the Schrödinger equation from boundary measurements in the case where the potential belongs to $L^s$ with $s\in (2,3)$. △ Less

Submitted 26 October, 2023; originally announced October 2023.

MSC Class: 35R30

Quantitative strong unique continuation property for the Schrödinger operator with unbounded potential

Authors: Mourad Choulli

Abstract: We revisit \cite[Theorem 6.3]{JK}. Following the main ideas used to prove this theorem, we establish a quantitative version of the strong unique continuation property for the Schödinger operator with unbounded potential. We also show that a combination of this result with a global quantitative unique continuation property from an arbitrary interior data yields a global quantitative strong unique c… ▽ More We revisit \cite[Theorem 6.3]{JK}. Following the main ideas used to prove this theorem, we establish a quantitative version of the strong unique continuation property for the Schödinger operator with unbounded potential. We also show that a combination of this result with a global quantitative unique continuation property from an arbitrary interior data yields a global quantitative strong unique continuation. △ Less

Submitted 15 September, 2023; originally announced September 2023.

MSC Class: 35J10; 35B35

Stability of determining the potential from partial boundary data in a Schrödinger equation in the high frequency limit

Authors: Mourad Choulli

Abstract: We establish stability inequalities for the problem of determining the potential, appearing in a Schödinger equation, from partial boundary data in the high frequency limit. These stability inequalities hold under the assumption that the potential is known near the boundary of the domain under consideration. We establish stability inequalities for the problem of determining the potential, appearing in a Schödinger equation, from partial boundary data in the high frequency limit. These stability inequalities hold under the assumption that the potential is known near the boundary of the domain under consideration. △ Less

Submitted 22 January, 2025; v1 submitted 1 July, 2023; originally announced July 2023.

Comments: We make some corrections to the version published in Communications on Analysis and Computation [1 (3) (2023) 214-233]

MSC Class: 35R30

Determining an Iwatsuka Hamiltonian through quantum velocity measurement

Authors: Mourad Choulli, Nour Kerraoui, Eric Soccorsi

Abstract: We investigate the inverse problem of retrieving the magnetic potential of an Iwatsuka Hamiltonian by knowledge of the second component of the quantum velocity. We show that knowledge of the quantum currents carried by a suitable set of states with energy concentration within the first spectral band of the Schrödinger operator, uniquely determines the magnetic field. We investigate the inverse problem of retrieving the magnetic potential of an Iwatsuka Hamiltonian by knowledge of the second component of the quantum velocity. We show that knowledge of the quantum currents carried by a suitable set of states with energy concentration within the first spectral band of the Schrödinger operator, uniquely determines the magnetic field. △ Less

Submitted 5 May, 2023; originally announced May 2023.

MSC Class: 35J10; 35Q40; 35R30; 81Q10

Fractional anisotropic Calderón problem on complete Riemannian manifolds

Authors: Mourad Choulli, El Maati Ouhabaz

Abstract: We prove that the metric tensor $g$ of a complete Riemannian manifold is uniquely determined, up to isometry, from the knowledge of a local source-to-solution operator. This later is associated to a fractional power of the Laplace-Belrami operator $Δ_g$. Our result holds under the condition that the metric tensor $g$ is known in an arbitrary small subdomain. We also consider the case of closed man… ▽ More We prove that the metric tensor $g$ of a complete Riemannian manifold is uniquely determined, up to isometry, from the knowledge of a local source-to-solution operator. This later is associated to a fractional power of the Laplace-Belrami operator $Δ_g$. Our result holds under the condition that the metric tensor $g$ is known in an arbitrary small subdomain. We also consider the case of closed manifolds and provide an improvement of the main result in \cite{FGKU} △ Less

Submitted 10 November, 2023; v1 submitted 7 March, 2023; originally announced March 2023.

MSC Class: 35R30; 35R11; 35R01

An inverse spectral problem for a fractional Schrödinger operator

Authors: Mourad Choulli

Abstract: We establish that the potential appearing in a fractional Schrödinger operator is uniquely determined by an internal spectral data. We establish that the potential appearing in a fractional Schrödinger operator is uniquely determined by an internal spectral data. △ Less

Submitted 18 January, 2023; v1 submitted 23 November, 2022; originally announced November 2022.

MSC Class: 35R30

Multidimensionnel Borg-Levinson uniqueness and stability results for the Robin Laplacian with unbounded potential

Authors: Mourad Choulli, Abdelmalek Metidji, Éric Soccorsi

Abstract: This article deals with the uniqueness and stability issues in the inverse problem of determining the unbounded potential of the Schrödinger operator in a bounded domain of dimension 3 or greater, endowed with Robin boundary condition, from knowledge of its boundary spectral data. These data are defined by the pairs formed by the eigenvalues and either full or partial Dirichlet measurement of the… ▽ More This article deals with the uniqueness and stability issues in the inverse problem of determining the unbounded potential of the Schrödinger operator in a bounded domain of dimension 3 or greater, endowed with Robin boundary condition, from knowledge of its boundary spectral data. These data are defined by the pairs formed by the eigenvalues and either full or partial Dirichlet measurement of the eigenfunctions on the boundary of the domain. △ Less

Submitted 27 January, 2024; v1 submitted 28 October, 2022; originally announced October 2022.

MSC Class: 35R30; 35J30

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

Authors: Mourad Choulli

Abstract: 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 w… ▽ More 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. △ Less

Submitted 25 March, 2025; v1 submitted 20 September, 2022; originally announced September 2022.

MSC Class: 35B60; 35J15; 35R30

Uniqueness of continuation for semilinear elliptic equations

Authors: Mourad Choulli

Abstract: We quantify the uniqueness of continuation from Cauchy or interior data. Our approach consists in extending the existing results in the linear case. As by product we obtain a new stability estimate in the linear case. We also show the so-called strong uniqueness of continuation and the uniqueness of continuation from a set of positive measure. These results are derived by using a linearization pro… ▽ More We quantify the uniqueness of continuation from Cauchy or interior data. Our approach consists in extending the existing results in the linear case. As by product we obtain a new stability estimate in the linear case. We also show the so-called strong uniqueness of continuation and the uniqueness of continuation from a set of positive measure. These results are derived by using a linearization procedure. △ Less

Submitted 17 August, 2022; originally announced August 2022.

MSC Class: 35R25; 35J61; 35J15

Hölder stability for a semilinear elliptic inverse problem

Authors: Mourad Choulli

Abstract: We are concerned with the problem of determining the nonlinear term in a semilinear elliptic equation by boundary measurements. Precisely, we improve [5, Theorem 1.3], where a logarithmic type stability estimate was proved. We show actually that we have Hölder stability estimate with less boundary measurents and less regular nonlinearities. We establish our stability inequality by following the sa… ▽ More We are concerned with the problem of determining the nonlinear term in a semilinear elliptic equation by boundary measurements. Precisely, we improve [5, Theorem 1.3], where a logarithmic type stability estimate was proved. We show actually that we have Hölder stability estimate with less boundary measurents and less regular nonlinearities. We establish our stability inequality by following the same method as in [4]. This method consists in constructing special solutions vanishing at a subboundary of the domain. △ Less

Submitted 10 June, 2023; v1 submitted 14 June, 2022; originally announced June 2022.

MSC Class: 35R30

Stable determination of the nonlinear term in a quasilinear elliptic equation by boundary measurements

Authors: Mourad Choulli

Abstract: We establish a Lipschitz stability inequality for the problem of determining the nonlinear term in a quasilinear elliptic equation by boundary measurements. We give a proof based on a linearization procedure together with special solutions constructed from the fundamental solution of the linearized problem. We establish a Lipschitz stability inequality for the problem of determining the nonlinear term in a quasilinear elliptic equation by boundary measurements. We give a proof based on a linearization procedure together with special solutions constructed from the fundamental solution of the linearized problem. △ Less

Submitted 24 November, 2022; v1 submitted 31 May, 2022; originally announced May 2022.

MSC Class: 35R30

Comments on the determination of the conductivity at the boundary from the Dirichlet-to-Neumann map

Authors: Mourad Choulli

Abstract: We revisit the stability issue of determining the conductivity at the boundary from the corresponding Dirichlet-to-Neumann map. We discuss both the method based on singular solutions and the one built on the localized oscillating solutions. Our primary objective is not establishing new results on this subject even if the present work contains some new ones. We mainly clarify some points in the exi… ▽ More We revisit the stability issue of determining the conductivity at the boundary from the corresponding Dirichlet-to-Neumann map. We discuss both the method based on singular solutions and the one built on the localized oscillating solutions. Our primary objective is not establishing new results on this subject even if the present work contains some new ones. We mainly clarify some points in the existing proofs and make some comments. We also derive some consequences of the stability inequality of the determination of the conductivity at the boundary from the Dirichlet-to-Neumann map. △ Less

Submitted 29 December, 2021; v1 submitted 7 July, 2021; originally announced July 2021.

MSC Class: 35R30

Quantitative uniqueness of continuation result related to Hopf's lemma

Authors: Mourad Choulli, Faouzi Triki, Qi Xue

Abstract: The classical Hopf's lemma can be reformulated as uniqueness of continuation result. We aim in the present work to quantify this property. We show precisely that if a solution $u$ of a divergence form elliptic equation attains its maximum at a boundary point $x_0$ then both $L^1$-norms of $u-u(x_0)$ on the domain and on the boundary are bounded, up to a multiplicative constant, by the exterior nor… ▽ More The classical Hopf's lemma can be reformulated as uniqueness of continuation result. We aim in the present work to quantify this property. We show precisely that if a solution $u$ of a divergence form elliptic equation attains its maximum at a boundary point $x_0$ then both $L^1$-norms of $u-u(x_0)$ on the domain and on the boundary are bounded, up to a multiplicative constant, by the exterior normal derivative at $x_0$. △ Less

Submitted 6 May, 2021; originally announced May 2021.

MSC Class: 35B50; 35C15; 35J08; 35J15

Some stability inequalities for hybrid inverse problems

Authors: Mourad Choulli

Abstract: We study some hybrid inverse problems associated to BVP's for Schrödinger and Helmholtz type equations. The inverse problems we consider consist in the determination of coefficients from the knowledge of internal energies. We establish local Lipschitz stability inequalities as well as conditional Hölder stability inequalities. We study some hybrid inverse problems associated to BVP's for Schrödinger and Helmholtz type equations. The inverse problems we consider consist in the determination of coefficients from the knowledge of internal energies. We establish local Lipschitz stability inequalities as well as conditional Hölder stability inequalities. △ Less

Submitted 20 August, 2021; v1 submitted 17 December, 2020; originally announced December 2020.

MSC Class: 35R30

The property of unique continuation for second order evolution PDEs

Authors: Mourad Choulli

Abstract: 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-c… ▽ More 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. △ Less

Submitted 14 March, 2024; v1 submitted 18 May, 2020; originally announced May 2020.

Comments: This version contains an attached file with a corrected proof of Theorem 5.4

MSC Class: 35A23; 35J15; 35K10; 35L10

Stability inequality for a semilinear elliptic inverse problem

Authors: Mourad Choulli, Guanghui Hu, Masahiro Yamamoto

Abstract: We establish a logarithmic stability inequality for the inverse problem of determining the non linear term, appearing in a semilinear BVP, from the corresponding Dirichlet-to-Neumann map (abbreviated to DtN map in the rest of this text). Our result can be seen as a stability inequality for an earlier uniqueness result by Isakov and Sylvester [Commun. Pure Appl. Math. 47 (1994), 1403-1410]. We establish a logarithmic stability inequality for the inverse problem of determining the non linear term, appearing in a semilinear BVP, from the corresponding Dirichlet-to-Neumann map (abbreviated to DtN map in the rest of this text). Our result can be seen as a stability inequality for an earlier uniqueness result by Isakov and Sylvester [Commun. Pure Appl. Math. 47 (1994), 1403-1410]. △ Less

Submitted 6 September, 2020; v1 submitted 29 January, 2020; originally announced January 2020.

MSC Class: 35R30

Boundary value problems for elliptic partial differential equations

Authors: Mourad Choulli

Abstract: This course is intended as an introduction to the analysis of elliptic partial differential equations. The objective is to provide a large overview of the different aspects of elliptic partial differential equations and their modern treatment. Besides variational and Schauder methods we study the unique continuation property and the stability for Cauchy problems. The derivation of the unique conti… ▽ More This course is intended as an introduction to the analysis of elliptic partial differential equations. The objective is to provide a large overview of the different aspects of elliptic partial differential equations and their modern treatment. Besides variational and Schauder methods we study the unique continuation property and the stability for Cauchy problems. The derivation of the unique continuation property and the stability for Cauchy problems relies on a Carleman inequality. This inequality is efficient to establish three-ball type inequalities which are the main tool in the continuation argument. We know that historically a central role in the analysis of partial differential equations is played by their fundamental solutions. We added an appendix dealing with the construction of a fundamental solution by the so-called Levi parametrix method. We tried as much as possible to render this course self-contained. Moreover each chapter contains many exercices and problems. We have provided detailed solutions of these exercises and problems. The most parts of this course consist in an enhanced version of courses given by the author in both undergraduate and graduate levels during several years. Remarks and comments that can help to improve this course are welcome. △ Less

Submitted 13 December, 2019; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: Course on Boundary value problems for elliptic partial differential equations

MSC Class: 35-01; 35J25; 35J15

A simple proof of a multidimensional Borg-Levinson type theorem

Authors: Mourad Choulli

Abstract: We provide a simple and short proof of a multidimensional Borg-Levinson type theorem. Precisely, we prove that the spectral boundary data determine uniquely the corresponding potential appearing in the Schödinger operator on an admissible Riemannian manifold. We also sketch the proof of the case of incomplete spectral boundary data. We provide a simple and short proof of a multidimensional Borg-Levinson type theorem. Precisely, we prove that the spectral boundary data determine uniquely the corresponding potential appearing in the Schödinger operator on an admissible Riemannian manifold. We also sketch the proof of the case of incomplete spectral boundary data. △ Less

Submitted 18 July, 2021; v1 submitted 6 December, 2019; originally announced December 2019.

MSC Class: 35R30; 35J10

Inverse problems for Schrödinger equations with unbounded potentials

Authors: Mourad Choulli

Abstract: We summarize in these notes the course given at the Summer School of AIP 2019 held in Grenoble from July 1st to July 5th. This course was mainly devoted to the determination of the unbounded potential in a Schrödinger equation from the associated Dirichlet-to-Neumann map (abbreviated to DN map in this text). We establish a stability inequality for potentials belonging to $L^n$, where $n\ge 3$ is t… ▽ More We summarize in these notes the course given at the Summer School of AIP 2019 held in Grenoble from July 1st to July 5th. This course was mainly devoted to the determination of the unbounded potential in a Schrödinger equation from the associated Dirichlet-to-Neumann map (abbreviated to DN map in this text). We establish a stability inequality for potentials belonging to $L^n$, where $n\ge 3$ is the dimension of the space. Next, we prove a uniqueness result for potentials in $L^{n/2}$, $n\ge 3$, and apply this uniqueness result to demonstrate a Borg-Levinson type theorem. We use a classical approach which is essentially based on the construction of the so-called complex geometric optic solutions (abbreviated to CGO solutions in this text). △ Less

Submitted 24 September, 2019; originally announced September 2019.

Comments: Notes of the course given at the Summer School of AIP 2019 held in Grenoble from July 1st to July 5th

MSC Class: 35R30

Global logarithmic stability results on the Cauchy problem for anisotropic wave equations

Authors: Mourad Choulli, Mourad Bellassoued

Abstract: We discuss the Cauchy problem for anisotropic wave equations. Precisely, we address the question to know which kind of Cauchy data on the lateral boundary are necessary to guarantee the uniqueness of continuation of solutions of an anisotropic wave equation. In the case where the uniqueness holds, the natural problem that arise naturally in this context is to estimate the solutions, in some approp… ▽ More We discuss the Cauchy problem for anisotropic wave equations. Precisely, we address the question to know which kind of Cauchy data on the lateral boundary are necessary to guarantee the uniqueness of continuation of solutions of an anisotropic wave equation. In the case where the uniqueness holds, the natural problem that arise naturally in this context is to estimate the solutions, in some appropriate space, in terms of norms of the Cauchy data. We aim in this paper to convert, via a reduced Fourrier-Bros-Iagolnitzer transform, the known stability results on the Cauchy problem for elliptic equations to stability results on the Cauchy problem for waves equations. By proceeding in that way the main difficulty is to control the residual terms, induced by the reduced Fourrier-Bros-Iagolnitzer transform, by the Cauchy data. Also, the uniqueness of continuation from Cauchy data is obtained as byproduct of stability results. △ Less

Submitted 3 September, 2019; v1 submitted 29 August, 2019; originally announced August 2019.

Comments: This submission has been withdrawn by arXiv admins because it is a duplicate of arXiv:1902.05878

MSC Class: 35B60

Two-sided Gaussian bounds for fundamental solutions of non-divergence form parabolic operators with Hölder continuous coefficients

Authors: Mourad Choulli, Giorgio Metafune

Abstract: We establish two-sided Gaussian bounds for fundamental solutions of general non-divergence form parabolic operators with Hölder continuous coefficients. The result we obtain is essentially based on parametrix method. We establish two-sided Gaussian bounds for fundamental solutions of general non-divergence form parabolic operators with Hölder continuous coefficients. The result we obtain is essentially based on parametrix method. △ Less

Submitted 29 August, 2019; originally announced August 2019.

MSC Class: 65M80

Stability for quantitative photoacoustic tomography revisited

Authors: Eric Bonnetier, Mourad Choulli, Faouzi Triki

Abstract: This paper is concerned with the stability issue in determining absorption and diffusion coefficients in quantitative photoacoustic imaging. Assuming that the optical wave is generated by point sources in a region where the optical coefficients are known, we derive pointwise H{ö}lder stability estimate of the inversion. This result shows that the reconstruction of the optical coefficients is stabl… ▽ More This paper is concerned with the stability issue in determining absorption and diffusion coefficients in quantitative photoacoustic imaging. Assuming that the optical wave is generated by point sources in a region where the optical coefficients are known, we derive pointwise H{ö}lder stability estimate of the inversion. This result shows that the reconstruction of the optical coefficients is stable in the region close to the optical illumination sources and deteriorate exponentially far away. Our stability estimate is therefore in accordance with known experimental observations. Mathematics subject classification : 35R30. △ Less

Submitted 23 March, 2022; v1 submitted 20 May, 2019; originally announced May 2019.

An inverse conductivity problem in multifrequency electric impedance tomography

Authors: Jin Cheng, Mourad Choulli, Shuai Lu

Abstract: We deal with the problem of determining the shape of an inclusion embedded in a homogenous background medium. The multifre-quency electrical impedance tomography is used to image the inclusion. For different frequencies, a current is injected at the boundary and the resulting potential is measured. It turns out that the potential solves an elliptic equation in divergence form with discontinuous le… ▽ More We deal with the problem of determining the shape of an inclusion embedded in a homogenous background medium. The multifre-quency electrical impedance tomography is used to image the inclusion. For different frequencies, a current is injected at the boundary and the resulting potential is measured. It turns out that the potential solves an elliptic equation in divergence form with discontinuous leading coefficient. For this inverse problem we aim to establish a logarithmic type stability estimate. The key point in our analysis consists in reducing the original problem to that of determining an unknown part of the inner boundary from a single boundary measurment. The stability estimate is then used to prove uniqueness results. We also provide an expansion of the solution of the BVP under consideration in the eigenfunction basis of the Neumann-Poincar{é} operator associated to the Neumann-Green function. △ Less

Submitted 20 March, 2019; originally announced March 2019.

New global logarithmic stability of the Cauchy problem for elliptic equations

Authors: Mourad Choulli

Abstract: In this short paper we prove a global logarithmic stability of the Cauchy problem for H 2-solutions of an anisotropic elliptic equation in a Lip-schitz domain. The result we obtained is based on tools borrowed from the existing technics to establish stability estimate for the Cauchy problem [4] (see also [1]) combined with tools we already used in [6] to study an inverse medium problem. In this short paper we prove a global logarithmic stability of the Cauchy problem for H 2-solutions of an anisotropic elliptic equation in a Lip-schitz domain. The result we obtained is based on tools borrowed from the existing technics to establish stability estimate for the Cauchy problem [4] (see also [1]) combined with tools we already used in [6] to study an inverse medium problem. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Global logarithmic stability of a Cauchy problem for anisotropic wave equations

Authors: Mourad Bellassoued, Mourad Choulli

Abstract: We discuss the Cauchy problem for anisotropic wave equations. Precisely, we address the question to know which kind of Cauchy data on the lateral boundary are necessary to guarantee uniqueness of solutions of an anisotropic wave equation. In the case where the uniqueness holds, the natural problem that arise in this context is to estimate the solutions, in some appropriate space, in terms of the C… ▽ More We discuss the Cauchy problem for anisotropic wave equations. Precisely, we address the question to know which kind of Cauchy data on the lateral boundary are necessary to guarantee uniqueness of solutions of an anisotropic wave equation. In the case where the uniqueness holds, the natural problem that arise in this context is to estimate the solutions, in some appropriate space, in terms of the Cauchy data. We aim in this paper to transfer, via a reduced Fourrier-Bros-Iagolnitzer transform, the known stability estimates for the Cauchy problem for elliptic equations to that for waves equations. By proceeding in that way the main difficulty is to control the residual terms, induced by the reduced Fourrier-Bros-Iagolnitzer transform, by the Cauchy data. Also, the uniqueness of continuation from Cauchy data is obtained as byproduct of stability estimates. △ Less

Submitted 8 July, 2021; v1 submitted 15 February, 2019; originally announced February 2019.

MSC Class: 35B60

A Borg-Levinson theorem for magnetic Schrödinger operators on a Riemannian manifold

Authors: Mourad Bellassoued, Mourad Choulli, Dos Santos Ferreira, Yavar Kian, Plamen Stefanov

Abstract: This article is concerned with uniqueness and stability issues for the inverse spectral problem of recovering the magnetic field and the electric potential in a Riemannian manifold from some asymptotic knowledge of the boundary spectral data of the corresponding Schrödinger operator under Dirichlet boundary conditions. The spectral data consist of some asymptotic knowledge of a subset of eigenvalu… ▽ More This article is concerned with uniqueness and stability issues for the inverse spectral problem of recovering the magnetic field and the electric potential in a Riemannian manifold from some asymptotic knowledge of the boundary spectral data of the corresponding Schrödinger operator under Dirichlet boundary conditions. The spectral data consist of some asymptotic knowledge of a subset of eigenvalues and Neumann traces of the associated eigenfunctions of the magnetic Laplacian. We also address the same question for Schrödinger operators under Neumann boundary conditions, in which case we measure the Dirichlet traces of eigenfunctions. In our results we characterize the uniqueness of the magnetic field from a rate of growth of the eigenvalues, combined with suitable asymptotic properties of boundary observation of eigenfunctions, of the associated magnetic Schrödinger operator. To our best knowledge this is the first result proving uniqueness from such general asymptotic behavior of boundary spectral data. △ Less

Submitted 29 October, 2018; v1 submitted 23 July, 2018; originally announced July 2018.

MSC Class: Primary 35R30; 35J10; Secondary: 35P99

Hölder Stability for an Inverse Medium Problem with Internal Data

Authors: Mourad Choulli, Faouzi Triki

Abstract: We are interested in an inverse medium problem with internal data. This problem is originated from multi-waves imaging. We aim in the present work to study the well-posedness of the inversion in terms of the boundary conditions. We precisely show that we have actually a stability estimate of Hölder type. For sake of simplicity, we limited our study to the class of Helmholtz equations $Δ$+V with bo… ▽ More We are interested in an inverse medium problem with internal data. This problem is originated from multi-waves imaging. We aim in the present work to study the well-posedness of the inversion in terms of the boundary conditions. We precisely show that we have actually a stability estimate of Hölder type. For sake of simplicity, we limited our study to the class of Helmholtz equations $Δ$+V with bounded potential V. △ Less

Submitted 11 June, 2018; v1 submitted 13 December, 2017; originally announced December 2017.

Comments on observability and stabilization of magnetic Schr{ö}dinger equations

Authors: Kaïs Ammari, Mourad Choulli, Luc Robbiano

Abstract: We are mainly interested in extending the known results on ob-servability inequalities and stabilization for the Schr{ö}dinger equation to the magnetic Schr{ö}dinger equation. That is in presence of a magnetic potential. We establish observability inequalities and exponential stabilization by extending the usual multiplier method, under the same geometric condition to that needed for the Schr{ö}di… ▽ More We are mainly interested in extending the known results on ob-servability inequalities and stabilization for the Schr{ö}dinger equation to the magnetic Schr{ö}dinger equation. That is in presence of a magnetic potential. We establish observability inequalities and exponential stabilization by extending the usual multiplier method, under the same geometric condition to that needed for the Schr{ö}dinger equation. We also prove, with the help of elliptic Carleman inequalities, logarithmic stabilization results through a resolvent estimate. Although the approach is classical, these results on logarithmic stabilization seem to be new even for the Schr{ö}dinger equation. △ Less

Submitted 2 September, 2019; v1 submitted 14 November, 2017; originally announced November 2017.

A unified approach to solving some inverse problems for evolution equations by using observability inequalities

Authors: Kaïs Ammari, Mourad Choulli, Faouzi Triki

Abstract: We survey some of our recent results on inverse problems for evolution equations. The goal is to provide a unified approach to solve various types of evolution equations. The inverse problems we consider consist in determining unknown coefficients from boundary measurements by varying initial conditions. Based on observability inequalities and a special choice of initial conditions, we provide uni… ▽ More We survey some of our recent results on inverse problems for evolution equations. The goal is to provide a unified approach to solve various types of evolution equations. The inverse problems we consider consist in determining unknown coefficients from boundary measurements by varying initial conditions. Based on observability inequalities and a special choice of initial conditions, we provide uniqueness and stability estimates for the recovery of volume and boundary lower order coefficients in wave and heat equations. Some of the results presented here are slightly improved from their original versions. △ Less

Submitted 6 December, 2019; v1 submitted 6 November, 2017; originally announced November 2017.

MSC Class: 35R30

Corrigendum : An inverse problem in corrosion detection:stability estimates, J. Inv. Ill-posed Problems 12 (4) (2004), 349-367

Authors: Mourad Choulli

Abstract: Corrigendum : An inverse problem in corrosion detection:stability estimates, J. Inv. Ill-posed Problems 12 (4) (2004), 349-367. Corrigendum : An inverse problem in corrosion detection:stability estimates, J. Inv. Ill-posed Problems 12 (4) (2004), 349-367. △ Less

Submitted 29 March, 2017; originally announced March 2017.

Logarithmic stability of parabolic Cauchy problems

Authors: Mourad Choulli, Masahiro Yamamoto

Abstract: The uniqueness of parabolic Cauchy problems is nowadays a classical problem and since Hadamard \cite{Ha} these kind of problems are known to be ill-posed and even severely ill-posed. Until now there are only few partial results concerning the quantification of the stability for parabolic Cauchy problems. In the present article, we bring the complete answer to this issue, provided that the space do… ▽ More The uniqueness of parabolic Cauchy problems is nowadays a classical problem and since Hadamard \cite{Ha} these kind of problems are known to be ill-posed and even severely ill-posed. Until now there are only few partial results concerning the quantification of the stability for parabolic Cauchy problems. In the present article, we bring the complete answer to this issue, provided that the space domain has finite diameter with respect to the geodesic distance and assuming that solutions are sufficiently smooth. △ Less

Submitted 5 November, 2020; v1 submitted 21 February, 2017; originally announced February 2017.

H{ö}lder stability in determining the potential and the damping coefficient in a wave equation

Authors: Kais Ammari, Mourad Choulli, Faouzi Triki

Abstract: We improve the preceding results obtained by the first and the second authors in [3]. They concern the stability issue of the inverse problem that consists in determining the potential and the damping coefficient in a wave equation from an initial-to-boundary operator. We partially modify the arguments in [3] to show that actually we have H{ö}lder stability instead of logarithmic stability. We improve the preceding results obtained by the first and the second authors in [3]. They concern the stability issue of the inverse problem that consists in determining the potential and the damping coefficient in a wave equation from an initial-to-boundary operator. We partially modify the arguments in [3] to show that actually we have H{ö}lder stability instead of logarithmic stability. △ Less

Submitted 20 September, 2016; originally announced September 2016.

Logarithmic stability in determining the time-dependent zero order coefficient in a parabolic equation from a partial Dirichlet-to-Neumann map. Application to the determination of a nonlinear term

Authors: Mourad Choulli, Yavar Kian

Abstract: We give a new stability estimate for the problem of determining the time-dependent zero order coefficient in a parabolic equation from a partial parabolic Dirichlet-to-Neumann map. The novelty of our result is that, contrary to the previous works, we do not need any measurement on the final time. We also show how this result can be used to establish a stability estimate for the problem of determin… ▽ More We give a new stability estimate for the problem of determining the time-dependent zero order coefficient in a parabolic equation from a partial parabolic Dirichlet-to-Neumann map. The novelty of our result is that, contrary to the previous works, we do not need any measurement on the final time. We also show how this result can be used to establish a stability estimate for the problem of determining the nonlinear term in a semilinear parabolic equation from the corresponding "linearized" Dirichlet-to-Neumann map. The key ingredient in our analysis is a parabolic version of an elliptic Carleman inequality due to Bukhgeim and Uhlmann. This parabolic Carleman inequality enters in an essential way in the construction of complex geometric optics solutions that vanish at a part of the lateral boundary. △ Less

Submitted 27 May, 2016; originally announced May 2016.

MSC Class: 35R30; 35K20; 35K58

Lipschitz dependence of the coefficients on the resolvent and greedy approximation for scalar elliptic problems

Authors: Mourad Choulli, Enrique Zuazua

Abstract: We analyze the inverse problem of identifying the diffusivity coefficient of a scalar elliptic equation as a function of the resolvent operator. We prove that, within the class of measurable coefficients, bounded above and below by positive constants, the resolvent determines the diffusivity in an unique manner. Furthermore we prove that the inverse mapping from resolvent to the coefficient is Lip… ▽ More We analyze the inverse problem of identifying the diffusivity coefficient of a scalar elliptic equation as a function of the resolvent operator. We prove that, within the class of measurable coefficients, bounded above and below by positive constants, the resolvent determines the diffusivity in an unique manner. Furthermore we prove that the inverse mapping from resolvent to the coefficient is Lipschitz in suitable topologies. This result plays a key role when applying greedy algorithms to the approximation of parameter-dependent elliptic problems in an uniform and robust manner, independent of the given source terms. In one space dimension the results can be improved using the explicit expression of solutions, which allows to link distances between one resolvent and a linear combination of finitely many others and the corresponding distances on coefficients. These results are also extended to multi-dimensional elliptic equations with variable density coefficients. We also point out towards some possible extensions and open problems. △ Less

Submitted 2 December, 2016; v1 submitted 13 May, 2016; originally announced May 2016.

Journal ref: Comptes Rendus Mathématique, Elsevier Masson, 2016, 354, pp.1174-1187

On the Calderòn problem in periodic cylindrical domain with partial Dirichlet and Neumann data

Authors: Mourad Choulli, Yavar Kian, Eric Soccorsi

Abstract: We consider the Calderòn problem in an infinite cylindrical domain, whose cross section is a bounded domain of the plane. We prove log-log stability in the determination of the isotropic periodic conductivity coefficient from partial Dirichlet data and partial Neumann boundary observations of the solution. We consider the Calderòn problem in an infinite cylindrical domain, whose cross section is a bounded domain of the plane. We prove log-log stability in the determination of the isotropic periodic conductivity coefficient from partial Dirichlet data and partial Neumann boundary observations of the solution. △ Less

Submitted 20 January, 2016; originally announced January 2016.

Stability result for elliptic inverse periodic coefficient problem by partial Dirichlet-to-Neumann map

Authors: Mourad Choulli, Yavar Kian, Eric Soccorsi

Abstract: We study the inverse problem of identifying a periodic potential perturbation of the Dirichlet Laplacian acting in an infinite cylindrical domain, whose cross section is assumed to be bounded. We prove log-log stable determination of the potential with respect to the partial Dirichlet-to-Neumann map, where the Neumann data is taken on slightly more than half of the boundary of the domain. We study the inverse problem of identifying a periodic potential perturbation of the Dirichlet Laplacian acting in an infinite cylindrical domain, whose cross section is assumed to be bounded. We prove log-log stable determination of the potential with respect to the partial Dirichlet-to-Neumann map, where the Neumann data is taken on slightly more than half of the boundary of the domain. △ Less

Submitted 20 January, 2016; originally announced January 2016.

Various stability estimates for the problem of determining an initial heat distribution from a single measurement

Authors: Mourad Choulli

Abstract: We consider the problem of determining the initial heat distribution in the heat equation from a point measurement. We show that this inverse problem is naturally related to the one of recovering the coefficients of Dirichlet series from its sum. Taking the advantage of existing literature on Dirichlet series, in connection with M{ü}ntz 's theorem, we establish various stability estimates of H{ö}l… ▽ More We consider the problem of determining the initial heat distribution in the heat equation from a point measurement. We show that this inverse problem is naturally related to the one of recovering the coefficients of Dirichlet series from its sum. Taking the advantage of existing literature on Dirichlet series, in connection with M{ü}ntz 's theorem, we establish various stability estimates of H{ö}lder and logarithmic type. These stability estimates are then used to derive the corresponding ones for the original inverse problem, mainly in the case of one space dimension. In higher space dimensions, we are interested to an internal or a boundary measurement. This issue is closely related to the problem of observability arising in Control Theory. We complete and improve the existing results. △ Less

Submitted 23 December, 2015; originally announced December 2015.