Source author record

Gerd Grubb

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

16works
5topics
4close collaborators

Published work

16 publications

preprint2019arXiv

Exact Green's formula for the fractional Laplacian and perturbations

Let ΩΩ be an open, smooth, bounded subset of Rn \Bbb R ^n. In connection with the fractional Laplacian (−Δ)a(-Δ)^a (a>0a>0), and more generally for a 2a2a-order classical pseudodifferential operator (ψψdo) PP with even symbol, one can define the Dirichlet value γ0a−1uγ_0^{a-1}u resp. Neumann value γ1a−1uγ_1^{a-1}u of u(x)u(x) as the trace resp. normal derivative of u/da−1u/d^{a-1} on ∂Ω\partialΩ, where d(x)d(x) is the distance from x∈Ωx\inΩ to ∂Ω\partialΩ; they define well-posed boundary value problems for PP. A Green's formula was shown in a preceding paper, containing a generally nonlocal term (Bγ0a−1u,γ0a−1v)∂Ω(Bγ_0^{a-1}u,γ_0^{a-1}v)_{\partialΩ}, where BB is a first-order ψψdo on ∂Ω\partialΩ. Presently, we determine BB from LL in the case P=LaP=L^a, where LL is a strongly elliptic second-order differential operator. A particular result is that B=0B=0 when L=−ΔL=-Δ, and that BB is multiplication by a function (is local) when LL equals −Δ-Δ plus a first-order term. In cases of more general LL, BB can be nonlocal.

preprint2016arXiv

Integration by parts and Pohozaev identities for space-dependent fractional-order operators

Consider a classical elliptic pseudodifferential operator PP on Rn{\Bbb R}^n of order 2a2a (0<a<1)0<a<1) with even symbol. For example, P=A(x,D)aP=A(x,D)^a where A(x,D)A(x,D) is a second-order strongly elliptic differential operator; the fractional Laplacian (−Δ)a(-Δ)^a is a particular case. For solutions uu of the Dirichlet problem on a bounded smooth subset Ω⊂RnΩ\subset{\Bbb R}^n, we show an integration-by-parts formula with a boundary integral involving (d−au)∣∂Ω(d^{-a}u)|_{\partialΩ}, where d(x)=dist⁡(x,∂Ω)d(x)=\operatorname{dist}(x,\partialΩ). This extends recent results of Ros-Oton, Serra and Valdinoci, to operators that are xx-dependent, nonsymmetric, and have lower-order parts. We also generalize their formula of Pohozaev-type, that can be used to prove unique continuation properties, and nonexistence of nontrivial solutions of semilinear problems. An illustration is given with P=(−Δ+m2)aP=(-Δ+m^2)^a. The basic step in our analysis is a factorization of PP, P∼P−P+P\sim P^-P^+, where we set up a calculus for the generalized pseudodifferential operators P±P^\pm that come out of the construction.

preprint2015arXiv

Regularity of spectral fractional Dirichlet and Neumann problems

Consider the fractional powers (ADir⁡)a(A_{\operatorname{Dir}})^a and (ANeu⁡)a(A_{\operatorname{Neu}})^a of the Dirichlet and Neumann realizations of a second-order strongly elliptic differential operator AA on a smooth bounded subset ΩΩ of Rn{\Bbb R}^n. Recalling the results on complex powers and complex interpolation of domains of elliptic boundary value problems by Seeley in the 1970's, we demonstrate how they imply regularity properties in full scales of HpsH^s_p-Sobolev spaces and Hölder spaces, for the solutions of the associated equations. Extensions to nonsmooth situations for low values of ss are derived by use of recent results on H∞H^\infty -calculus. We also include an overview of the various Dirichlet- and Neumann-type boundary problems associated with the fractional Laplacian.

preprint2015arXiv

Spectral asymptotics for resolvent differences of elliptic operators with δδ and δ′δ^\prime-interactions on hypersurfaces

