Showing 1–5 of 5 results for author: Jollivet, A

Boundary Control for Transport Equations

Authors: Guillaume Bal, Alexandre Jollivet

Abstract: This paper considers two types of boundary control problems for linear transport equations. The first one shows that transport solutions on a subdomain of a domain X can be controlled exactly from incoming boundary conditions for X under appropriate convexity assumptions. This is in contrast with the only approximate control one typically obtains for elliptic equations by an application of a uniqu… ▽ More This paper considers two types of boundary control problems for linear transport equations. The first one shows that transport solutions on a subdomain of a domain X can be controlled exactly from incoming boundary conditions for X under appropriate convexity assumptions. This is in contrast with the only approximate control one typically obtains for elliptic equations by an application of a unique continuation property, a property which we prove does not hold for transport equations. We also consider the control of an outgoing solution from incoming conditions, a transport notion similar to the Dirichlet-to-Neumann map for elliptic equations. We show that for well-chosen coefficients in the transport equation, this control may not be possible. In such situations and by (Fredholm) duality, we obtain the existence of non-trivial incoming conditions that are compatible with vanishing outgoing conditions. △ Less

Submitted 16 April, 2021; originally announced April 2021.

Convexity properties of the difference over the real axis between the Steklov zeta functions of a smooth planar domain with $2π$ perimeter and of the unit disk

Authors: Alexandre Jollivet

Abstract: We consider the zeta function $ζ_Ω$ for the Dirichlet-to-Neumann operator of a simply connected planar domain $Ω$ bounded by a smooth closed curve of perimeter $2π$. We prove that $ζ_Ω''(0)\ge ζ_{\mathbb{D}}''(0)$ with equality if and only if $Ω$ is a disk where $\mathbb{D}$ denotes the closed unit disk. We also provide an elementary proof that for a fixed real $s$ satisfying $s\le-1$ the estimat… ▽ More We consider the zeta function $ζ_Ω$ for the Dirichlet-to-Neumann operator of a simply connected planar domain $Ω$ bounded by a smooth closed curve of perimeter $2π$. We prove that $ζ_Ω''(0)\ge ζ_{\mathbb{D}}''(0)$ with equality if and only if $Ω$ is a disk where $\mathbb{D}$ denotes the closed unit disk. We also provide an elementary proof that for a fixed real $s$ satisfying $s\le-1$ the estimate $ζ_Ω''(s)\ge ζ_{\mathbb{D}}''(s)$ holds with equality if and only if $Ω$ is a disk. We then bring examples of domains $Ω$ close to the unit disk where this estimate fails to be extended to the interval $(0,2)$. Other computations related to previous works are also detailed in the remaining part of the text. △ Less

Submitted 21 August, 2020; originally announced August 2020.

An estimate for the Steklov zeta function of a planar domain derived from a first variation formula

Authors: Alexandre Jollivet, Vladimir Sharafutdinov

Abstract: We consider the Steklov zeta function $ζ$ $Ω$ of a smooth bounded simply connected planar domain $Ω$ $\subset$ R 2 of perimeter 2$π$. We provide a first variation formula for $ζ$ $Ω$ under a smooth deformation of the domain. On the base of the formula, we prove that, for every s $\in$ (--1, 0) $\cup$ (0, 1), the difference $ζ$ $Ω$ (s) -- 2$ζ$ R (s) is non-negative and is equal to zero if and only… ▽ More We consider the Steklov zeta function $ζ$ $Ω$ of a smooth bounded simply connected planar domain $Ω$ $\subset$ R 2 of perimeter 2$π$. We provide a first variation formula for $ζ$ $Ω$ under a smooth deformation of the domain. On the base of the formula, we prove that, for every s $\in$ (--1, 0) $\cup$ (0, 1), the difference $ζ$ $Ω$ (s) -- 2$ζ$ R (s) is non-negative and is equal to zero if and only if $Ω$ is a round disk ($ζ$ R is the classical Riemann zeta function). Our approach gives also an alternative proof of the inequality $ζ$ $Ω$ (s) -- 2$ζ$ R (s) $\ge$ 0 for s $\in$ (--$\infty$, --1] $\cup$ (1, $\infty$); the latter fact was proved in our previous paper [2018] in a different way. We also provide an alternative proof of the equality $ζ$ $Ω$ (0) = 2$ζ$ R (0) obtained by Edward and Wu [1991]. △ Less

Submitted 24 March, 2020; originally announced April 2020.

Generalized stability estimates in inverse transport theory

Authors: Guillaume Bal, Alexandre Jollivet

Abstract: Inverse transport theory concerns the reconstruction of the absorption and scattering coefficients in a transport equation from knowledge of the albedo operator, which models all possible boundary measurements. Uniqueness and stability results are well known and are typically obtained for errors of the albedo operator measured in the $L^1$ sense. We claim that such error estimates are not always… ▽ More Inverse transport theory concerns the reconstruction of the absorption and scattering coefficients in a transport equation from knowledge of the albedo operator, which models all possible boundary measurements. Uniqueness and stability results are well known and are typically obtained for errors of the albedo operator measured in the $L^1$ sense. We claim that such error estimates are not always very informative. For instance, arbitrarily small blurring and misalignment of detectors result in $O(1)$ errors of the albedo operator and hence in $O(1)$ error predictions on the reconstruction of the coefficients, which are not useful. This paper revisit such stability estimates by introducing a more forgiving metric on the measurements errors, namely the $1-$Wasserstein distances, which penalize blurring or misalignment by an amount proportional to the width of the blurring kernel or to the amount of misalignment. We obtain new stability estimates in this setting. We also consider the effect of errors, still measured in the $1-$Wasserstein distance, on the generation of the probing source. This models blurring and misalignment in the design of (laser) probes and allow us to consider a discretized sources. Under appropriate assumptions on the coefficients, we quantify the effect of such errors on the reconstructions. △ Less

Submitted 2 March, 2017; originally announced March 2017.

Steklov zeta-invariants and a compactness theorem for isospectral families of planar domains

Authors: Alexandre Jollivet, Vladimir Sharafutdinov

Abstract: The inverse problem of recovering a smooth simply connected multisheet planar domain from its Steklov spectrum is equivalent to the problem of determination, up to a gauge transform, of a smooth positive function $a$ on the unit circle from the spectrum of the operator $aΛ$, where $Λ$ is the Dirichlet-to-Neumann operator of the unit disk. Zeta-invariants are defined by… ▽ More The inverse problem of recovering a smooth simply connected multisheet planar domain from its Steklov spectrum is equivalent to the problem of determination, up to a gauge transform, of a smooth positive function $a$ on the unit circle from the spectrum of the operator $aΛ$, where $Λ$ is the Dirichlet-to-Neumann operator of the unit disk. Zeta-invariants are defined by $Z_m(a)={\rm Tr}[(aΛ)^{2m}-(aD)^{2m}]$ for every smooth function $a$. In the case of a positive $a$, zeta-invariants are determined by the Steklov spectrum. We obtain some estimate from below for $Z_m(a)$ in the case of a real function $a$. On using the estimate, we prove the compactness of a Steklov isospectral family of planar domains in the $C^\infty$-topology. We also describe all real functions $a$ satisfying $Z_m(a)=0$. △ Less

Submitted 4 November, 2016; originally announced November 2016.