-
Find the Lady: Permutation and Re-Synchronization of Deep Neural Networks
Authors:
Carl De Sousa Trias,
Mihai Petru Mitrea,
Attilio Fiandrotti,
Marco Cagnazzo,
Sumanta Chaudhuri,
Enzo Tartaglione
Abstract:
Deep neural networks are characterized by multiple symmetrical, equi-loss solutions that are redundant. Thus, the order of neurons in a layer and feature maps can be given arbitrary permutations, without affecting (or minimally affecting) their output. If we shuffle these neurons, or if we apply to them some perturbations (like fine-tuning) can we put them back in the original order i.e. re-synchr…
▽ More
Deep neural networks are characterized by multiple symmetrical, equi-loss solutions that are redundant. Thus, the order of neurons in a layer and feature maps can be given arbitrary permutations, without affecting (or minimally affecting) their output. If we shuffle these neurons, or if we apply to them some perturbations (like fine-tuning) can we put them back in the original order i.e. re-synchronize? Is there a possible corruption threat? Answering these questions is important for applications like neural network white-box watermarking for ownership tracking and integrity verification. We advance a method to re-synchronize the order of permuted neurons. Our method is also effective if neurons are further altered by parameter pruning, quantization, and fine-tuning, showing robustness to integrity attacks. Additionally, we provide theoretical and practical evidence for the usual means to corrupt the integrity of the model, resulting in a solution to counter it. We test our approach on popular computer vision datasets and models, and we illustrate the threat and our countermeasure on a popular white-box watermarking method.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Sharp Boundary Trace Theory and Schrödinger Operators on Bounded Lipschitz Domains
Authors:
Jussi Behrndt,
Fritz Gesztesy,
Marius Mitrea
Abstract:
We develop a sharp boundary trace theory in arbitrary bounded Lipschitz domains which, in contrast to classical results, allows "forbidden" endpoints and permits the consideration of functions exhibiting very limited regularity. This is done at the (necessary) expense of stipulating an additional regularity condition involving the action of the Laplacian on the functions in question which, nonethe…
▽ More
We develop a sharp boundary trace theory in arbitrary bounded Lipschitz domains which, in contrast to classical results, allows "forbidden" endpoints and permits the consideration of functions exhibiting very limited regularity. This is done at the (necessary) expense of stipulating an additional regularity condition involving the action of the Laplacian on the functions in question which, nonetheless, works perfectly with the Dirichlet and Neumann realizations of the Schrödinger differential expression $-Δ+V$. In turn, this boundary trace theory serves as a platform for develo** a spectral theory for Schrödinger operators on bounded Lipschitz domains, along with their associated Weyl-Titchmarsh operators. Overall, this pushes the present state of knowledge a significant step further. For example, we succeed in extending the Dirichlet and Neumann trace operators in such a way that all self-adjoint extensions of a Schrödinger operator on a bounded Lipschitz domain may be described with explicit boundary conditions, thus providing a final answer to a problem that has been investigated for more than 60 years in the mathematical literature. Along the way, a number of other open problems are solved. The most general geometric and analytic setting in which the theory developed here yields satisfactory results is that of Lipschitz subdomains of Riemannian manifolds and for the corresponding Laplace-Beltrami operator (in place of the standard flat-space Laplacian). In particular, such an extension yields results for variable coefficient Schrödinger operators on bounded Lipschitz domains.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Fatou-Type Theorems and Boundary Value Problems for Elliptic Systems in the Upper Half-Space
Authors:
José María Martell,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We survey recent progress in a program aimed at proving general Fatou-type results and establishing the well-posedness of a variety of boundary value problems in the upper half-space ${\mathbb{R}}^n_{+}$ for second-order, homogeneous, constant complex coefficient, elliptic systems $L$, formulated in a manner that emphasizes pointwise nontangential boundary traces of the null-solutions of $L$ in…
▽ More
We survey recent progress in a program aimed at proving general Fatou-type results and establishing the well-posedness of a variety of boundary value problems in the upper half-space ${\mathbb{R}}^n_{+}$ for second-order, homogeneous, constant complex coefficient, elliptic systems $L$, formulated in a manner that emphasizes pointwise nontangential boundary traces of the null-solutions of $L$ in ${\mathbb{R}}^n_{+}$.
△ Less
Submitted 21 February, 2019;
originally announced February 2019.
-
The generalized Hölder and Morrey-Campanato Dirichlet problems for elliptic systems in the upper-half space
Authors:
Juan José Marín,
José María Martell,
Marius Mitrea
Abstract:
We prove well-posedness results for the Dirichlet problem in $\mathbb{R}^{n}_{+}$ for homogeneous, second order, constant complex coefficient elliptic systems with boundary data in generalized Hölder spaces $\mathscr{C}^ω(\mathbb{R}^{n-1},\mathbb{C}^M)$ and in generalized Morrey-Campanato spaces $\mathscr{E}^{ω,p}(\mathbb{R}^{n-1},\mathbb{C}^M)$ under certain assumptions on the growth function…
▽ More
We prove well-posedness results for the Dirichlet problem in $\mathbb{R}^{n}_{+}$ for homogeneous, second order, constant complex coefficient elliptic systems with boundary data in generalized Hölder spaces $\mathscr{C}^ω(\mathbb{R}^{n-1},\mathbb{C}^M)$ and in generalized Morrey-Campanato spaces $\mathscr{E}^{ω,p}(\mathbb{R}^{n-1},\mathbb{C}^M)$ under certain assumptions on the growth function $ω$. We also identify a class of growth functions $ω$ for which $\mathscr{C}^ω(\mathbb{R}^{n-1},\mathbb{C}^M)=\mathscr{E}^{ω,p}(\mathbb{R}^{n-1},\mathbb{C}^M)$ and for which the aforementioned well-posedness results are equivalent, in the sense that they have the same unique solution, satisfying natural regularity properties and estimates.
△ Less
Submitted 10 July, 2019; v1 submitted 20 April, 2018;
originally announced April 2018.
-
The $L^p$ Dirichlet boundary problem for second order Elliptic Systems with rough coefficients
Authors:
Martin Dindoš,
Marius Mitrea,
Sukjung Hwang
Abstract:
Given a domain above a Lipschitz graph, we establish solvability results for strongly elliptic second-order systems in divergence-form, allowed to have lower-order (drift) terms, with $L^p$-boundary data for $p$ near $2$ (more precisely, in an interval of the form $\big(2-\varepsilon,\frac{2(n-1)}{n-2}+\varepsilon\big)$ for some small $\varepsilon>0$). The main novel aspect of our result is that t…
▽ More
Given a domain above a Lipschitz graph, we establish solvability results for strongly elliptic second-order systems in divergence-form, allowed to have lower-order (drift) terms, with $L^p$-boundary data for $p$ near $2$ (more precisely, in an interval of the form $\big(2-\varepsilon,\frac{2(n-1)}{n-2}+\varepsilon\big)$ for some small $\varepsilon>0$). The main novel aspect of our result is that the coefficients of the operator do not have to be constant, or have very high regularity, instead they will satisfy a natural Carleson condition that has appeared first in the scalar case. A significant example of a system to which our result may be applied is the Lamé system for isotropic inhomogeneous materials. We show that our result applies to isotropic materials with Poisson ratio $ν<0.396$. Dealing with genuine systems gives rise to substantial new challenges, absent in the scalar case. Among other things, there is no maximum principle for general elliptic systems, and the De Giorgi - Nash - Moser theory may also not apply. We are, nonetheless, successful in establishing estimates for the square-function and the nontangential maximal operator for the solutions of the elliptic system described earlier, and use these as alternative tools for proving $L^p$ solvability results for $p$ near $2$.
△ Less
Submitted 24 June, 2020; v1 submitted 3 August, 2017;
originally announced August 2017.
-
Coupling of symmetric operators and the third Green identity
Authors:
Jussi Behrndt,
Vladimir Derkach,
Fritz Gesztesy,
Marius Mitrea
Abstract:
The principal aim of this paper is to derive an abstract form of the third Green identity associated with a proper extension $T$ of a symmetric operator $S$ in a Hilbert space $\mathfrak H$, employing the technique of quasi boundary triples for $T$. The general results are illustrated with couplings of Schrödinger operators on Lipschitz domains on smooth, boundaryless Riemannian manifolds.
The principal aim of this paper is to derive an abstract form of the third Green identity associated with a proper extension $T$ of a symmetric operator $S$ in a Hilbert space $\mathfrak H$, employing the technique of quasi boundary triples for $T$. The general results are illustrated with couplings of Schrödinger operators on Lipschitz domains on smooth, boundaryless Riemannian manifolds.
△ Less
Submitted 25 July, 2016;
originally announced July 2016.
-
The BMO-Dirichlet problem for elliptic systems in the upper-half space and quantitative characterizations of VMO
Authors:
José María Martell,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We prove that for any homogeneous, second order, constant complex coefficient elliptic system $L$, the Dirichlet problem in $\mathbb{R}^{n}_{+}$ with boundary data in BMO is well-posed in the class of functions $u$ with $dμ_u(x',t):=|\nabla u(x',t)|^2\,t\,dx'dt$ being a Carleson measure. We establish a Fatou type theorem guaranteeing the existence of the pointwise nontangential boundary trace for…
▽ More
We prove that for any homogeneous, second order, constant complex coefficient elliptic system $L$, the Dirichlet problem in $\mathbb{R}^{n}_{+}$ with boundary data in BMO is well-posed in the class of functions $u$ with $dμ_u(x',t):=|\nabla u(x',t)|^2\,t\,dx'dt$ being a Carleson measure. We establish a Fatou type theorem guaranteeing the existence of the pointwise nontangential boundary trace for smooth null-solutions $u$ of such systems satisfying the said Carleson measure condition. These imply that BMO can be characterized as the collection of nontangential pointwise traces of smooth null-solutions $u$ to the elliptic system $L$ with the property that $μ_u$ is a Carleson measure.
We establish a regularity result for the BMO-Dirichlet problem in the upper-half space: the nontangential pointwise trace of any given smooth null-solutions of $L$ satisfying the above Carleson measure condition belongs to Sarason's space VMO if and only if $μ_u$ satsifies a vanishing Carleson measure condition. Moreover, we obtain the well-posedness of the Dirichlet problems when the boundary data are prescribed in Morrey-Campanato and solutions are required to satisfy a vanishing Carleson measure condition of fractional order.
As a consequence, we characterize the space VMO as the closure in BMO of classes of smooth functions contained in BMO within which uniform continuity may be suitably quantified (such as the class of smooth functions satisfying a Hölder or Lipschitz condition), improving Sarason's classical result describing VMO as the closure in BMO of the space of uniformly continuous functions with bounded mean oscillations.
Finally, we show that any Calderón-Zygmund operator $T$ satisfying $T(1)=0$ extends as a bounded linear operator in $\mathrm{VMO}$, and characterize the membership to $\mathrm{VMO}$ via the action of various classes of singular integral operators.
△ Less
Submitted 24 August, 2018; v1 submitted 26 May, 2016;
originally announced May 2016.
-
A bound for the eigenvalue counting function for Krein--von Neumann and Friedrichs extensions
Authors:
Mark S. Ashbaugh,
Fritz Gesztesy,
Ari Laptev,
Marius Mitrea,
Selim Sukhtaiev
Abstract:
For an arbitrary open, nonempty, bounded set $Ω\subset \mathbb{R}^n$, $n \in \mathbb{N}$, and sufficiently smooth coefficients $a,b,q$, we consider the closed, strictly positive, higher-order differential operator $A_{Ω, 2m} (a,b,q)$ in $L^2(Ω)$ defined on $W_0^{2m,2}(Ω)$, associated with the higher-order differential expression…
▽ More
For an arbitrary open, nonempty, bounded set $Ω\subset \mathbb{R}^n$, $n \in \mathbb{N}$, and sufficiently smooth coefficients $a,b,q$, we consider the closed, strictly positive, higher-order differential operator $A_{Ω, 2m} (a,b,q)$ in $L^2(Ω)$ defined on $W_0^{2m,2}(Ω)$, associated with the higher-order differential expression $$ τ_{2m} (a,b,q) := \bigg(\sum_{j,k=1}^{n} (-i \partial_j - b_j) a_{j,k} (-i \partial_k - b_k)+q\bigg)^m, \quad m \in \mathbb{N}, $$ and its Krein--von Neumann extension $A_{K, Ω, 2m} (a,b,q)$ in $L^2(Ω)$. Denoting by $N(λ; A_{K, Ω, 2m} (a,b,q))$, $λ> 0$, the eigenvalue counting function corresponding to the strictly positive eigenvalues of $A_{K, Ω, 2m} (a,b,q)$, we derive the bound $$ N(λ; A_{K, Ω, 2m} (a,b,q)) \leq C v_n (2π)^{-n} \bigg(1+\frac{2m}{2m+n}\bigg)^{n/(2m)} λ^{n/(2m)} , \quad λ> 0, $$ where $C = C(a,b,q,Ω)>0$ (with $C(I_n,0,0,Ω) = |Ω|$) is connected to the eigenfunction expansion of the self-adjoint operator $\widetilde A_{2m} (a,b,q)$ in $L^2(\mathbb{R}^n)$ defined on $W^{2m,2}(\mathbb{R}^n)$, corresponding to $τ_{2m} (a,b,q)$. Here $v_n := π^{n/2}/Γ((n+2)/2)$ denotes the (Euclidean) volume of the unit ball in $\mathbb{R}^n$.
Our method of proof relies on variational considerations exploiting the fundamental link between the Krein--von Neumann extension and an underlying abstract buckling problem, and on the distorted Fourier transform defined in terms of the eigenfunction transform of $\widetilde A_{2} (a,b,q)$ in $L^2(\mathbb{R}^n)$.
We also consider the analogous bound for the eigenvalue counting function for the Friedrichs extension $A_{F,Ω, 2m} (a,b,q)$ in $L^2(Ω)$ of $A_{Ω, 2m} (a,b,q)$.
No assumptions on the boundary $\partial Ω$ of $Ω$ are made.
△ Less
Submitted 4 May, 2016;
originally announced May 2016.
-
Decoupling of Deficiency Indices and Applications to Schrödinger-Type Operators with Possibly Strongly Singular Potentials
Authors:
Fritz Gesztesy,
Marius Mitrea,
Irina Nenciu,
Gerald Teschl
Abstract:
We investigate closed, symmetric $L^2(\mathbb{R}^n)$-realizations $H$ of Schrödinger-type operators $(- Δ+V)\upharpoonright_{C_0^{\infty}(\mathbb{R}^n \setminus Σ)}$ whose potential coefficient $V$ has a countable number of well-separated singularities on compact sets $Σ_j$, $j \in J$, of $n$-dimensional Lebesgue measure zero, with $J \subseteq \mathbb{N}$ an index set and…
▽ More
We investigate closed, symmetric $L^2(\mathbb{R}^n)$-realizations $H$ of Schrödinger-type operators $(- Δ+V)\upharpoonright_{C_0^{\infty}(\mathbb{R}^n \setminus Σ)}$ whose potential coefficient $V$ has a countable number of well-separated singularities on compact sets $Σ_j$, $j \in J$, of $n$-dimensional Lebesgue measure zero, with $J \subseteq \mathbb{N}$ an index set and $Σ= \bigcup_{j \in J} Σ_j$. We show that the defect, $\mathrm{def}(H)$, of $H$ can be computed in terms of the individual defects, $\mathrm{def}(H_j)$, of closed, symmetric $L^2(\mathbb{R}^n)$-realizations of $(- Δ+ V_j)\upharpoonright_{C_0^{\infty}(\mathbb{R}^n \setminus Σ_j)}$ with potential coefficient $V_j$ localized around the singularity $Σ_j$, $j \in J$, where $V = \sum_{j \in J} V_j$. In particular, we prove \[ \mathrm{def}(H) = \sum_{j \in J} \mathrm{def}(H_j), \] including the possibility that one, and hence both sides equal $\infty$. We first develop an abstract approach to the question of decoupling of deficiency indices and then apply it to the concrete case of Schrödinger-type operators in $L^2(\mathbb{R}^n)$.
Moreover, we also show how operator (and form) bounds for $V$ relative to $H_0= - Δ\upharpoonright_{H^2(\mathbb{R}^n)}$ can be estimated in terms of the operator (and form) bounds of $V_j$, $j \in J$, relative to $H_0$. Again, we first prove an abstract result and then show its applicability to Schrödinger-type operators in $L^2(\mathbb{R}^n)$.
Extensions to second-order (locally uniformly) elliptic differential operators on $\mathbb{R}^n$ with a possibly strongly singular potential coefficient are treated as well.
△ Less
Submitted 20 August, 2016; v1 submitted 5 September, 2015;
originally announced September 2015.
-
The Krein-von Neumann Realization of Perturbed Laplacians on Bounded Lipschitz Domains
Authors:
Jussi Behrndt,
Fritz Gesztesy,
Till Micheler,
Marius Mitrea
Abstract:
In this paper we study the self-adjoint Krein-von Neumann realization $A_K$ of the perturbed Laplacian $-Δ+V$ in a bounded Lipschitz domain $Ω\subset\mathbb{R}^n$. We provide an explicit and self-contained description of the domain of $A_K$ in terms of Dirichlet and Neumann boundary traces, and we establish a Weyl asymptotic formula for the eigenvalues of $A_K$.
In this paper we study the self-adjoint Krein-von Neumann realization $A_K$ of the perturbed Laplacian $-Δ+V$ in a bounded Lipschitz domain $Ω\subset\mathbb{R}^n$. We provide an explicit and self-contained description of the domain of $A_K$ in terms of Dirichlet and Neumann boundary traces, and we establish a Weyl asymptotic formula for the eigenvalues of $A_K$.
△ Less
Submitted 13 January, 2015;
originally announced January 2015.
-
Characterizing regularity of domains via Riesz transforms on their boundaries
Authors:
D. Mitrea,
M. Mitrea,
J. Verdera
Abstract:
Given a domain D in R^d with mild geometric measure theoretic assumptions on its boundary, we show that boundedness of the principal value Riesz tranforms (witn kernel of homogeneity -(d-1)) on Hölder spaces of order alpha on the boundary of D is equivalent to D being a Lyapunov domain of order alpha (i.e., the boundary of D is an hypersurface of class 1+alpha). Another equivalent condition involv…
▽ More
Given a domain D in R^d with mild geometric measure theoretic assumptions on its boundary, we show that boundedness of the principal value Riesz tranforms (witn kernel of homogeneity -(d-1)) on Hölder spaces of order alpha on the boundary of D is equivalent to D being a Lyapunov domain of order alpha (i.e., the boundary of D is an hypersurface of class 1+alpha). Another equivalent condition involving Riesz transforms on D is discussed. We also prove that on Lyapunov domains of order alpha the higher order Riesz transforms associated with an odd polynomial are bounded on the Hölder space of order alpha on the boundary of D. Finally, a limiting case of the above results dealing with VMO and Semmes-Kenig-Toro domains is considered.
△ Less
Submitted 24 January, 2016; v1 submitted 9 October, 2014;
originally announced October 2014.
-
On the $L^p$-Poisson semigroup associated with elliptic systems
Authors:
José María Martell,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We study the infinitesimal generator of the Poisson semigroup in $L^p$ associated with homogeneous, second-order, strongly elliptic systems with constant complex coefficients in the upper-half space, which is proved to be the Dirichlet-to-Normal map** in this setting. Also, its domain is identified as the linear subspace of the $L^p$-based Sobolev space of order one on the boundary of the upper-…
▽ More
We study the infinitesimal generator of the Poisson semigroup in $L^p$ associated with homogeneous, second-order, strongly elliptic systems with constant complex coefficients in the upper-half space, which is proved to be the Dirichlet-to-Normal map** in this setting. Also, its domain is identified as the linear subspace of the $L^p$-based Sobolev space of order one on the boundary of the upper-half space consisting of functions for which the Regularity problem is solvable. Moreover, for a class of systems containing the Lamé system, as well as all second-order, scalar elliptic operators, with constant complex coefficients, the action of the infinitesimal generator is explicitly described in terms of singular integral operators whose kernels involve first-order derivatives of the canonical fundamental solution of the given system. Furthermore, arbitrary powers of the infinitesimal generator of the said Poisson semigroup are also described in terms of higher order Sobolev spaces and a higher order Regularity problem for the system in question. Finally, we indicate how our techniques may adapted to treat the case of higher order systems in graph Lipschitz domains.
△ Less
Submitted 9 September, 2014;
originally announced September 2014.
-
The Dirichlet problem for elliptic systems with data in Köthe function spaces
Authors:
José María Martell,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We show that the boundedness of the Hardy-Littlewood maximal operator on a Köthe function space ${\mathbb{X}}$ and on its Köthe dual ${\mathbb{X}}'$ is equivalent to the well-posedness of the $\mathbb{X}$-Dirichlet and $\mathbb{X}'$-Dirichlet problems in $\mathbb{R}^{n}_{+}$ in the class of all second-order, homogeneous, elliptic systems, with constant complex coefficients. As a consequence, we ob…
▽ More
We show that the boundedness of the Hardy-Littlewood maximal operator on a Köthe function space ${\mathbb{X}}$ and on its Köthe dual ${\mathbb{X}}'$ is equivalent to the well-posedness of the $\mathbb{X}$-Dirichlet and $\mathbb{X}'$-Dirichlet problems in $\mathbb{R}^{n}_{+}$ in the class of all second-order, homogeneous, elliptic systems, with constant complex coefficients. As a consequence, we obtain that the Dirichlet problem for such systems is well-posed for boundary data in Lebesgue spaces, variable exponent Lebesgue spaces, Lorentz spaces, Zygmund spaces, as well as their weighted versions. We also discuss a version of the aforementioned result which contains, as a particular case, the Dirichlet problem for elliptic systems with data in the classical Hardy space $H^1$, and the Beurling-Hardy space ${\rm HA}^p$ for $p\in(1,\infty)$. Based on the well-posedness of the $L^p$-Dirichlet problem we then prove the uniqueness of the Poisson kernel associated with such systems, as well as the fact that they generate a strongly continuous semigroup in natural settings. Finally, we establish a general Fatou type theorem guaranteeing the existence of the pointwise nontangential boundary trace for null-solutions of such systems.
△ Less
Submitted 6 October, 2016; v1 submitted 13 May, 2014;
originally announced May 2014.
-
The higher order regularity Dirichlet problem for elliptic systems in the upper-half space
Authors:
José María Martell,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We identify a large class of constant (complex) coefficient, second order elliptic systems for which the Dirichlet problem in the upper-half space with data in $L^p$-based Sobolev spaces, $1<p<\infty$, of arbitrary smoothness $\ell$, is well-posed in the class of functions whose nontangential maximal operator of their derivatives up to, and including, order $\ell$ is $L^p$-integrable. This class i…
▽ More
We identify a large class of constant (complex) coefficient, second order elliptic systems for which the Dirichlet problem in the upper-half space with data in $L^p$-based Sobolev spaces, $1<p<\infty$, of arbitrary smoothness $\ell$, is well-posed in the class of functions whose nontangential maximal operator of their derivatives up to, and including, order $\ell$ is $L^p$-integrable. This class includes all scalar, complex coefficient elliptic operators of second order, as well as the Lamé system of elasticity, among others.
△ Less
Submitted 12 May, 2014;
originally announced May 2014.
-
A Bound for the Eigenvalue Counting Function for Higher-Order Krein Laplacians on Open Sets
Authors:
Fritz Gesztesy,
Ari Laptev,
Marius Mitrea,
Selim Sukhtaiev
Abstract:
For an arbitrary nonempty, open set $Ω\subset \mathbb{R}^n$, $n \in \mathbb{N}$, of finite (Euclidean) volume, we consider the minimally defined higher-order Laplacian $(- Δ)^m\big|_{C_0^{\infty}(Ω)}$, $m \in \mathbb{N}$, and its Krein--von Neumann extension $A_{K,Ω,m}$ in $L^2(Ω)$. With $N(λ,A_{K,Ω,m})$, $λ> 0$, denoting the eigenvalue counting function corresponding to the strictly positive eige…
▽ More
For an arbitrary nonempty, open set $Ω\subset \mathbb{R}^n$, $n \in \mathbb{N}$, of finite (Euclidean) volume, we consider the minimally defined higher-order Laplacian $(- Δ)^m\big|_{C_0^{\infty}(Ω)}$, $m \in \mathbb{N}$, and its Krein--von Neumann extension $A_{K,Ω,m}$ in $L^2(Ω)$. With $N(λ,A_{K,Ω,m})$, $λ> 0$, denoting the eigenvalue counting function corresponding to the strictly positive eigenvalues of $A_{K,Ω,m}$, we derive the bound $$ N(λ,A_{K,Ω,m}) \leq (2 π)^{-n} v_n |Ω| \{1 + [2m/(2m+n)]\}^{n/(2m)} λ^{n/(2m)}, \quad λ> 0, $$ where $v_n := π^{n/2}/Γ((n+2)/2)$ denotes the (Euclidean) volume of the unit ball in $\mathbb{R}^n$.
The proof relies on variational considerations and exploits the fundamental link between the Krein--von Neumann extension and an underlying (abstract) buckling problem.
△ Less
Submitted 9 June, 2014; v1 submitted 14 March, 2014;
originally announced March 2014.
-
Square Function Estimates in Spaces of Homogeneous Type and on Uniformly Rectifiable Euclidean Sets
Authors:
Steve Hofmann,
Dorina Mitrea,
Marius Mitrea,
Andrew J. Morris
Abstract:
We announce a local $T(b)$ theorem, an inductive scheme, and $L^p$ extrapolation results for $L^2$ square function estimates related to the analysis of integral operators that act on Ahlfors-David regular sets of arbitrary codimension in ambient quasi-metric spaces. The inductive scheme is a natural application of the local $T(b)$ theorem and it implies the stability of $L^2$ square function estim…
▽ More
We announce a local $T(b)$ theorem, an inductive scheme, and $L^p$ extrapolation results for $L^2$ square function estimates related to the analysis of integral operators that act on Ahlfors-David regular sets of arbitrary codimension in ambient quasi-metric spaces. The inductive scheme is a natural application of the local $T(b)$ theorem and it implies the stability of $L^2$ square function estimates under the so-called big pieces functor. In particular, this analysis implies $L^p$ and Hardy space square function estimates for integral operators on uniformly rectifiable subsets of the Euclidean space.
△ Less
Submitted 30 January, 2014;
originally announced January 2014.
-
The method of layer potentials in $L^p$ and endpoint spaces for elliptic operators with $L^\infty$ coefficients
Authors:
Steve Hofmann,
Marius Mitrea,
Andrew J. Morris
Abstract:
We consider layer potentials associated to elliptic operators $Lu=-{\rm div}(A \nabla u)$ acting in the upper half-space $\mathbb{R}^{n+1}_+$ for $n\geq 2$, or more generally, in a Lipschitz graph domain, where the coefficient matrix $A$ is $L^\infty$ and $t$-independent, and solutions of $Lu=0$ satisfy interior estimates of De Giorgi/Nash/Moser type. A "Calderón-Zygmund" theory is developed for t…
▽ More
We consider layer potentials associated to elliptic operators $Lu=-{\rm div}(A \nabla u)$ acting in the upper half-space $\mathbb{R}^{n+1}_+$ for $n\geq 2$, or more generally, in a Lipschitz graph domain, where the coefficient matrix $A$ is $L^\infty$ and $t$-independent, and solutions of $Lu=0$ satisfy interior estimates of De Giorgi/Nash/Moser type. A "Calderón-Zygmund" theory is developed for the boundedness of layer potentials, whereby sharp $L^p$ and endpoint space bounds are deduced from $L^2$ bounds. Appropriate versions of the classical "jump-relation" formulae are also derived. The method of layer potentials is then used to establish well-posedness of boundary value problems for $L$ with data in $L^p$ and endpoint spaces.
△ Less
Submitted 19 November, 2013;
originally announced November 2013.
-
Heat kernel bounds for elliptic partial differential operators in divergence form with Robin-type boundary conditions II
Authors:
Fritz Gesztesy,
Marius Mitrea,
Roger Nichols,
El Maati Ouhabaz
Abstract:
The principal aim of this short note is to extend a recent result on Gaussian heat kernel bounds for self-adjoint $L^2(\Om; d^n x)$-realizations, $n\in\bbN$, $n\geq 2$, of divergence form elliptic partial differential expressions $L$ with (nonlocal) Robin-type boundary conditions in bounded Lipschitz domains $\Om \subset \bbR^n$, where $$ Lu = - \sum_{j,k=1}^n\partial_j a_{j,k}\partial_k u. $$ The…
▽ More
The principal aim of this short note is to extend a recent result on Gaussian heat kernel bounds for self-adjoint $L^2(\Om; d^n x)$-realizations, $n\in\bbN$, $n\geq 2$, of divergence form elliptic partial differential expressions $L$ with (nonlocal) Robin-type boundary conditions in bounded Lipschitz domains $\Om \subset \bbR^n$, where $$ Lu = - \sum_{j,k=1}^n\partial_j a_{j,k}\partial_k u. $$ The (nonlocal) Robin-type boundary conditions are then of the form $$ ν\cdot A\nabla u + Θ\big[u\big|_{\partial\Om}\big]=0 \, \text{on} \, \partialΩ, $$ where $Θ$ represents an appropriate operator acting on Sobolev spaces associated with the boundary $\partial \Om$ of $\Om$, and $ν$ denotes the outward pointing normal unit vector on $\partial\Om$.
△ Less
Submitted 18 May, 2013;
originally announced May 2013.
-
$L^p$-Square Function Estimates on Spaces of Homogeneous Type and on Uniformly Rectifiable Sets
Authors:
Steve Hofmann,
Dorina Mitrea,
Marius Mitrea,
Andrew J. Morris
Abstract:
We establish square function estimates for integral operators on uniformly rectifiable sets by proving a local $T(b)$ theorem and applying it to show that such estimates are stable under the so-called big pieces functor. More generally, we consider integral operators associated with Ahlfors-David regular sets of arbitrary codimension in ambient quasi-metric spaces. The local $T(b)$ theorem is then…
▽ More
We establish square function estimates for integral operators on uniformly rectifiable sets by proving a local $T(b)$ theorem and applying it to show that such estimates are stable under the so-called big pieces functor. More generally, we consider integral operators associated with Ahlfors-David regular sets of arbitrary codimension in ambient quasi-metric spaces. The local $T(b)$ theorem is then used to establish an inductive scheme in which square function estimates on so-called big pieces of an Ahlfors-David regular set are proved to be sufficient for square function estimates to hold on the entire set. Extrapolation results for $L^p$ and Hardy space versions of these estimates are also established. Moreover, we prove square function estimates for integral operators associated with variable coefficient kernels, including the Schwartz kernels of pseudodifferential operators acting between vector bundles on subdomains with uniformly rectifiable boundaries on manifolds.
△ Less
Submitted 21 January, 2013;
originally announced January 2013.
-
Heat Kernel Bounds for Elliptic Partial Differential Operators in Divergence Form with Robin-Type Boundary Conditions
Authors:
Fritz Gesztesy,
Marius Mitrea,
Roger Nichols
Abstract:
One of the principal topics of this paper concerns the realization of self-adjoint operators $L_{Θ, \Om}$ in $L^2(\Om; d^n x)^m$, $m, n \in \bbN$, associated with divergence form elliptic partial differential expressions $L$ with (nonlocal) Robin-type boundary conditions in bounded Lipschitz domains $\Om \subset \bbR^n$. In particular, we develop the theory in the vector-valued case and hence focu…
▽ More
One of the principal topics of this paper concerns the realization of self-adjoint operators $L_{Θ, \Om}$ in $L^2(\Om; d^n x)^m$, $m, n \in \bbN$, associated with divergence form elliptic partial differential expressions $L$ with (nonlocal) Robin-type boundary conditions in bounded Lipschitz domains $\Om \subset \bbR^n$. In particular, we develop the theory in the vector-valued case and hence focus on matrix-valued differential expressions $L$ which act as $$ Lu = - \biggl(\sum_{j,k=1}^n\partial_j\bigg(\sum_{β= 1}^m a^{α,β}_{j,k}\partial_k u_β\bigg) \bigg)_{1\leqα\leq m}, \quad u=(u_1,...,u_m). $$ The (nonlocal) Robin-type boundary conditions are then of the form $$ ν\cdot A D u + Θ\big[u\big|_{\partial \Om}\big] = 0 \, \text{on $\partial \Om$}, $$ where $Θ$ represents an appropriate operator acting on Sobolev spaces associated with the boundary $\partial \Om$ of $\Om$, $ν$ denotes the outward pointing normal unit vector on $\partial\Om$, and $Du:=\bigl(\partial_j u_α\bigr)_{\substack{1\leqα\leq m 1\leq j\leq n}}$.
Assuming $Θ\geq 0$ in the scalar case $m=1$, we prove Gaussian heat kernel bounds for $L_{Θ, \Om}$ by employing positivity preserving arguments for the associated semigroups and reducing the problem to the corresponding Gaussian heat kernel bounds for the case of Neumann boundary conditions on $\partial \Om$. We also discuss additional zero-order potential coefficients $V$ and hence operators corresponding to the form sum $L_{Θ, \Om} + V$.
△ Less
Submitted 27 April, 2013; v1 submitted 2 October, 2012;
originally announced October 2012.
-
Extending Sobolev Functions with Partially Vanishing Traces from Locally (epsilon,delta)-Domains and Applications to Mixed Boundary Problems
Authors:
Kevin Brewster,
Dorina Mitrea,
Irina Mitrea,
Marius Mitrea
Abstract:
We prove that given any positive integer $k$, for each open set $Ω$ and any closed subset $D$ of its closure such that $Ω$ is locally an (epsilon,delta)-domain near points in the boundary of $Ω$ not contained in $D$ there exists a linear and bounded extension operator $E$ map**, for each $p\in[1,\infty]$, the space $W^{k,p}_D(Ω)$ into $W^{k,p}_D({\mathbb{R}}^n)$. Here, with $O$ denoting either…
▽ More
We prove that given any positive integer $k$, for each open set $Ω$ and any closed subset $D$ of its closure such that $Ω$ is locally an (epsilon,delta)-domain near points in the boundary of $Ω$ not contained in $D$ there exists a linear and bounded extension operator $E$ map**, for each $p\in[1,\infty]$, the space $W^{k,p}_D(Ω)$ into $W^{k,p}_D({\mathbb{R}}^n)$. Here, with $O$ denoting either $Ω$ or the entire ambient, the space $W^{k,p}_D(O)$ is defined as the completion in the classical Sobolev space $W^{k,p}(O)$ of compactly supported smooth functions whose supports are disjoint from $D$. In turn, this result is used to develop a functional analytic theory for the class $W^{k,p}_D(Ω)$ (including intrinsic characterizations, boundary traces and extensions results, interpolation theorems, among other things) which is then employed in the treatment of mixed boundary value problems formulated in locally (epsilon,delta)-domains.
△ Less
Submitted 20 August, 2012;
originally announced August 2012.
-
The Integrability of Negative Powers of the Solution of the Saint Venant Problem
Authors:
Anthony Carbery,
Vladimir Maz'ya,
Marius Mitrea,
David J. Rule
Abstract:
We initiate the study of the finiteness condition $\int_Ωu(x)^{-β}\,dx\leq C(Ω,β)<+\infty$ where $Ω\subseteq{\mathbb{R}}^n$ is an open set and $u$ is the solution of the Saint Venant problem $Δu=-1$ in $Ω$, $u=0$ on $\partialΩ$. The central issue which we address is that of determining the range of values of the parameter $β>0$ for which the aforementioned condition holds under various hypotheses…
▽ More
We initiate the study of the finiteness condition $\int_Ωu(x)^{-β}\,dx\leq C(Ω,β)<+\infty$ where $Ω\subseteq{\mathbb{R}}^n$ is an open set and $u$ is the solution of the Saint Venant problem $Δu=-1$ in $Ω$, $u=0$ on $\partialΩ$. The central issue which we address is that of determining the range of values of the parameter $β>0$ for which the aforementioned condition holds under various hypotheses on the smoothness of $Ω$ and demands on the nature of the constant $C(Ω,β)$. Classes of domains for which our analysis applies include bounded piecewise $C^1$ domains in ${\mathbb{R}}^n$, $n\geq 2$, with conical singularities (in particular polygonal domains in the plane), polyhedra in ${\mathbb{R}}^3$, and bounded domains which are locally of class $C^2$ and which have (finitely many) outwardly pointing cusps. For example, we show that if $u_N$ is the solution of the Saint Venant problem in the regular polygon $Ω_N$ with $N$ sides circumscribed by the unit disc in the plane, then for each $β\in(0,1)$ the following asymptotic formula holds: % {eqnarray*} \int_{Ω_N}u_N(x)^{-β}\,dx=\frac{4^βπ}{1-β} +{\mathcal{O}}(N^{β-1})\quad{as}\,\,N\to\infty. {eqnarray*} % One of the original motivations for addressing the aforementioned issues was the study of sublevel set estimates for functions $v$ satisfying $v(0)=0$, $\nabla v(0)=0$ and $Δv\geq c>0$.
△ Less
Submitted 4 September, 2013; v1 submitted 20 April, 2012;
originally announced April 2012.
-
A Survey on the Krein-von Neumann Extension, the corresponding Abstract Buckling Problem, and Weyl-Type Spectral Asymptotics for Perturbed Krein Laplacians in Nonsmooth Domains
Authors:
Mark S. Ashbaugh,
Fritz Gesztesy,
Marius Mitrea,
Roman Shterenberg,
Gerald Teschl
Abstract:
In the first (and abstract) part of this survey we prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $S\geq \varepsilon I_{\mathcal{H}}$ for some $\varepsilon >0$ in a Hilbert space $\mathcal{H}$ to an abstract buckling problem operator.
This establishes the Krein…
▽ More
In the first (and abstract) part of this survey we prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $S\geq \varepsilon I_{\mathcal{H}}$ for some $\varepsilon >0$ in a Hilbert space $\mathcal{H}$ to an abstract buckling problem operator.
This establishes the Krein extension as a natural object in elasticity theory (in analogy to the Friedrichs extension, which found natural applications in quantum mechanics, elasticity, etc.).
In the second, and principal part of this survey, we study spectral properties for $H_{K,Ω}$, the Krein--von Neumann extension of the perturbed Laplacian $-Δ+V$ (in short, the perturbed Krein Laplacian) defined on $C^\infty_0(Ω)$, where $V$ is measurable, bounded and nonnegative, in a bounded open set $Ω\subset\mathbb{R}^n$ belonging to a class of nonsmooth domains which contains all convex domains, along with all domains of class $C^{1,r}$, $r>1/2$.
△ Less
Submitted 20 January, 2014; v1 submitted 26 March, 2012;
originally announced March 2012.
-
Boundary Data Maps for Schrodinger Operators on a Compact Interval
Authors:
Stephen Clark,
Fritz Gesztesy,
Marius Mitrea
Abstract:
We provide a systematic study of boundary data maps, that is, 2 \times 2 matrix-valued Dirichlet-to-Neumann and more generally, Robin-to-Robin maps, associated with one-dimensional Schrodinger operators on a compact interval [0,R] with separated boundary conditions at 0 and R. Most of our results are formulated in the non-self-adjoint context.
Our principal results include explicit representat…
▽ More
We provide a systematic study of boundary data maps, that is, 2 \times 2 matrix-valued Dirichlet-to-Neumann and more generally, Robin-to-Robin maps, associated with one-dimensional Schrodinger operators on a compact interval [0,R] with separated boundary conditions at 0 and R. Most of our results are formulated in the non-self-adjoint context.
Our principal results include explicit representations of these boundary data maps in terms of the resolvent of the underlying Schrodinger operator and the associated boundary trace maps, Krein-type resolvent formulas relating Schrodinger operators corresponding to different (separated) boundary conditions, and a derivation of the Herglotz property of boundary data maps (up to right multiplication by an appropriate diagonal matrix) in the special self-adjoint case.
△ Less
Submitted 2 February, 2010;
originally announced February 2010.
-
On Dirichlet-to-Neumann Maps, Nonlocal Interactions, and Some Applications to Fredholm Determinants
Authors:
Fritz Gesztesy,
Marius Mitrea,
Maxim Zinchenko
Abstract:
We consider Dirichlet-to-Neumann maps associated with (not necessarily self-adjoint) Schrodinger operators describing nonlocal interactions in $L^2(Ω; d^n x)$, $n\geq 2$, where $Ω$ is an open set with a compact, nonempty boundary satisfying certain regularity conditions. As an application we describe a reduction of a certain ratio of Fredholm perturbation determinants associated with operators i…
▽ More
We consider Dirichlet-to-Neumann maps associated with (not necessarily self-adjoint) Schrodinger operators describing nonlocal interactions in $L^2(Ω; d^n x)$, $n\geq 2$, where $Ω$ is an open set with a compact, nonempty boundary satisfying certain regularity conditions. As an application we describe a reduction of a certain ratio of Fredholm perturbation determinants associated with operators in $L^2(Ω; d^n x)$ to Fredholm perturbation determinants associated with operators in $L^2(\partialΩ; d^{n-1}σ)$. This leads to an extension of a variant of a celebrated formula due to Jost and Pais, which reduces the Fredholm perturbation determinant associated with a Schrödinger operator on the half-line $(0,\infty)$, in the case of local interactions, to a Wronski determinant of appropriate distributional solutions of the underlying Schrodinger equation.
△ Less
Submitted 3 February, 2010; v1 submitted 1 February, 2010;
originally announced February 2010.
-
On Dirichlet-to-Neumann Maps and Some Applications to Modified Fredholm Determinants
Authors:
Fritz Gesztesy,
Marius Mitrea,
Maxim Zinchenko
Abstract:
We consider Dirichlet-to-Neumann maps associated with (not necessarily self-adjoint) Schrodinger operators in $L^2(Ω; d^n x)$, $n=2,3$, where $Ω$ is an open set with a compact, nonempty boundary satisfying certain regularity conditions. As an application we describe a reduction of a certain ratio of modified Fredholm perturbation determinants associated with operators in $L^2(Ω; d^n x)$ to modif…
▽ More
We consider Dirichlet-to-Neumann maps associated with (not necessarily self-adjoint) Schrodinger operators in $L^2(Ω; d^n x)$, $n=2,3$, where $Ω$ is an open set with a compact, nonempty boundary satisfying certain regularity conditions. As an application we describe a reduction of a certain ratio of modified Fredholm perturbation determinants associated with operators in $L^2(Ω; d^n x)$ to modified Fredholm perturbation determinants associated with operators in $L^2(\partialΩ; d^{n-1}σ)$, $n=2,3$. This leads to a two- and three-dimensional extension of a variant of a celebrated formula due to Jost and Pais, which reduces the Fredholm perturbation determinant associated with a Schrodinger operator on the half-line $(0,\infty)$ to a simple Wronski determinant of appropriate distributional solutions of the underlying Schrodinger equation.
△ Less
Submitted 3 February, 2010; v1 submitted 1 February, 2010;
originally announced February 2010.
-
A Description of All Self-Adjoint Extensions of the Laplacian and Krein-Type Resolvent Formulas on Nonsmooth Domains
Authors:
Fritz Gesztesy,
Marius Mitrea
Abstract:
This paper has two main goals. First, we are concerned with the classification of self-adjoint extensions of the Laplacian $-Δ\big|_{C^\infty_0(Ω)}$ in $L^2(Ω; d^n x)$. Here, the domain $Ω$ belongs to a subclass of bounded Lipschitz domains (which we term quasi-convex domains), which contain all convex domains, as well as all domains of class $C^{1,r}$, for $r\in(1/2,1)$. Second, we establish Krei…
▽ More
This paper has two main goals. First, we are concerned with the classification of self-adjoint extensions of the Laplacian $-Δ\big|_{C^\infty_0(Ω)}$ in $L^2(Ω; d^n x)$. Here, the domain $Ω$ belongs to a subclass of bounded Lipschitz domains (which we term quasi-convex domains), which contain all convex domains, as well as all domains of class $C^{1,r}$, for $r\in(1/2,1)$. Second, we establish Krein-type formulas for the resolvents of the various self-adjoint extensions of the Laplacian in quasi-convex domains and study the properties of the corresponding Weyl--Titchmarsh operators (or energy-dependent Dirichlet-to-Neumann maps).
One significant technical innovation in this paper is an extension of the classical boundary trace theory for functions in spaces which lack Sobolev regularity in a traditional sense, but are suitably adapted to the Laplacian.
△ Less
Submitted 26 August, 2014; v1 submitted 10 July, 2009;
originally announced July 2009.
-
Spectral Theory for Perturbed Krein Laplacians in Nonsmooth Domains
Authors:
Mark S. Ashbaugh,
Fritz Gesztesy,
Marius Mitrea,
Gerald Teschl
Abstract:
We study spectral properties for $H_{K,Ω}$, the Krein--von Neumann extension of the perturbed Laplacian $-Δ+V$ defined on $C^\infty_0(Ω)$, where $V$ is measurable, bounded and nonnegative, in a bounded open set $Ω\subset\mathbb{R}^n$ belonging to a class of nonsmooth domains which contains all convex domains, along with all domains of class $C^{1,r}$, $r>1/2$. In particular, in the aforementione…
▽ More
We study spectral properties for $H_{K,Ω}$, the Krein--von Neumann extension of the perturbed Laplacian $-Δ+V$ defined on $C^\infty_0(Ω)$, where $V$ is measurable, bounded and nonnegative, in a bounded open set $Ω\subset\mathbb{R}^n$ belonging to a class of nonsmooth domains which contains all convex domains, along with all domains of class $C^{1,r}$, $r>1/2$. In particular, in the aforementioned context we establish the Weyl asymptotic formula \[ #\{j\in\mathbb{N} | λ_{K,Ω,j}\leqλ\} = (2π)^{-n} v_n |Ω| λ^{n/2}+O\big(λ^{(n-(1/2))/2}\big) {as} λ\to\infty, \] where $v_n=π^{n/2}/ Γ((n/2)+1)$ denotes the volume of the unit ball in $\mathbb{R}^n$, and $λ_{K,Ω,j}$, $j\in\mathbb{N}$, are the non-zero eigenvalues of $H_{K,Ω}$, listed in increasing order according to their multiplicities. We prove this formula by showing that the perturbed Krein Laplacian (i.e., the Krein--von Neumann extension of $-Δ+V$ defined on $C^\infty_0(Ω)$) is spectrally equivalent to the buckling of a clamped plate problem, and using an abstract result of Kozlov from the mid 1980's. Our work builds on that of Grubb in the early 1980's, who has considered similar issues for elliptic operators in smooth domains, and shows that the question posed by Alonso and Simon in 1980 pertaining to the validity of the above Weyl asymptotic formula continues to have an affirmative answer in this nonsmooth setting.
△ Less
Submitted 25 January, 2010; v1 submitted 9 July, 2009;
originally announced July 2009.
-
The Krein-von Neumann Extension and its Connection to an Abstract Buckling Problem
Authors:
Mark S. Ashbaugh,
Fritz Gesztesy,
Marius Mitrea,
Roman Shterenberg,
Gerald Teschl
Abstract:
We prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $S\geq εI_{\mathcal{H}}$ for some $ε>0$ in a Hilbert space $\mathcal{H}$ to an abstract buckling problem operator.
In the concrete case where $S=\bar{-Δ|_{C_0^\infty(Ω)}}$ in $L^2(Ω; d^n x)$ for…
▽ More
We prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $S\geq εI_{\mathcal{H}}$ for some $ε>0$ in a Hilbert space $\mathcal{H}$ to an abstract buckling problem operator.
In the concrete case where $S=\bar{-Δ|_{C_0^\infty(Ω)}}$ in $L^2(Ω; d^n x)$ for $Ω\subset\mathbb{R}^n$ an open, bounded (and sufficiently regular) domain, this recovers, as a particular case of a general result due to G. Grubb, that the eigenvalue problem for the Krein Laplacian $S_K$ (i.e., the Krein--von Neumann extension of $S$), \[ S_K v = λv, \quad λ\neq 0, \] is in one-to-one correspondence with the problem of {\em the buckling of a clamped plate}, \[ (-Δ)^2u=λ(-Δ) u \text{in} Ω, \quad λ\neq 0, \quad u\in H_0^2(Ω), \] where $u$ and $v$ are related via the pair of formulas \[ u = S_F^{-1} (-Δ) v, \quad v = λ^{-1}(-Δ) u, \] with $S_F$ the Friedrichs extension of $S$.
This establishes the Krein extension as a natural object in elasticity theory (in analogy to the Friedrichs extension, which found natural applications in quantum mechanics, elasticity, etc.).
△ Less
Submitted 25 January, 2010; v1 submitted 9 July, 2009;
originally announced July 2009.
-
Nonlocal Robin Laplacians and some remarks on a paper by Filonov on eigenvalue inequalities
Authors:
Fritz Gesztesy,
Marius Mitrea
Abstract:
The aim of this paper is twofold: First, we characterize an essentially optimal class of boundary operators $Θ$ which give rise to self-adjoint Laplacians $-Δ_{Θ, Ω}$ in $L^2(Ω; d^n x)$ with (nonlocal and local) Robin-type boundary conditions on bounded Lipschitz domains $Ω\subset\bbR^n$, $n\in\bbN$, $n\geq 2$. Second, we extend Friedlander's inequalities between Neumann and Dirichlet Laplacian…
▽ More
The aim of this paper is twofold: First, we characterize an essentially optimal class of boundary operators $Θ$ which give rise to self-adjoint Laplacians $-Δ_{Θ, Ω}$ in $L^2(Ω; d^n x)$ with (nonlocal and local) Robin-type boundary conditions on bounded Lipschitz domains $Ω\subset\bbR^n$, $n\in\bbN$, $n\geq 2$. Second, we extend Friedlander's inequalities between Neumann and Dirichlet Laplacian eigenvalues to those between nonlocal Robin and Dirichlet Laplacian eigenvalues associated with bounded Lipschitz domains $Ω$, following an approach introduced by Filonov for this type of problems.
△ Less
Submitted 3 February, 2010; v1 submitted 10 December, 2008;
originally announced December 2008.
-
Generalized Polar Decompositions for Closed Operators in Hilbert Spaces and Some Applications
Authors:
Fritz Gesztesy,
Mark Malamud,
Marius Mitrea,
Serguei Naboko
Abstract:
We study generalized polar decompositions of densely defined, closed linear operators in Hilbert spaces and provide some applications to relatively (form) bounded and relatively (form) compact perturbations of self-adjoint, normal, and m-sectorial operators.
We study generalized polar decompositions of densely defined, closed linear operators in Hilbert spaces and provide some applications to relatively (form) bounded and relatively (form) compact perturbations of self-adjoint, normal, and m-sectorial operators.
△ Less
Submitted 10 November, 2008; v1 submitted 12 August, 2008;
originally announced August 2008.
-
Generalized Robin Boundary Conditions, Robin-to-Dirichlet Maps, and Krein-Type Resolvent Formulas for Schrödinger Operators on Bounded Lipschitz Domains
Authors:
Fritz Gesztesy,
Marius Mitrea
Abstract:
We study generalized Robin boundary conditions, Robin-to-Dirichlet maps, and Krein-type resolvent formulas for Schrödinger operators on bounded Lipschitz domains in $\bbR^n$, $n\ge 2$. We also discuss the case of bounded $C^{1,r}$-domains, $(1/2)<r<1$.
We study generalized Robin boundary conditions, Robin-to-Dirichlet maps, and Krein-type resolvent formulas for Schrödinger operators on bounded Lipschitz domains in $\bbR^n$, $n\ge 2$. We also discuss the case of bounded $C^{1,r}$-domains, $(1/2)<r<1$.
△ Less
Submitted 15 May, 2008; v1 submitted 21 March, 2008;
originally announced March 2008.
-
Robin-to-Robin Maps and Krein-Type Resolvent Formulas for Schrödinger Operators on Bounded Lipschitz Domains
Authors:
Fritz Gesztesy,
Marius Mitrea
Abstract:
We study Robin-to-Robin maps, and Krein-type resolvent formulas for Schrödinger operators on bounded Lipschitz domains in $\bbR^n$, $n\ge 2$, with generalized Robin boundary conditions.
We study Robin-to-Robin maps, and Krein-type resolvent formulas for Schrödinger operators on bounded Lipschitz domains in $\bbR^n$, $n\ge 2$, with generalized Robin boundary conditions.
△ Less
Submitted 15 May, 2008; v1 submitted 21 March, 2008;
originally announced March 2008.
-
Variations on a Theme of Jost and Pais
Authors:
Fritz Gesztesy,
Marius Mitrea,
Maxim Zinchenko
Abstract:
We explore the extent to which a variant of a celebrated formula due to Jost and Pais, which reduces the Fredholm perturbation determinant associated with the Schrödinger operator on a half-line to a simple Wronski determinant of appropriate distributional solutions of the underlying Schrödinger equation, generalizes to higher dimensions. In this multi-dimensional extension the half-line is repl…
▽ More
We explore the extent to which a variant of a celebrated formula due to Jost and Pais, which reduces the Fredholm perturbation determinant associated with the Schrödinger operator on a half-line to a simple Wronski determinant of appropriate distributional solutions of the underlying Schrödinger equation, generalizes to higher dimensions. In this multi-dimensional extension the half-line is replaced by an open set $Ω\subset\bbR^n$, $n\in\bbN$, $n\geq 2$, where $Ω$ has a compact, nonempty boundary $\partialΩ$ satisfying certain regularity conditions. Our variant involves ratios of perturbation determinants corresponding to Dirichlet and Neumann boundary conditions on $\partialΩ$ and invokes the corresponding Dirichlet-to-Neumann map. As a result, we succeed in reducing a certain ratio of modified Fredholm perturbation determinants associated with operators in $L^2(Ω; d^n x)$, $n\in\bbN$, to modified Fredholm determinants associated with operators in $L^2(\partialΩ; d^{n-1}σ)$, $n\geq 2$.
Applications involving the Birman-Schwinger principle and eigenvalue counting functions are discussed.
△ Less
Submitted 24 May, 2007;
originally announced May 2007.
-
The Dirichlet problem in Lipschitz domains for higher order elliptic systems with rough coefficients
Authors:
Vladimir Maz'ya,
Marius Mitrea,
Tatyana Shaposhnikova
Abstract:
We study the Dirichlet problem in Lipschitz domains and with boundary data in Besov spaces, for divergence form strongly elliptic systems of arbitrary order, with bounded, complex-valued coefficients. Our main result gives a sharp condition on the local mean oscillations of the coefficients of the differential operator and the unit normal to the boundary (which is automatically satisfied if thes…
▽ More
We study the Dirichlet problem in Lipschitz domains and with boundary data in Besov spaces, for divergence form strongly elliptic systems of arbitrary order, with bounded, complex-valued coefficients. Our main result gives a sharp condition on the local mean oscillations of the coefficients of the differential operator and the unit normal to the boundary (which is automatically satisfied if these functions belong to space VMO) guaranteeing that the solution operator associated with this problem is an isomorphism.
△ Less
Submitted 30 January, 2007;
originally announced January 2007.
-
Non-self-adjoint operators, infinite determinants, and some applications
Authors:
Fritz Gesztesy,
Yuri Latushkin,
Marius Mitrea,
Maxim Zinchenko
Abstract:
We study various spectral theoretic aspects of non-self-adjoint operators. Specifically, we consider a class of factorable non-self-adjoint perturbations of a given unperturbed non-self-adjoint operator and provide an in-depth study of a variant of the Birman-Schwinger principle as well as local and global Weinstein-Aronszajn formulas.
Our applications include a study of suitably symmetrized (mo…
▽ More
We study various spectral theoretic aspects of non-self-adjoint operators. Specifically, we consider a class of factorable non-self-adjoint perturbations of a given unperturbed non-self-adjoint operator and provide an in-depth study of a variant of the Birman-Schwinger principle as well as local and global Weinstein-Aronszajn formulas.
Our applications include a study of suitably symmetrized (modified) perturbation determinants of Schrödinger operators in dimensions n=1,2,3 and their connection with Krein's spectral shift function in two- and three-dimensional scattering theory. Moreover, we study an appropriate multi-dimensional analog of the celebrated formula by Jost and Pais that identifies Jost functions with suitable Fredholm (perturbation) determinants and hence reduces the latter to simple Wronski determinants.
△ Less
Submitted 5 May, 2020; v1 submitted 15 November, 2005;
originally announced November 2005.
-
The Dirichlet problem in Lipschitz domains with boundary data in Besov spaces for higher order elliptic systems with rough coefficients
Authors:
Vladimir Maz'ya,
Marius Mitrea,
Tatyana Shaposhnikova
Abstract:
We settle the issue of well-posedness for the Dirichlet problem for a higher order elliptic system ${\mathcal L}(x,D_x)$ with complex-valued, bounded, measurable coefficients in a Lipschitz domain $Ω$, with boundary data in Besov spaces.
The main hypothesis under which our principal result is established is in the nature of best possible and requires that, at small scales, the mean oscillation…
▽ More
We settle the issue of well-posedness for the Dirichlet problem for a higher order elliptic system ${\mathcal L}(x,D_x)$ with complex-valued, bounded, measurable coefficients in a Lipschitz domain $Ω$, with boundary data in Besov spaces.
The main hypothesis under which our principal result is established is in the nature of best possible and requires that, at small scales, the mean oscillations of the unit normal to $\partialΩ$ and of the coefficients of the differential operator ${\mathcal L}(x,D_x)$ are not too large.
△ Less
Submitted 9 June, 2005; v1 submitted 17 May, 2005;
originally announced May 2005.
-
Boundary value problems and layer potentials on manifolds with cylindrical ends
Authors:
Marius Mitrea,
Victor Nistor
Abstract:
We extend the method of layer potentials to manifolds with boundary and cylindrical ends. To obtain this extension along the classical lines, we have to deal with several technical difficulties due to the non-compactness of the boundary, which prevents us from using the standard characterization of Fredholm and compact (pseudo-)differential operators between Sobolev spaces. Our approach, which i…
▽ More
We extend the method of layer potentials to manifolds with boundary and cylindrical ends. To obtain this extension along the classical lines, we have to deal with several technical difficulties due to the non-compactness of the boundary, which prevents us from using the standard characterization of Fredholm and compact (pseudo-)differential operators between Sobolev spaces. Our approach, which involves the study of layer potentials depending on a parameter on compact manifolds as an intermediate step, yields the invertibility of the relevant boundary integral operators in the global, non-compact setting, which is rather unexpected. As an application, we prove the well-posedness of the non-homogeneous Dirichlet problem on manifolds with boundary and cylindrical ends. We also prove the existence of the Dirichlet-to-Neumann map, which we show to be a pseudodifferential operator in the calculus of pseudodifferential operators that are ``almost translation invariant at infinity,'' a calculus that is closely related to Melrose's b-calculus \cite{me81, meaps}, which we study in this paper. The proof of the convergence of the layer potentials and of the existence of the Dirichlet-to-Neumann map are based on a good understanding of resolvents of elliptic operators that are translation invariant at infinity.
△ Less
Submitted 6 October, 2004;
originally announced October 2004.
-
Lipschitz domains, domains with corners and the Hodge Laplacian
Authors:
Marius Mitrea,
Michael Taylor,
Andras Vasy
Abstract:
We define self-adjoint extensions of the Hodge Laplacian on Lipschitz domains in Riemannian manifolds, corresponding to either the absolute or the relative boundary condition, and examine regularity properties of these operators' domains and form domains. We obtain results valid for general Lipschitz domains, and stronger results for a special class of ``almost convex'' domains, which apply to d…
▽ More
We define self-adjoint extensions of the Hodge Laplacian on Lipschitz domains in Riemannian manifolds, corresponding to either the absolute or the relative boundary condition, and examine regularity properties of these operators' domains and form domains. We obtain results valid for general Lipschitz domains, and stronger results for a special class of ``almost convex'' domains, which apply to domains with corners.
△ Less
Submitted 31 August, 2004;
originally announced August 2004.
-
Stability results on interpolation scales of quasi-Banach spaces and applications
Authors:
Nigel J. Kalton,
Marius Mitrea
Abstract:
We investigate stability of Fredholm properties on interpolation scales of quasi-Banach spaces. This analysis is motivated by problems arising in PDE's and several applications are presented.
We investigate stability of Fredholm properties on interpolation scales of quasi-Banach spaces. This analysis is motivated by problems arising in PDE's and several applications are presented.
△ Less
Submitted 7 September, 1997;
originally announced September 1997.