We study resolvent approximations for elliptic differential nonselfadjoint operators with periodic coefficients in the limit of the small period. The class of operators covered by our analysis includes uniformly elliptic families with bounded coefficients and also with unbounded coefficients from the John-Nirenberg space $BMO$ (bounded mean oscillation). We apply the modified method of the first approximation with the usage of Steklov's smoothing.
We study the asymptotic behaviour, as the small parameter $\varepsilon$ tends to zero, of the resolvents of uniformly elliptic second-order differential operators with locally periodic coefficients depending on the slow variable $x$ and the fast variable $x/\varepsilon$, with periodicity only in the fast variable. We provide a construction for the leading terms in the operator asymptotics of these resolvents in the sense of $L^2$-operator-norm convergence with order $\varepsilon^2$ remainder estimates. We apply the modified method of the first approximation with the usage of the shift.
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 o…
We study the asymptotic behaviour of the resolvents $({\mathcal A}^\varepsilon+I)^{-1}$ of elliptic second-order differential operators ${\mathcal A}^\varepsilon$ in ${\mathbb R}^d$ with periodic rapidly oscillating coefficients, as the period $\varepsilon$ goes to zero. The class of operators covered by our analysis includes both the "classical" case of uniformly elliptic families (where the ellipticity constant does not depend on $\varepsilon$) and the "double-porosity" case of coefficients that take contrasting values of order one and of order $\varepsilon^2$ in different parts of the perio…
Sharp resolvent bounds for non-selfadjoint semiclassical elliptic quadratic differential operators are established, in the interior of the range of the associated quadratic symbol.
In this paper, we study the estimates of resolvents $ R(λ,\mathcal{L}_{\varepsilon})=(\mathcal{L}_{\varepsilon}-λI)^{-1} $, where $$ \mathcal{L}_{\varepsilon}=-\operatorname{div}(A(x/\varepsilon)\nabla) $$ is a family of second elliptic operators with symmetric, periodic and oscillating coefficients defined on a bounded domain $ Ω$ with $ \varepsilon>0 $. For $ 1<p<\infty $, we will establish uniform $ L^p\to L^p $, $ L^p\to W_0^{1,p} $, $ W^{-1,p}\to L^p $ and $ W^{-1,p}\to W_0^{1,p} $ estimates by using the real variable method. Meanwhile, we use Green functions for operators $ \mathcal{L}_{…
Consider the resolvent problem associated with the linearized viscous flow around a rotating body. Within a setting of classical Sobolev spaces, this problem is not well posed on the whole imaginary axis. Therefore, a framework of homogeneous Sobolev spaces is introduced where existence of a unique solution can be guaranteed for every purely imaginary resolvent parameter. For this purpose, the problem is reduced to an auxiliary problem, which is studied by means of Fourier analytic tools in a group setting. In the end, uniform resolvent estimates can be derived, which lead to the existence of …
In the whole space $R^d$, $d\ge 2$, we study homogenization of a divergence form elliptic fourth-order operator $A_\varepsilon$ with measurable $\varepsilon$-periodic coefficients, where $\varepsilon$ is a small parameter. For the resolvent $(A_\varepsilon+1)^{-1}$, acting as an operator from $L^2$ to $H^2$, we find an approximation with remainder term of order $O(\varepsilon^2)$ as $\varepsilon$ tends to $0$. Relying on this result, we construct the resolvent approximation with remainder of order $O(\varepsilon^3)$ in the operator $L^2$-norm. We employ two-scale expansions that involve smooth…
We prove uniform $L^p$ estimates for resolvents of higher order elliptic self-adjoint differential operators on compact manifolds without boundary, generalizing a corresponding resul of [3] in the case of Laplace-- Beltrami operators on Riemannian manifolds. In doing so, we follow the methods, developed in [1] very closely. We also show that spectral regions in our $L^p$ resolvent estimates are optimal.
Consider the time-periodic flow of an incompressible viscous fluid past a body performing a rigid motion with non-zero translational and rotational velocity. We introduce a framework of homogeneous Sobolev spaces that renders the resolvent problem of the associated linear problem well posed on the whole imaginary axis. In contrast to the cases without translation or rotation, the resolvent estimates are merely uniform under additional restrictions, and the existence of time-periodic solutions depends on the ratio of the rotational velocity of the body motion to the angular velocity associated …
The paper reports on a recent construction of M-functions and Krein resolvent formulas for general closed extensions of an adjoint pair, and their implementation to boundary value problems for second-order strongly elliptic operators on smooth domains. The results are then extended to domains with $C^{1,1}$ Hölder smoothness, by use of a recently developed calculus of pseudodifferential boundary operators with nonsmooth symbols.
This paper is a continuation of the investigation of resolvents of elliptic operators on conic manifolds from math.AP/0410178 and math.AP/0410176 to the case of manifolds with boundary and realizations of operators under boundary conditions. We prove the existence of sectors of minimal growth for realizations of boundary value problems for cone operators under natural ellipticity conditions on the symbols. Special attention is devoted to the clarification of the analytic structure of the resolvent.
Given a symmetric, semi-bounded, second order elliptic differential operator on a bounded domain with $C^{1,1}$ boundary, we provide a Krein-type formula for the resolvent difference between its Friedrichs extension and an arbitrary self-adjoint one.
We study resolvents and spectral projections for quadratic differential operators under an assumption of partial ellipticity. We establish exponential-type resolvent bounds for these operators, including Kramers-Fokker-Planck operators with quadratic potentials. For the norms of spectral projections for these operators, we obtain complete asymptotic expansions in dimension one, and for arbitrary dimension, we obtain exponential upper bounds and the rate of exponential growth in a generic situation. We furthermore obtain a complete characterization of those operators with orthogonal spectral pr…
We prove new $L^p$-$L^q$-estimates for solutions to elliptic differential operators with constant coefficients in $\mathbb{R}^3$. We use the estimates for the decay of the Fourier transform of particular surfaces in $\mathbb{R}^3$ with vanishing Gaussian curvature due to Erdős--Salmhofer to derive new Fourier restriction--extension estimates. These allow for constructing distributional solutions in $L^q(\mathbb{R}^3)$ for $L^p$-data via limiting absorption by well-known means.
Let $A$ be an elliptic operator on a compact manifold with boundary $M$, and let $\wp : \partial\M \to Y$ be a covering map, where $Y$ is a closed manifold. Let $A_C$ be a realization of $A$ subject to a coupling condition $C$ that is elliptic with parameter in the sector $Λ$. By a coupling condition we mean a nonlocal boundary condition that respects the covering structure of the boundary. We prove that the resolvent trace $\Tr_{L^2} (A_C-λ)^{-N}$ for $N$ sufficiently large has a complete asymptotic expansion as $|λ| \to \infty$, $λ\in Λ$. In particular, the heat trace $\Tr_{L^2}e^{-tA_C}$ ha…
We identify a class of time-periodic linear symmetric hyperbolic equations that are finite codimension stable, because an associated operator has compact resolvent, sufficiently far to the right in the complex plane. This paper is an attempt to capture abstractly the observation in numerical general relativity that some discretely self-similar spacetimes, such as Choptuik's critical spacetime, are finite codimension stable.
In the whole space $R^d$, $d\ge 2$, we study homogenization of a divergence form elliptic operator $A_\varepsilon$ of order $2m\ge 4$ with measurable $\varepsilon$-periodic coefficients, where $\varepsilon$ is a small parameter. For the resolvent $(A_\varepsilon+1)^{-1}$, we construct an approximation with the remainder term of order $\varepsilon^2$ in the operator $(L^2{\to}H^m)$-norm, using the resolvent of the homogenized operator, solutions of several auxiliary periodic problems on the unit cube, and smoothing operators. The homogenized operator here differs from the one commonly employed …
We consider an infinite planar straight strip perforated by small holes along a curve. In such domain, we consider a general second order elliptic operator subject to classical boundary conditions on the holes. Assuming that the perforation is non-periodic and satisfies rather weak assumptions, we describe all possible homogenized problems. Our main result is the norm resolvent convergence of the perturbed operator to a homogenized one in various operator norms and the estimates for the rate of convergence. On the basis of the norm resolvent convergence, we prove the convergence of the spectru…
We consider self-adjoint realizations of a second-order elliptic differential expression on ${\mathbb R}^n$ with singular interactions of $δ$ and $δ^\prime$-type supported on a compact closed smooth hypersurface in ${\mathbb R}^n$. In our main results we prove spectral asymptotics formulae with refined remainder estimates for the singular values of the resolvent difference between the standard self-adjoint realizations and the operators with a $δ$ and $δ^\prime$-interaction, respectively. Our technique makes use of general pseudodifferential methods, classical results on spectral asymptotics o…
We construct a parametrix of a resolvent of elliptic differential operators acting on half-densities on manifolds with ends. The construction is carried out by introducing suitable pseudodifferential operators compatible with the end structure. Our class of pseudodifferential operators and symbols is independent of the choice of Riemannian metric on the manifold and applicable to both of asymptotically conical and hyperbolic manifolds. As an application, we prove the essential self-adjointness of elliptic symmetric differential operators on manifolds.
We consider general second order uniformly elliptic operators subject to homogeneous boundary conditions on open sets $ϕ(Ω)$ parametrized by Lipschitz homeomorphisms $ϕ$ defined on a fixed reference domain $Ω$. Given two open sets $ϕ(Ω)$, $\tilde ϕ(Ω)$ we estimate the variation of resolvents, eigenvalues and eigenfunctions via the Sobolev norm $\|\tilde ϕ-ϕ\|_{W^{1,p}(Ω)}$ for finite values of $p$, under natural summability conditions on eigenfunctions and their gradients. We prove that such conditions are satisfied for a wide class of operators and open sets, including open sets with Lipschit…
We study closed extensions A of an elliptic differential operator on a manifold with conical singularities, acting as an unbounded operator on a weighted L_p-space. Under suitable conditions we show that the resolvent (λ-A)^{-1} exists in a sector of the complex plane and decays like 1/|λ| as |λ| tends to infinity. Moreover, we determine the structure of the resolvent with enough precision to guarantee existence and boundedness of imaginary powers of A. As an application we treat the Laplace-Beltrami operator for a metric with straight conical degeneracy and describe domains yielding maximal r…
Homogenization of a scalar elliptic equation in a bounded domain with Neuman boundary condition is studied. Coefficients of the operator are oscillating over two different groups of variables with different small periods $\varepsilon$ and $δ=δ(\varepsilon)$. We assume that $δ/{\varepsilon}$ tends to zero as $\varepsilon$ tends to zero. It is known that the limit problem is obtained through reiterated homogenization procedure and corresponds to an elliptic equation with constant coefficients. The difference for resolvents of the initial and the limit problems is estimated in operator $(L^2\to L…
On a compact Riemannian manifold with boundary, we prove a spectral inequality for the bi-Laplace operator in the case of so-called "clamped" boundary conditions , that is, homogeneous Dirichlet and Neumann conditions simultaneously. We also prove a resolvent estimate for the generator of the damped plate semigroup associated with these boundary conditions. The spectral inequality allows one to observe finite sums of eigenfunctions for this fourth-order elliptic operator, from an arbitrary open subset of the manifold. Moreover, the constant that appears in the inequality grows as exp(C$μ$ 1/4)…
We study resolvent estimates for non-selfadjoint semiclassical pseudodifferential operators with double characteristics. Assuming that the quadratic approximation along the double characteristics is elliptic, we obtain polynomial upper bounds on the resolvent in a suitable region inside the pseudospectrum.
We consider a class of pseudodifferential operators with a doubly characteristic point, where the quadratic part of the symbol fails to be elliptic but obeys an averaging assumption. Under suitable additional assumptions, semiclassical resolvent estimates are established, where the modulus of the spectral parameter is allowed to grow slightly more rapidly than the semiclassical parameter.
Let ${\mathcal O} \subset {\mathbb R}^d$ be a bounded domain with the boundary of class $C^{1,1}$. In $L_2({\mathcal O};{\mathbb C}^n)$, a matrix elliptic second order differential operator ${\mathcal A}_{N,\varepsilon}$ with the Neumann boundary condition is considered. Here $\varepsilon>0$ is a small parameter, the coefficients of ${\mathcal A}_{N,\varepsilon}$ are periodic and depend on ${\mathbf x} /\varepsilon$. There are no regularity assumptions on the coefficients. It is shown that the resolvent $({\mathcal A}_{N,\varepsilon}+λI)^{-1}$ converges in the $L_2({\mathcal O};{\mathbb C}^n)$…
We provide operator-norm convergence estimates for solutions to a time-dependent equation of fractional elasticity in one spatial dimension, with rapidly oscillating coefficients that represent the material properties of a viscoelastic composite medium. Assuming periodicity in the coefficients, we prove operator-norm convergence estimates for an operator fibre decomposition obtained by applying to the original fractional elasticity problem the Fourier--Laplace transform in time and Gelfand transform in space. We obtain estimates on each fibre that are uniform in the quasimomentum of the decomp…
We consider the (viscosity) solution $u^\varepsilon$ of the elliptic equation $\varepsilon^2Δ_p^G u= u$ in a domain (not necessarily bounded), satisfying $u=1$ on its boundary. Here, $Δ_p^G$ is the {\it game-theoretic or normalized $p$-laplacian}. We derive asymptotic formulas for $\varepsilon\to 0^+$ involving the values of $u^\varepsilon$, in the spirit of Varadhan's work \cite{Va}, and its $q$-mean on balls touching the boundary, thus generalizing that obtained in \cite{MS-AM} for $p=q=2$. As in a related parabolic problem, investigated in \cite{BM}, we link the relevant asymptotic behavior…
We give a uniform description of resolvents and complex powers of elliptic semiclassical cone differential operators as the semiclassical parameter $h$ tends to $0$. An example of such an operator is the shifted semiclassical Laplacian $h^2Δ_g+1$ on a manifold $(X, g)$ of dimension $n\geq 3$ with conic singularities. Our approach is constructive and based on techniques from geometric microlocal analysis: we construct the Schwartz kernels of resolvents and complex powers as conormal distributions on a suitable resolution of the space $[0,1)_h\times X\times X$ of $h$-dependent integral kernels; …
We present a simple proof of the resolvent estimates of elliptic Fourier multipliers on the Euclidean space, and apply them to the analysis of time-global and spatially-local smoothing estimates of a class of dispersive equations. For this purpose we study in detail the properties of the restriction of Fourier transform on the unit cotangent sphere associated with the symbols of multipliers.
Let $\mathcal{O}\subset\mathbb{R}^d$ be a bounded domain of class $C^{1,1}$. In $L_2(\mathcal{O};\mathbb{C}^n)$, we study a selfadjoint matrix elliptic second order differential operator $B_{D,\varepsilon}$, $0<\varepsilon\leqslant 1$, with the Dirichlet boundary condition. The principal part of the operator is given in a factorized form. The operator involves lower order terms with unbounded coefficients. The coefficients of $B_{D,\varepsilon}$ are periodic and depend on $\mathbf{x}/\varepsilon$. We study the generalized resolvent $\left(B_{D,\varepsilon}-ζQ_0(\cdot/\varepsilon)\right)^{-1}$,…
In the whole space $R^d$ ($d\ge 2$), we study homogenization of a divergence-form matrix elliptic operator $L_\varepsilon$ of an arbitrary even order larger than 2 with measurable $\varepsilon$-periodic coefficients, where $\varepsilon$ is a small parameter. We constuct an approximation for the resolvent of $L_\varepsilon$ with the remainder term of order $\varepsilon^2$ in the operator $L^2$-norm. We impose no regularity conditions on the operator beyond ellipticity and boundedness of coefficients. We use two scale expansions with correctors regularized by the Steklov smoothing.
For a strongly elliptic second-order operator $A$ on a bounded domain $Ω\subset \mathbb{R}^n$ it has been known for many years how to interpret the general closed $L_2(Ω)$-realizations of $A$ as representing boundary conditions (generally nonlocal), when the domain and coefficients are smooth. The purpose of the present paper is to extend this representation to nonsmooth domains and coefficients, including the case of Hölder $C^{\frac32+\varepsilon}$-smoothness, in such a way that pseudodifferential methods are still available for resolvent constructions and ellipticity considerations. We show…
We consider linear elliptic and parabolic equations with measurable coefficients and prove two types of $L_{p}$-estimates for their solutions, which were recently used in the theory of fully nonlinear elliptic and parabolic second order equations in \cite{DKL}. The first type is an estimate of the $γ$th norm of the second-order derivatives, where $γ\in(0,1)$, and the second type deals with estimates of the resolvent operators in $L_{p}$ when the first-order coefficients are summable to an appropriate power.
Consider the wave equation $\partial_t^2u-Δ_xu+V(t,x)u=0$, where $x\in\R^n$ with $n\geq3$ and $V(t,x)$ is $T$-periodic in time and decays exponentially in space. Let $ U(t,0)$ be the associated propagator and let $R(θ)=e^{-D<x>}(U(T,0)-e^{-iθ})^{-1}e^{-D<x>}$ be the resolvent of the Floquet operator $U(T,0)$ defined for $\im(θ)>BT $ with $B>0$ sufficiently large. We establish a meromorphic continuation of $R(θ)$ from which we deduce the asymptotic expansion of $e^{-(D+ε)<x>}U(t,0)e^{-D<x>}f$, where $f\in \dot{H}^1(\R^n)\times L^2(\R^n)$, as $t\to+\infty$ with a remainder term whose energy deca…
In $L_2({\mathbb R}^d;{\mathbb C}^n)$, we consider a selfadjoint operator ${\mathcal B}_\varepsilon$, $0< \varepsilon \leqslant 1$, given by the differential expression $b({\mathbf D})^* g({\mathbf x}/\varepsilon)b({\mathbf D}) + \sum_{j=1}^d (a_j({\mathbf x}/\varepsilon) D_j +D_j a_j({\mathbf x}/\varepsilon)^*) + Q({\mathbf x}/\varepsilon)$, where $b({\mathbf D}) = \sum_{l=1}^d b_l D_l$ is the first order differential operator, and $g, a_j, Q$ are matrix-valued functions in ${\mathbb R}^d$ periodic with respect to some lattice $Γ$. It is assumed that $g$ is bounded and positive definite, whil…
We consider one-dimensional inhomogeneous parabolic equations with higher-order elliptic differential operators subject to periodic boundary conditions. In our main result we show that the property of continuous maximal regularity is satisfied in the setting of periodic little-Hölder spaces, provided the coefficients of the differential operator satisfy minimal regularity assumptions. We address parameter-dependent elliptic equations, deriving invertibility and resolvent bounds which lead to results on generation of analytic semigroups. We also demonstrate that the techniques and results of th…
For two-scale homogenization of a general class of asymptotically degenerating %uniformly strongly elliptic symmetric PDE systems with a critically scaled high contrast in periodic coefficients of a small period $\varepsilon$, we derive a two-scale limit resolvent problem under a single generic decomposition assumption for the `stiff' part. We show that this key assumption does hold for a large number of examples with a high contrast, both studied before and some recent ones, including those in linear elasticity and electromagnetism. Following ideas of V.V. Zhikov, under very mild restrictions…
The purpose of this note is to prove sharp Strichartz estimates with derivative losses for the non elliptic Schrodinger equation posed on the 2 dimensional torus.
General evolution equations in Banach spaces are investigated. Based on an operator-valued version of de Leeuw's transference principle, time-periodic $L^p$ estimates of maximal regularity type are established from $\mathscr{R}$-bounds of the family of solution operators ($\mathscr{R}$-solvers) to the corresponding resolvent problems. With this method, existence of time-periodic solutions to the Navier-Stokes equations is shown for two configurations: in a periodically moving bounded domain and in an exterior domain, subject to prescribed time-periodic forcing and boundary data.
We obtain some existence theorems for periodic solutions to several linear equations involving fractional Laplacian. We also prove that the lower bound of all periods for semilinear elliptic equations involving fractional Laplacian is not larger than some exact positive constant. Hamiltonian identity, Modica-type inequalities and an estimate of the energy for periodic solutions are also established.
We consider the nonlinear Schrödinger equation on a compact manifold near an elliptic periodic geodesic. Using a geometric optics construction, we construct quasimodes to a nonlinear stationary problem which are highly localized near the periodic geodesic. We show the nonlinear Schrödinger evolution of such a quasimode remains localized near the geodesic, at least for short times.