We consider self-adjoint realizations of a second-order elliptic differential expression on Rn{\mathbb R}^n with singular interactions of δδ and δ′δ^\prime-type supported on a compact closed smooth hypersurface in Rn{\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 of ψψdo's on closed manifolds and Krein-type resolvent formulae.

preprint2014arXiv

Extension Theory and Krein-type Resolvent Formulas for Nonsmooth Boundary Value Problems

For a strongly elliptic second-order operator AA on a bounded domain Ω⊂RnΩ\subset \mathbb{R}^n it has been known for many years how to interpret the general closed L2(Ω)L_2(Ω)-realizations of AA 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 C32+εC^{\frac32+\varepsilon}-smoothness, in such a way that pseudodifferential methods are still available for resolvent constructions and ellipticity considerations. We show how it can be done for domains with Bp,232B^\frac32_{p,2}-smoothness and operators with Hq1H^1_q-coefficients, for suitable p>2(n−1)p>2(n-1) and q>nq>n. In particular, Kre\uın-type resolvent formulas are established in such nonsmooth cases. Some unbounded domains are allowed.

preprint2014arXiv

Fractional Laplacians on domains, a development of Hörmander's theory of mu-transmission pseudodifferential operators

Let PP be a classical pseudodifferential operator of complex order mm on an nn-dimensional smooth manifold Ω1Ω_1. For the truncation PΩP_Ω to a smooth subset ΩΩ there is a well-known theory of boundary value problems when PΩP_Ω has the transmission property (preserves C∞(Ωˉ)C^\infty (\barΩ)) and is of integer order; the calculus of Boutet de Monvel. Many interesting operators, such as for example complex powers of the Laplacian (−Δ)μ(-Δ)^μ with noninteger mu, are not covered. They have instead the mu-transmission property defined in Hörmander's books, mapping xnμC∞(Ωˉ)x_n^μC^\infty (\barΩ) into C∞(Ωˉ)C^\infty (\barΩ). In an unpublished lecture note from 1965, Hörmander described an L2L_2-solvability theory for mu-transmission operators, departing from Vishik and Eskin's results. We here develop the theory in LpL_p Sobolev spaces (1<p<∞1<p<\infty) in a modern setting. It leads to not only Fredholm solvability statements but also regularity results in full scales of Sobolev spaces (for s→∞s\to \infty). The solution spaces have a singularity at the boundary that we describe in detail. We moreover obtain results in Hölder spaces, which radically improve recent regularity results for fractional Laplacians.

preprint2014arXiv

Local and nonlocal boundary conditions for μμ-transmission and fractional elliptic pseudodifferential operators

A classical pseudodifferential operator PP on RnR^n satisfies the μμ-transmission condition relative to a smooth open subset ΩΩ, when the symbol terms have a certain twisted parity on the normal to ∂Ω\partialΩ. As shown recently by the author, the condition assures solvability of Dirichlet-type boundary problems for elliptic PP in full scales of Sobolev spaces with a singularity dμ−kd^{μ-k}, d(x)=dist⁡(x,∂Ω)d(x)=\operatorname{dist}(x,\partialΩ). Examples include fractional Laplacians (−Δ)a(-Δ)^a and complex powers of strongly elliptic PDE. We now introduce new boundary conditions, of Neumann type or more general nonlocal. It is also shown how problems with data on Rn∖ΩR^n\setminus Ω reduce to problems supported on Ωˉ\barΩ, and how the so-called "large" solutions arise. Moreover, the results are extended to general function spaces Fp,qsF^s_{p,q} and Bp,qsB^s_{p,q}, including Hölder-Zygmund spaces B∞,∞sB^s_{\infty ,\infty}. This leads to optimal Hölder estimates, e.g. for Dirichlet solutions of (−Δ)au=f∈L∞(Ω)(-Δ)^au=f\in L_\infty (Ω), u∈daCa(Ωˉ)u\in d^aC^a(\barΩ) when 0<a<10<a<1, a≠1/2a\ne 1/2 (in daCa−ε(Ωˉ)d^aC^{a-ε}(\barΩ) when a=1/2a=1/2).

preprint2014arXiv

Spectral results for mixed problems and fractional elliptic operators

In the first part of the paper we show Weyl type spectral asymptotic formulas for pseudodifferential operators PaP_a of order 2a2a, with type and factorization index a∈R+a\in R_+, restricted to compact sets with boundary; this includes fractional powers of the Laplace operator. The domain and the regularity of eigenfunctions is described. In the second part, we apply this in a study of realizations Aχ,Σ+A_{χ,Σ_+} in L2(Ω)L_2(Ω) of mixed problems for a second-order strongly elliptic symmetric differential operator AA on a bounded smooth set Ω⊂RnΩ\subset R^n; here the boundary ∂Ω=Σ\partialΩ=Σ is partioned smoothly into Σ=Σ−∪Σ+Σ=Σ_-\cup Σ_+, the Dirichlet condition γ0u=0γ_0u=0 is imposed on Σ−Σ_-, and a Neumann or Robin condition χu=0χu=0 is imposed on Σ+Σ_+. It is shown that the Dirichlet-to-Neumann operator Pγ,χP_{γ,χ} is principally of type 12\frac12 with factorization index 12\frac12, relative to Σ+Σ_+. The above theory allows a detailed description of D(Aχ,Σ+)D(A_{χ,Σ_+}) with singular elements outside of H32(Ω)H^{\frac32}(Ω), and leads to a spectral asymptotic formula for the Krein resolvent difference Aχ,Σ+−1−Aγ−1A_{χ,Σ_+}^{-1}-A_γ^{-1}.

preprint2013arXiv

Heat kernel estimates for pseudodifferential operators, fractional Laplacians and Dirichlet-to-Neumann operators

The purpose of this article is to establish upper and lower estimates for the integral kernel of the semigroup exp(-tP) associated to a classical, strongly elliptic pseudodifferential operator P of positive order on a closed manifold. The Poissonian bounds generalize those obtained for perturbations of fractional powers of the Laplacian. In the selfadjoint case, extensions to t in C_+ are studied. In particular, our results apply to the Dirichlet-to-Neumann semigroup.

preprint2013arXiv

Spectral asymptotics for nonsmooth singular Green operators

Singular Green operators G appear typically as boundary correction terms in resolvents for elliptic boundary value problems on a domain Ω\subset R^n, and more generally they appear in the calculus of pseudodifferential boundary problems. In particular, the boundary term in a Krein resolvent formula is a singular Green operator. It is well-known in smooth cases that when G is of negative order -t on a bounded domain, its eigenvalues or s-numbers have the behavior (*) s_j(G) \sim c j^{-t/(n-1)} for j\to \infty, governed by the boundary dimension n-1. In some nonsmooth cases, upper estimates (**) s_j(G) \le Cj^{-t/(n-1)} are known. We show that (*) holds when G is a general selfadjoint nonnegative singular Green operator with symbol merely Hölder continuous in x. We also show (*) with t=2 for the boundary term in the Krein resolvent formula comparing the Dirichlet and a Neumann-type problem for a strongly elliptic second-order differential operator (not necessarily selfadjoint) with coefficients in W^1_p(Ω) for some p>n.

preprint2011arXiv

Extension theory for elliptic partial differential operators with pseudodifferential methods

This is a short survey on the connection between general extension theories and the study of realizations of elliptic operators A on smooth domains in R^n, n > 1. The theory of pseudodifferential boundary problems has turned out to be very useful here, not only as a formulational framework, but also for the solution of specific questions. We recall some elements of that theory, and show its application in several cases (including recent results), namely to the lower boundedness question, and the question of spectral asymptotics for differences between resolvents.

preprint2011arXiv

Krein-like extensions and the lower boundedness problem for elliptic operators

For selfadjoint extensions tilde-A of a symmetric densely defined positive operator A_min, the lower boundedness problem is the question of whether tilde-A is lower bounded {\it if and only if} an associated operator T in abstract boundary spaces is lower bounded. It holds when the Friedrichs extension A_gamma has compact inverse (Grubb 1974, also Gorbachuk-Mikhailets 1976); this applies to elliptic operators A on bounded domains. For exterior domains, A_gamma ^{-1} is not compact, and whereas the lower bounds satisfy m(T)\ge m(tilde-A), the implication of lower boundedness from T to tilde-A has only been known when m(T)>-m(A_gamma). We now show it for general T. The operator A_a corresponding to T=aI, generalizing the Krein-von Neumann extension A_0, appears here; its possible lower boundedness for all real a is decisive. We study this Krein-like extension, showing for bounded domains that the discrete eigenvalues satisfy N_+(t;A_a)=c_At^{n/2m}+O(t^{(n-1+varepsilon)/2m}) for t\to\infty .

preprint2011arXiv

Spectral asymptotics for Robin problems with a discontinuous coefficient

The spectral behavior of the difference between the resolvents of two realizations A~1\tilde A_1 and A~2\tilde A_2 of a second-order strongly elliptic symmetric differential operator AA, defined by different Robin conditions νu=b1γ0uνu=b_1γ_0u and νu=b2γ0uνu=b_2γ_0u, can in the case where all coefficients are C∞C^\infty be determined by use of a general result by the author in 1984 on singular Green operators. We here treat the problem for nonsmooth bib_i. Using a Krein resolvent formula, we show that if b1b_1 and b2b_2 are in L∞L_\infty, the s-numbers sjs_j of (A~1−λ)−1−(A~2−λ)−1(\tilde A_1 -λ)^{-1}-(\tilde A_2 -λ)^{-1} satisfy sjj3/(n−1)≤Cs_j j^{3/(n-1)}\le C for all jj; this improves a recent result for A=−ΔA=-Δ by Behrndt et al., that ∑jsjp<∞\sum_js_j ^p<\infty for p>(n−1)/3p>(n-1)/3. A sharper estimate is obtained when b1b_1 and b2b_2 are in CεC^ε for some ε>0ε>0, with jumps at a smooth hypersurface, namely that sjj3/(n−1)→cs_j j^{3/(n-1)}\to c for j→∞j\to \infty, with a constant cc defined from the principal symbol of AA and b2−b1b_2-b_1. As an auxiliary result we show that the usual principal spectral asymptotic estimate for pseudodifferential operators of negative order on a closed manifold extends to products of pseudodifferential operators interspersed with piecewise continuous functions.

preprint2011arXiv

The mixed boundary value problem, Krein resolvent formulas and spectral asymptotic estimates

For a second-order symmetric strongly elliptic operator A on a smooth bounded open set Ωin R^n with boundary Σ, the mixed problem is defined by a Neumann-type condition on a part Sigma_+ of the boundary and a Dirichlet condition on the other part Sigma_-. We show a Krein resolvent formula, where the difference between its resolvent and the Dirichlet resolvent is expressed in terms of operators acting on Sobolev spaces over Sigma_+. This is used to obtain a new Weyl-type spectral asymptotics formula for the resolvent difference (where upper estimates were known before), namely s_j j^{2/(n-1)}\to C_{0,+}^{2/(n-1)}, where C_{0,+} is proportional to the area of Sigma_+, in the case where A is principally equal to the Laplacian.

preprint2011arXiv

The sectorial projection defined from logarithms

For a classical elliptic pseudodifferential operator P of order m>0 on a closed manifold X, such that the eigenvalues of the principal symbol p_m(x,ξ) have arguments in \,]θ,ϕ[\, and \,]ϕ, θ+2π[\, (θ<ϕ<θ+2π), the sectorial projection Π_{θ, ϕ}(P) is defined essentially as the integral of the resolvent along {e^{iϕ}R_+}\cup {e^{iθ}R_+}. In a recent paper, Booss-Bavnbek, Chen, Lesch and Zhu have pointed out that there is a flaw in several published proofs that ¶_{θ, ϕ}(P) is a ψdo of order 0; namely that p_m(x,ξ) cannot in general be modified to allow integration of (p_m(x,ξ)-λ)^{-1} along {e^{iϕ}R_+}\cup {e^{iθ}R_+} simultaneously for all ξ. We show that the structure of Π_{θ, ϕ}(P) as a ψdo of order 0 can be deduced from the formula Π_{θ, ϕ}(P)= (i/(2π))(\log_θ(P) - \log_ϕ(P)) proved in an earlier work (coauthored with Gaarde). In the analysis of \log_θ(P) one need only modify p_m(x,ξ) in a neighborhood of e^{iθ}R_+; this is known to be possible from Seeley's 1967 work on complex powers.

preprint2009arXiv

Perturbation of essential spectra of exterior elliptic problems

For a second-order strongly elliptic differential operator on an exterior domain in R^n it is known from works of Birman and Solomiak that a change of the boundary condition from the Dirichlet condition to an elliptic Neumann or Robin condition leaves the essential spectrum unchanged, in such a way that the spectrum of the difference between the inverses satisfies a Weyl-type asymptotic formula. We show that one can augment, but not diminish, the essential spectrum by imposition of other Neumann-type non-elliptic boundary conditions. - The results are extended to 2m-order operators, where it is shown that for any selfadjoint realization defined by an elliptic normal boundary condition (other than the Dirichlet condition), one can augment the essential spectrum at will by adding a suitable operator to the mapping from free Diriclet data to Neumann data. We here also show an extension of the spectral asymptotics formula for the difference between inverses of elliptic problems. - The proofs rely on Krein-type formulas for differences between inverses, and cutoff techniques, combined with results on singular Green operators and their spectral asymptotics.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.