This paper concerns hyperbolic systems of two linear first-order PDEs in one space dimension with periodicity conditions in time and reflection boundary conditions in space. The coefficients of the PDEs are supposed to be time independent, but allowed to be discontinuous with respect to the space variable. We construct two scales of Banach spaces (for the solutions and for the right hand sides of the equations, respectively) such that the problem can be modeled by means of Fredholm operators of index zero between corresponding spaces of the two scales.
We consider the spectral Dirichlet problem for the Laplace operator in the plane $Ω^{\circ}$ with double-periodic perforation but also in the domain $Ω^{\bullet}$ with a semi-infinite foreign inclusion so that the Floquet-Bloch technique and the Gelfand transform do not apply directly. We describe waves which are localized near the inclusion and propagate along it. We give a formulation of the problem with radiation conditions that provides a Fredholm operator of index zero. The main conclusion concerns the spectra $σ^{\circ}$ and $σ^{\bullet}$ of the problems in $Ω^{\circ}$ and $Ω^{\bullet},$…
The main purpose of this monograph is to give an elementary and self-contained account of the existence of asymptotically hyperbolic Einstein metrics with prescribed conformal infinities sufficiently close to that of a given asymptotically hyperbolic Einstein metric with nonpositive curvature. The proof is based on an elementary derivation of sharp Fredholm theorems for self-adjoint geometric linear elliptic operators on asymptotically hyperbolic manifolds.
We revisit Vasy's method for showing meromorphy of the resolvent for (even) asymptotically hyperbolic manifolds. It provides an effective definition of resonances in that setting by identifying them with poles of inverses of a family of Fredholm differential operators. In the Euclidean case the method of complex scaling made this available since the 70's but in the hyperbolic case an effective definition was not known until recently. Here we present a simplified version which relies only on standard pseudodifferential techniques and estimates for hyperbolic operators. As a byproduct we obtain …
The Evans function is a well known tool for locating spectra of differential operators in one spatial dimension. In this paper we construct a multidimensional analogue as the modified Fredholm determinant of a ratio of Dirichlet-to-Robin operators on the boundary. This gives a tool for studying the eigenvalue counting functions of second-order elliptic operators that need not be self-adjoint. To do this we use local representation theory for meromorphic operator-valued pencils, and relate the algebraic multiplicities of eigenvalues of elliptic operators to those of the Robin-to-Robin and Robin…
In this note we set up the elliptic and the parabolic Dirichlet problem for linear nonlocal operators. As opposed to the classical case of second order differential operators, here the "boundary data" are prescribed on the complement of a given bounded set. We formulate the problem in the classical framework of Hilbert spaces and prove unique solvability using standard techniques like the Fredholm alternative.
In this paper we extend two nowadays classical results to a nonlinear Dirichlet problem to equations involving the fractional $p-$Laplacian. The first result is a existence in a non-resonant range more specific between the first and second eigenvalue of the fractional $p-$Laplacian. The second result is the anti-maximum principle for the fractional $p-$Laplacian.
In the paper obtained equivalent system of Fredholm integral equations in the study of the Dirichlet problem for the generalized Manjeron equation with non-smooth coefficients in non-classical treatment (1), (4). When non-smooth conditions on the coefficients of the equation in a rectangular region for this problem posed are found correct solvability conditions in integral form based on the method of integral representations.
We prove Hölder type stability estimates near generic simple Riemannian metrics for the inverse problem of recovering such metrics from the Dirichlet-to-Neumann map associated to the wave equation for the Laplace-Beltrami operator.
In this paper we consider the inverse problem of determining on a compact Riemannian manifold the metric tensor in the wave equation with Dirichlet data from measured Neumann boundary observations. This information is enclosed in the dynamical Dirichlet-to-Neumann map associated to the wave equation. We prove in dimension $n\geq 2$ that the knowledge of the Dirichlet-to-Neumann map for the wave equation uniquely determines the metric tensor and we establish logarithm-type stability.
We are concerned in this paper with the degenerate fractional diffusion advection equations posed in bounded domains. Due to a suitable formulation, we show the existence of weak entropy solutions for measurable and bounded initial and Dirichlet boundary data. Moreover, we prove a $L^1-$type contraction property for weak entropy solutions obtained via parabolic perturbation. This is a weak selection principle which means that the weak entropy solutions are stable in this class.
We consider the Dirichlet problem for the nonhomogeneous equation $-Δ_p u -Δ_q u = α|u|^{p-2}u + β|u|^{q-2}u + f(x)$ in a bounded domain, where $p \neq q$, and $α, β\in \mathbb{R}$ are parameters. We explore assumptions on $α$ and $β$ that guarantee the resolvability of the considered problem. Moreover, we introduce several curves on the $(α,β)$-plane allocating sets of parameters for which the problem has or does not have positive or sign-changing solutions, provided $f$ is of a constant sign.
In this paper, we treat the inverse problem of determining two time-dependent coefficients appearing in a dissipative wave equation, from measured Neumann boundary observations. We establish in dimension $n\geq 2$, stability estimates with respect to the Dirichlet-to-Neumann map of these coefficients provided that are known outside a cloaking regions. Moreover, we prove that it can be stably recovered in larger subsets of the domain by enlarging the set of data
We initiate the study of noncharacteristic boundary layers in hyperbolic-parabolic problems with Neumann boundary conditions. More generally, we study boundary layers with mixed Dirichlet--Neumann boundary conditions where the number of Dirichlet conditions is fewer than the number of hyperbolic characteristic modes entering the domain, that is, the number of boundary conditions needed to specify an outer hyperbolic solution. We have shown previously that this situation prevents the usual WKB approximation involving an outer solution with pure Dirichlet conditions. It also rules out the usual …
Here we study the Dirichlet problem for first order linear and quasi-linear hyperbolic PDEs on a simply connected bounded domain of $\R^2$, where the domain has an interior outflow set and a mere inflow boundary. By means of a Lyapunov function we show the existence of a unique solution in the space of functions of bounded variation and its continuous dependence on all the data of the linear problem. Finally, we conclude the existence of a solution to the quasi-linear case by utilizing the Schauder fixed point theorem. This type of problems considered here appears in applications such as trans…
We study the Dirichlet problem for first order hyperbolic quasi-linear functional PDEs on a simply connected bounded domain of $\R^2$, where the domain has an interior outflow set and a mere inflow boundary. While the question of existence of a solution has already been answered in its predecessor, the present paper discusses the uniqueness and continuous dependence on the coefficients of the PDE. Under the assumption that the functional dependence is causal, we are able to derive a contraction principle which is the key to proof uniqueness and continuous dependence. Such a causal functional d…
We introduce a new algorithm to construct travel time distances between a point in the interior of a Riemannian manifold and points on the boundary of the manifold, and describe a numerical implementation of the algorithm. It is known that the travel time distances for all interior points determine the Riemannian manifold in a stable manner. We do not assume that there are sources or receivers in the interior, and use the hyperbolic Neumann-to-Dirichlet map, or its restriction, as our data. Our algorithm is a variant of the Boundary Control method, and to our knowledge, this is the first numer…
For $2a$-order strongly elliptic operators $P$ generalizing $(-Δ)^a$, $0<a<1$, the treatment of the homogeneous Dirichlet problem on a bounded open set $Ω\subset R^n$ by pseudodifferential methods, has been extended in a recent joint work with Helmut Abels to nonsmooth settings, showing regularity theorems in $L_q$-Sobolev spaces $H_q^s$ for $1<q<\infty $, when $Ω$ is $C^{τ+1}$ with a finite $τ>2a$. Presently, we study the $L_q$-Dirichlet realizations of $P$ and $P^*$, showing invertibility or Fredholmness, finding smoothness results for the kernels and cokernels, and establishing similar resu…
In the present work we investigate the Tricomi problem with integral gluing condition for parabolic-hyperbolic equation with the Caputo fractional order derivative. Using the method of energy integrals we prove the uniqueness of the solution for considered problem. The existence will be proved using methods of ordinary differential equations, Fredholm integral equations and solution will be represented in an explicit form.
A hyperbolic problem wich combines a classical(Dirichlet) and a non-local contraint is considered.The existence and uniqueness of strong solutions are proved,we use a functionnal analysis method based on a priori estimate and on the density of the range of the operator generated by the considered problem.
In this paper we consider the inverse problem of determining on a compact Riemannian manifold the electric potential and the absorption coefficient in the wave equation with Dirichlet data from measured Neumann boundary observations. This information is enclosed in the dynamical Dirichlet-to-Neumann map associated to the wave equation. We prove in dimension $n \geq 2$ that the knowledge of the Dirichlet-to-Neumann map for the wave equation uni
We prove some Fredholm conditions for many algebras of differential operators on particular classes of open manifolds, which include asymptotically Euclidean or asymptotically hyperbolic manifolds. Our typical result is that an operator $P$ is Fredholm if, and only if, it is elliptic and some limit operators $(P_α)_{α\in A}$ are invertible. The operators $P_α$ are right-invariant operators on amenable Lie groups $G_α$, and are of the same type of $P$. To obtain this result, we consider algebras of differential operators that are generated by groupoids. We study a general gluing procedure for g…
We consider the $2 \times 2$ parabolic systems \begin{equation*} u^ε_t + A(u^ε) u^ε_x = εu^ε_{xx} \end{equation*} on a domain $(t, x) \in ]0, + \infty[ \times ]0, l[$ with Dirichlet boundary conditions imposed at $x=0$ and at $x=l$. The matrix $A$ is assumed to be in triangular form and strictly hyperbolic, and the boundary is not characteristic, i.e. the eigenvalues of $A$ are different from 0. We show that, if the initial and boundary data have sufficiently small total variation, then the solution $u^ε$ exists for all $t \geq 0$ and depends Lipschitz continuously in $L^1$ on the initial and …
A system of boundary-domain integral equations is derived from the bidimensional Dirichlet problem for the diffusion equation with variable coefficient using the novel parametrix from [22] different from the one in [5,18]. Mapping properties of the surface and volume parametrix based potential-type operators are analysed. Invertibility of the single layer potential is also studied in detail in appropriate Sobolev spaces. We show that the system of boundary-domain integral equations derived is equivalent to the Dirichlet problem prescribed and we prove the existence and uniqueness of solution i…
Segregated direct boundary-domain integral equations (BDIEs) based on a parametrix and associated with the Dirichlet and Neumann boundary value problems for the linear stationary diffusion partial differential equation with a variable coefficient are formulated. The PDE right hand sides belong to the Sobolev space $H^{-1}(Ω)$ or $\tilde H^{-1}(Ω)$, when neither classical nor canonical co-normal derivatives are well defined. Equivalence of the BDIEs to the original BVP, BDIE solvability, solution uniqueness/non-uniqueness, and as well as Fredholm property and invertibility of the BDIE operators…
In the present paper, we consider a non self adjoint hyperbolic operator with a vector field and an electric potential that depend not only on the space variable but also on the time variable. More precisely, we attempt to stably and simultaneously retrieve the real valued velocity field and the real valued potential from the knowledge of Neumann measurements performed on the whole boundary of the domain. We establish in dimension n greater than two, stability estimates for the problem under consideration. Thereafter, by enlarging the set of data we show that the unknown terms can be stably re…
We give explicit Fredholm conditions for classes of pseudodifferential operators on suitable singular and non-compact spaces. In particular, we include a "user's guide" to Fredholm conditions on particular classes of manifolds including asymptotically hyperbolic manifolds, asymptotically Euclidean (or conic) manifolds, and manifolds with poly-cylindrical ends. The reader interested in applications should be able read right away the results related to those examples, beginning with Section 5. Our general, theoretical results are that an operator adapted to the geometry is Fredholm if, and only …
The paper deals with the three-dimensional Dirichlet boundary value problem (BVP) for a second order strongly elliptic self-adjoint system of partial differential equations in the divergence form with variable coefficients and develops the integral potential method based on a localized parametrix. Using Green's representation formula and properties of the localized layer and volume potentials, we reduce the Dirichlet BVP to a system of localized boundary-domain integral equations (LBDIEs). The equivalence between the Dirichlet BVP and the corresponding LBDIE system is studied. We establish tha…
We consider a restricted Dirichlet-to-Neumann map associated to a wave type operator on a Riemannian manifold with boundary. The restriction corresponds to the case where the Dirichlet traces are supported on one subset of the boundary and the Neumann traces are restricted on another subset. We show that the restricted Dirichlet-to-Neumann map determines the lower order terms in the wave equation, up the natural gauge invariances, along a convex foliation of the manifold. We allow the lower order terms to be non-self-adjoint, and in particular, the corresponding physical system may have dissip…
We show a generic finiteness result for least area planes in 3-dimensional hyperbolic space. Moreover, we prove that the space of minimal immersions of disk into hyperbolic space is a submanifold of a product bundle over a space of immersions of circle into sphere at infinity. The bundle projection map when restricted to this submanifold is Fredholm of index zero. By using this result, we also show that the space of minimal planes with smooth boundary curve at infinity is a manifold.
The Cauchy-Dirichlet problem for the Moore-Gibson-Thompson equation is analyzed. With the focus on non-homogeneous boundary data, two approaches are offered: one is based on the theory of hyperbolic equations, while the other one uses the theory of operator semigroups. This is a mixed hyperbolic problem with a characteristic spatial boundary. Hence, the regularity results exhibit some deficiencies when compared with the non-characteristic case.
We consider a second-order hyperbolic equation on an open bounded domain $Ω$ in $\mathbb{R}^n$ for $n\geq2$, with $C^2$-boundary $Γ=\paΩ=\bar{Γ_0\cupΓ_1}$, $Γ_0\capΓ_1=\emptyset$, subject to non-homogeneous Neumann boundary conditions on the entire boundary $Γ$. We then study the inverse problem of determining the interior damping coefficient of the equation by means of an additional measurement of the Dirichlet boundary trace of the solution, in a suitable, explicit sub-portion $Γ_1$ of the boundary $Γ$, and over a computable time interval $T>0$. Under sharp conditions on the complementary pa…
Let (M,g) be a compact Riemmanian manifold with non-empty boundary. Consider the second order hyperbolic initial-boundary value problem (δ_t^2 + P(x,D))u = 0 in (0,T) x M, u(0,x) = δ_t u(0,x) = 0 for x in M, u(t,x) = f(t,x) on (0,T) x δM; where P(x,D) is a first-order perturbation of the Laplace-Beltrami operator on (M,g). Let b and q be the covector field and the potential of P(x,D), respectively, in M. We prove Hölder type stability estimates near generic simple Riemannian metrics for the inverse problem of recovering g, b, and q from the hyperbolic Dirichlet-to-Neumann(DN) map associated, f…
We consider asymptotically hyperbolic manifolds whose metrics have Sobolev-class regularity, and introduce several technical tools for studying PDEs on such manifolds. Our results employ two novel families of function spaces suitable for metrics potentially having a large amount of interior differentiability, but whose Sobolev regularity implies only a Hölder continuous conformal structure at infinity. We establish Fredholm theorems for elliptic operators arising from metrics in these families. To demonstrate the utility of our methods, we solve the Yamabe problem in this category. As a specia…
The problem for the stationary Navier-Stokes equation in 3D under finite Dirichlet norm is open. In this paper we answer the analogous question on the 3D hyperbolic space. We also address other dimensions and more general manifolds.
We study expansions near the boundary of solutions to the Dirichlet problem for the constant mean curvature equation in the hyperbolic space. With a characterization of remainders of the expansion by multiple integrals, we establish optimal asymptotic expansions of solutions with boundary values of finite regularity and demonstrate a slight loss of regularity for coefficients.
We study the boundary behaviors of solutions $f$ to the Dirichlet problem for minimal graphs in the hyperbolic space with singular asymptotic boundaries and characterize the boundary behaviors of $f$ at the points strictly located in the tangent cones at the singular points on the boundary. For $n=2$, we also obtain a refined estimate of $f.$
We study asymptotic behaviors of solutions $f$ to the Dirichlet problem for minimal graphs in the hyperbolic space with singular asymptotic boundaries under the assumption that the boundaries are piecewise regular with positive curvatures. We derive an estimate of such solutions by the corresponding solutions in the intersections of interior tangent balls. The positivity of curvatures plays an important role.
We show that given two hyperbolic Dirichlet to Neumann maps associated to two Riemannian metrics of a Riemannian manifold with boundary which coincide near the boundary are close then the lens data of the two metrics is the same. As a consequence, we prove uniqueness of recovery a conformal factor (sound speed) locally under some conditions on the latter.