We prove global existence for semilinear hyperbolic equations that satisfy the null condition of Christodoulou and Klainerman in the exterior of convex domains. We use a combination of the conformal method of Christodoulou and the direct method of Klainerman.
We prove Strichartz estimates without loss for the Schrödinger equation and the wave equation outside finitely many strictly convex obstacles verifying Ikawa's condition, extending the approach we introduced previously for the two convex case.
We prove global Strichartz estimates without loss for the wave equation outside two strictly convex obstacles, following the roadmap introduced in [Lafontaine, 2017] for the Schrödinger equation. Moreover, we show a first step toward the large data scattering for the critical non linear equation associated to this geometrical setting, and prove the scattering for a class of non trapping obstacles close to the two convex framework.
We prove global Strichartz estimates without loss outside two strictly convex obstacles, combining arguments from M.Ikawa (1982,1988) with more recent ones inspired by N.Burq, C.Guillarmou, and A. Hassell (2010) and O. Ivanovici (2010). This is to be contrasted with the loss in the smoothing estimate for the Schrödinger equation with Dirichlet boundary conditions in the presence of a trapped geodesic.
We consider the focusing wave equation outside a ball of $\R^3$, with Dirichlet boundary condition and a superquintic power nonlinearity. We classify all radial stationary solutions, and prove that all radial global solutions are asymptotically the sum of a stationary solution and a radiation term.
This paper concerns spectral clusters of the Neumann Laplacian on compact Riemannian manifolds with strictly geodesically concave boundary. We prove an inequality which controls the $L^p$ norms of spectral clusters.
We prove sharp Strichartz estimates for the semi-classical Schrodinger equation on a compact manifold with smooth, strictly geodesically concave boundary. We deduce sharp (classical) Strichartz estimates for the Schrodinger equation outside a strictly convex obstacle, local existence for the H^1-critical (quintic) Schrodinger equation and scattering for the sub-critical Schrodinger equation in 3D.
We study the initial-boundary value problem of quasilinear wave equations outside of a star-shaped obstacle in four space dimensions, in which the nonlinear term under consideration may explicitly depend on the unknown function itself. By some new $L^{\infty}_{t}L^{2}_{x}$ and weighted $L^{2}_{t,x}$ estimates for the unknown function itself, together with energy estimates and KSS estimates, for the quasilinear obstacle problem we obtain a lower bound of the lifespan $T_{\varepsilon}\geq \exp{(\frac{c}{\varepsilon^2})}$, which coincides with the sharp lower bound of lifespan estimate for the co…
In this article, we consider the focusing cubic nonlinear Schrödinger equation(NLS) in the exterior domain outside of a convex obstacle in $\mathbb{R}^3$ with Dirichlet boundary conditions. We revisit the scattering result below ground state of Killip-Visan-Zhang by utilizing Dodson and Murphy's argument and the dispersive estimate established by Ivanovici and Lebeau, which avoids using the concentration compactness. We conquer the difficulty of the boundary in the focusing case by establishing a local smoothing effect of the boundary. Based on this effect and the interaction Morawetz estimate…
In this paper, we consider exterior problem of the critical semilinear wave equation in three space dimensions with variable coefficients and prove global existence of smooth solutions. Similar to the constant coefficients case, we show that the energy cannot concentrate at any point $(t,x)\in(0,\infty)\timesΩ$. For that purpose, following Ibrahim and Majdoub \cite{Ibrahim}, we use a geometric multiplier close to the well-known Morawetz multiplier used in the constant coefficients case. Then we use comparison theorem from Riemannian Geometry to estimate the error terms. Finally, using Strichar…
The purpose of the present paper is to establish appropriate cut-off resolvent estimates for the Dirichlet Laplacian on exterior domains. The geometrical assumptions on domains are rather general, for example, non-trapping condition is not imposed. The first key assumption guarantees the result on propagation of singularities, the second is the smallness of the Lebesgue measure of the portions of the trapped sets in the fibers of cosphere bundle, and the third concerns the upper bound of the sojourn time. As a by-product of these estimates, the local energy decay estimate for solutions to the …
We consider the defocusing energy-critical nonlinear Schrödinger equation in the exterior of a smooth compact strictly convex obstacle in three dimensions. For the initial-value problem with Dirichlet boundary condition we prove global well-posedness and scattering for all initial data in the energy space.
In this paper we prove that the energy - critical nonlinear Schr{ö}dinger equation in the domain exterior to a convex obstacle is globally well - posed and scattering for initial data having finite energy. To prove this we utilize frequency localized Morawetz estimates adapted to an exterior domain.
We consider the focusing $L^2$-supercritical Schrödinger equation in the exterior of a smooth, compact, strictly convex obstacle. We construct a solution behaving asymptotically as a solitary waves on $R^3$, as large time. When the velocity of the solitary wave is high, the existence of such a solution can be proved by a classical fixed point argument. To construct solutions with arbitrary nonzero velocity, we use a compactness argument similar to the one that was introduced by F.Merle in 1990 to construct solution of NLS blowing up at several blow-up point together with a topological argument…
We consider a system of seminlinear parabolic variational inequalities with time-dependent convex obstacles. We prove the existence and uniqueness of its solution. We also provide a stochastic representation of the solution and show that it can be approximated by the penalization method. Our proofs are based upon probabilistic methods from the theory of Markov processes and the theory of backward stochastic differential equations.
In this paper, we show that certain local Strichartz estimates for solutions of the wave equation exterior to a convex obstacle can be extended to estimates that are global in both space and time. This extends the work that was done previously by H. Smith and C. Sogge in odd spatial dimensions.
We study the distribution of resonances for smooth strictly convex obstacles under general boundary conditions. We show that under a pinched curvature condition for the boundary of the obstacle, the resonances are separated into cubic bands and the distribution in each bands satisfies Weyl's law.
A simple method for some class of inverse obstacle scattering problems is introduced. The observation data are given by a wave field measured on a known surface surrounding unknown obstacles over a finite time interval. The wave is generated by an initial data with compact support outside the surface. The method yields the distance from a given point outside the surface to obstacles and thus more than the convex hull.
We prove the optimal $W^{2, \infty }$ regularity for fully nonlinear elliptic equations with convex gradient constraints. We do not assume any regularity about the constraints; so the constraints need not be $C^1$ or strictly convex. We also show that the optimal regularity holds up to the boundary. Our approach is to show that these elliptic equations with gradient constraints are related to some fully nonlinear double obstacle problems. Then we prove the optimal $W^{2, \infty }$ regularity for the double obstacle problems. In this process, we also employ the monotonicity property for the sec…
We consider the broken ray transform on Riemann surfaces in the presence of an obstacle, following earlier work of Mukhometov. If the surface has nonpositive curvature and the obstacle is strictly convex, we show that a function is determined by its integrals over broken geodesic rays that reflect on the boundary of the obstacle. Our proof is based on a Pestov identity with boundary terms, and it involves Jacobi fields on broken rays. We also discuss applications of the broken ray transform.
We establish global existence in 3+1 dimensions of small-amplitude solutions of quasilinear Dirichlet-wave equations satisfying the null condition outside of star-shapped obstacles.
The goal of this paper is to develop some basic harmonic analysis tools for the Dirichlet Laplacian in the exterior domain associated to a smooth convex obstacle in dimensions $d\geq 3$. Specifically, we will discuss analogues of the Mikhlin Multiplier Theorem, Littlewood-Paley Theory, and Hardy inequalities, culminating in a proof that homogeneous Sobolev norms defined with respect to the Dirichlet and whole-space Laplacians are equivalent for the sharp ranges of integrability exponent $p$ and regularity $s$. Counterexamples are included to show that these results are indeed sharp. In particu…
We study the dynamics of the focusing $3d$ cubic nonlinear Schrödinger equation in the exterior of a strictly convex obstacle at the mass-energy threshold, namely, when $ E_Ω[u_0] M_Ω[u_0] = E_{\R^3}[Q] M_{\R^3}[Q] $ and $ \left\| \nabla u_0 \right\|_{L^{2}(Ω)} \left\|u_0\right\|_{L^{2}(Ω)}< \left\| \nabla Q \right\|_{L^2(\R^3)} \left\| Q \right\|_{L^2(\R^3)} ,$ where $u_0 \in H^1_0(Ω)$ is the initial data, $Q$ is the ground state on the Euclidean space, $E$ is the energy and $M$ is the mass. In the whole Euclidean space Duyckaerts and Roudenko (following the work of Duyckaerts and Merle on th…
We prove the existence of a resonance free region in scattering by a strictly convex obstacle with the Robin boundary condition. More precisely, we show that the scattering resonances lie below a cubic curve which is the same as in the case of the Neumann boundary condition. This generalizes earlier results on cubic poles free regions obtained for the Dirichlet boundary condition.
In this paper, we consider the Schrödinger equation with a mass-supercritical focusing nonlinearity, in the exterior of a smooth, compact, convex obstacle of $\R^{d}$ with Dirichlet boundary conditions. We prove that solutions with negative energy blow up in finite time. Assuming furthermore that the nonlinearity is energy-subcritical, we also prove (under additional symmetry conditions) blow-up with the same optimal ground-state criterion than in the work of Holmer and Roudenko on $\R^{d}$. The classical proof of Glassey, based on the concavity of the variance, fails in the exterior of an obs…
To study the location of poles for the acoustic scattering matrix for two strictly convex obstacles with smooth boundaries, one uses an approximation of the quantized billiard operator $M$ along the trapped ray between the two obstacles. Using this method Ikawa and G{é}rard established the existence of parallel rows of poles in a strip $Im z\leq c$ as $Re z$ tends to infinity. Assuming that the boundaries are analytic and the eigenvalues of Poincar{é} map are non-resonant we use the Birkhoff normal form for $M$ to improve this result and to get the complete asymptotic expansions for the poles …
We propose a novel on-surface radiation condition to approximate the outgoing solution to the Helmholtz equation in the exterior of several impenetrable convex obstacles. Based on a local approximation of the Dirichlet-to-Neumann operator and a local formula for wave propagation, this new method simultaneously accounts for the outgoing behavior of the solution as well as the reflections arising from the multiple obstacles. The method involves tangential derivatives only, avoiding the use of integration over the surfaces of the obstacles. As a consequence, the method leads to sparse matrices an…
We prove global $W^{1,q}(Ω,\mathbb{R}^N)$-regularity for minimisers of $\mathscr{F}(u)=\int_ΩF(x,\mathrm{D}u)\mathrm{d} x$ satisfying $u\geq ψ$ for a given Sobolev obstacle $ψ$. $W^{1,q}(Ω,\mathbb{R}^m)$ regularity is also proven for minimisers of the associated relaxed functional. Our main assumptions on $F(x,z)$ are a uniform $α$-Hölder continuity assumption in $x$ and natural $(p,q)$-growth conditions in $z$ with $q<\frac{(n+α)p}{n}$. In the autonomous case $F\equiv F(z)$ we can improve the gap to $q<\frac{np}{n-1}$, a result new even in the unconstrained case.
We consider time-harmonic wave scattering from an inhomogeneous isotropic medium supported in a bounded domain $Ω\subset\mathbb{R}^N$ ($N\geq 2$). {In a subregion $D\SubsetΩ$, the medium is supposed to be lossy and have a large mass density. We study the asymptotic development of the wave field as the mass density $ρ\rightarrow +\infty$} and show that the wave field inside $D$ will decay exponentially while the wave filed outside the medium will converge to the one corresponding to a sound-hard obstacle $D\SubsetΩ$ buried in the medium supported in $Ω\backslash\bar{D}$. Moreover, the normal ve…
We prove global existence for quasilinear wave equations outside of a wide class of obstacles. The obstacles may contain trapped hyperbolic rays as long as there is local exponential energy decay for the associated linear wave equation. Thus, we can handle all non-trapping obstacles. We are also able to handle non-diagonal systems satisfying the appropriate null condition.
We consider an obstacle problem for (possibly non-local) wave equations, and we prove existence of weak solutions through a convex minimization approach based on a time discrete approximation scheme. We provide the corresponding numerical implementation and raise some open questions.
The purpose of this expository note is to revisit Morawetz's method for obtaining a lower bound on the rate of exponential decay of waves for the Dirichlet problem outside star-shaped obstacles, and to discuss the uniqueness of the sphere as the extremizer of the sharp lower bound proved by Ralston.
In this paper, motivated by a problem in stochastic impulse control theory, we aim to study solutions to a free boundary problem of obstacle-type. We obtain sharp estimates for the solution using nonlinear tools which are independent of the modulus of semi-convexity of the obstacle. This allows us to state a general estimate for solutions to free boundary problems of obstacle-type admitting obstacles with a general modulus of semi-convexity. As an application we prove sharp estimates for the solution to a fully nonlinear stochastic impulse control problem.
First, we obtain a new formula for Bremermann type upper envelopes, that arise frequently in convex analysis and pluripotential theory, in terms of the Legendre transform of the convex- or plurisubharmonic-envelope of the boundary data. This yields a new relation between solutions of the Dirichlet problem for the homogeneous real and complex Monge-Ampere equations and Kiselman's minimum principle. More generally, it establishes partial regularity for a Bremermann envelope whether or not it solves the Monge-Ampere equation. Second, we prove the second order regularity of the solution of the fre…
In this paper, an inverse initial-boundary value problem for the heat equation in three dimensions is studied. Assume that a three-dimensional heat conductive body contains several cavities of strictly convex. In the outside boundary of this body, a single pair of the temperature and heat flux is given as an observation datum for the inverse problem. It is found the minimum length of broken paths connecting arbitrary fixed point in the outside, a point on the boundary of the cavities and a point on the outside boundary in this order, if the minimum path is not line segment.
We prove the existence and $C^{1,α}$ regularity of solutions to nonlocal fully nonlinear elliptic double obstacle problems. We also obtain boundary regularity for these problems. The obstacles are assumed to be Lipschitz semi-concave/semi-convex functions, and we do not require them to be $C^1$. Our approach is to adapt a penalization method to be applicable to the setting of nonlocal equations and their viscosity solutions.
In this paper we give a full classification of global solutions of the obstacle problem for the fractional Laplacian (including the thin obstacle problem) with compact coincidence set and at most polynomial growth in dimension $N \geq 3$. We do this in terms of a bijection onto a set of polynomials describing the asymptotics of the solution. Furthermore we prove that coincidence sets of global solutions that are compact are also convex if the solution has at most quadratic growth.
We construct convex functions on $\mathbb{R}^3$ and $\mathbb{R}^4$ that are smooth solutions to the Monge-Ampère equation $\det D^2u = 1$ away from compact one-dimensional singular sets, which can be Y-shaped or form the edges of a convex polytope. The examples solve the equation in the Alexandrov sense away from finitely many points. Our approach is based on solving an obstacle problem where the graph of the obstacle is a convex polytope.
Consider the mixed problem with Dirichelet condition associated to the wave equation $\partial_t^2u-\Div_{x}(a(t,x)\nabla_{x}u)=0$, where the scalar metric $a(t,x)$ is $T$-periodic in $t$ and uniformly equal to 1 outside a compact set in $x$, on a $T$-periodic domain. Let $\mathcal U(t, 0)$ be the associated propagator. Assuming that the perturbations are non-trapping, we prove the meromorphic continuation of the cut-off resolvent of the Floquet operator $\mathcal U(T, 0)$ and establish sufficient conditions for local energy decay.
An inverse obstacle scattering problem for the electromagnetic wave governed by the Maxwell system over a finite time interval is considered. It is assumed that the wave satisfies the Leontovich boundary condition on the surface of an unknown obstacle. The condition is described by using an unknown positive function on the surface of the obstacle which is called the surface admittance. The wave is generated at the initial time by a volumetric current source supported on a very small ball placed outside the obstacle and only the electric component of the wave is observed on the same ball over a…