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 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 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…
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}_{…
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.
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 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.
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…
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 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; …
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.
Local Schauder estimates hold in the nonuniformly elliptic setting. Specifically, first derivatives of solutions to nonuniformly elliptic variational problems and elliptic equations are locally Hölder continuous, provided coefficients are locally Hölder continuous.
In this note, we consider the wave operator $\square_g$ in the case of globally hyperbolic, compactly supported perturbations of static spacetimes. We give an elementary proof of the essential self-adjointness of $\square_g$ and of uniform microlocal estimates for the resolvent in this setting. This provides a model for studying Lorentzian spectral zeta functions which is particularly simple, yet sufficiently general for locally deriving Einstein equations from a spectral Lagrangian.
We consider the generalized Stokes resolvent problem in an infinite layer with Neumann boundary conditions. This problem arises from a free boundary problem describing the motion of incompressible viscous one-phase fluid flow without surface tension in an infinite layer bounded both from above and from below by free surfaces. We derive a new exact solution formula to the generalized Stokes resolvent problem and prove the $\mathscr{R}$-boundedness of the solution operator families with resolvent parameter $λ$ varying in a sector $Σ_{\varepsilon,γ_0}$ for any $γ_0>0$ and $0<\varepsilon<π/2$, whe…
We consider a singularly perturbed Dirichlet spectral problem for an elliptic operator of second order. The coefficients of the operator are assumed to be locally periodic and oscillating in the scale $\varepsilon$. We describe the leading terms of the asymptotics of the eigenvalues and the eigenfunctions to the problem, as the parameter $\varepsilon$ tends to zero, under structural assumptions on the potential. More precisely, we assume that the local average of the potential has a unique global minimum point in the interior of the domain and its Hessian is non-degenerate at this point.
We consider resolvents of operators taking the form ${\bf A}=Γ_1{\bf B}Γ_1$ where $Γ_1({\bf k})$ is a projection that acts locally in Fourier space and ${\bf B}({\bf x})$ is an operator that acts locally in real space. Such resolvents arise naturally when one wants to solve any of the large class of linear physical equations surveyed in Parts I, II, III, and IV that can be reformulated as problems in the extended abstract theory of composites. We review how $Q^*$-convex operators can be used to bound the spectrum of ${\bf A}$. Then, based on the Cherkaev-Gibiansky transformation and subsequent…
We study the homogenization problem for matrix strongly elliptic operators on $L_2(\mathbb R^d)^n$ of the form $\mathcal A^\varepsilon=-\operatorname{div}A(x,x/\varepsilon)\nabla$. The function $A$ is Lipschitz in the first variable and periodic in the second. We do not require that $A^*=A$, so $\mathcal A^\varepsilon$ need not be self-adjoint. In this paper, we provide, for small $\varepsilon$, two terms in the uniform approximation for $(\mathcal A^\varepsilon-μ)^{-1}$ and a first term in the uniform approximation for $\nabla(\mathcal A^\varepsilon-μ)^{-1}$. Primary attention is paid to prov…
