Abstract
In this paper we discuss applications of the geometric theory of composition operators on Sobolev spaces to the spectral theory of non-linear elliptic operators. Lower estimates of the first non-trivial Neumann eigenvalues of the p-Laplace operator in cusp domains \(\Omega \subset \mathbb R^n\), \(n\ge 2\), are given.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this article we discuss a general method of applications of the geometric theory of composition operators on Sobolev spaces to spectral estimates of the non-linear Neumann-Laplace operators. It is a modification of methods proposed in our recent works [14, 15].
Suppose that in a bounded domain \(\Omega \subset \mathbb R^n\) the following Sobolev–Poincaré inequality
holds with the Poincaré constant \(B_{p,p}(\Omega )\). Then the first nontrivial Neumann eigenvalue \(\mu _{p}(\Omega )\) of the p-Laplace operator
can be characterized as \(\mu _{p}(\Omega )=B^{-p}_{p,p}(\Omega )\) (see, for example, [5]).
Exact calculations of Neumann eigenvalues are known in very limited number of domains and so estimates of \(\mu _{p}(\Omega )\) represent an important part of the modern spectral theory (see, for example, [1, 5, 10, 23, 26, 32]). We suggest spectral estimates of the first nontrivial Neumann eigenvalue \(\mu _p(\Omega )\) of the p-Laplace operator in terms of the (weak) quasiconformal geometry of domains.
The classical upper estimate for the first nontrivial Neumann eigenvalue of the Laplace operator
was proved by Szegö [43] for simply connected planar domains via a conformal mappings technique (“the method of conformal normalization”) and by Weinberger [55] for domains in \(\mathbb {R}^n\). In this inequality \(p_{n/2}\) denotes the first positive zero of the function \((t^{1-n/2}J_{n/2}(t))'\), and \(\Omega ^{*}\) is an n-ball of the same n-volume as \(\Omega \) with \(R_{*}\) as its radius. In particular, if \(n=2\), we have \(p_1=j_{1,1}'\approx 1.84118\) where \(j_{1,1}'\) denotes the first positive zero of the derivative of the Bessel function \(J_1\).
In convex domains \(\Omega \subset \mathbb R^n\), \(n\ge 2\), the classical lower estimates of the linear Neumann-Laplace operator (p=2) [39] states that
where \(d(\Omega )\) is a diameter of a convex domain \(\Omega \). Similar estimates for \(p\ne 2\) were obtained much later [26]:
where
Unfortunately in non-convex domains \(\mu _p(\Omega )\) can not be characterized in the terms of its Euclidean diameters. It can be seen by considering a domain consisting of two identical squares connected by a thin corridor [2]. In our previous works [20, 21] we returned to a conformal mappings techniques (that was used in [43]) in a framework of composition operators on Sobolev spaces. It permitted us to obtain lower estimates of the first nontrivial Neumann eigenvalue in the terms of the hyperbolic (conformal) radius of \(\Omega \) for a large class of non convex domains \(\Omega \subset \mathbb R^2\).
In the case of space domains conformal mappings does not allow to obtain spectral estimates of the Neumann-Laplace operator and we used a generalization of conformal mappings such as weak p-quasiconformal mappings [22]. The aim of the present work is to obtain lower estimates of the Neumann eigenvalues of the p-Laplace operator in the terms of a general weak (p, q)-quasiconformal geometry of domains. We use one more time the geometric theory of composition operators on Sobolev spaces [13, 44] with applications to the (weighted) Poincaré–Sobolev inequalities [12, 18].
The paper is organized as follows: The capacitary description of Sobolev spaces and a short survey of the geometric theory of composition operators on Sobolev spaces are presented in Sect. 2. In Sect. 3 we present a general method of applications of composition operators to the Sobolev–Poincaré inequalities and apply this method to lower estimates of the first nontrivial Neumann eigenvalue for the p-Laplace operator.
2 Composition Operators on Sobolev Spaces
2.1 Sobolev Spaces
Let E be a measurable subset of \(\mathbb R^n\), \(n\ge 2\). The Lebesgue space \(L_p(E)\), \(1\le p\le \infty \), is defined as a Banach space of p-summable functions \(f:E\rightarrow \mathbb R\) equipped with the following norm:
and
If \(\Omega \) is an open subset of \(\mathbb R^n\), the Sobolev space \(W^1_p(\Omega )\), \(1\le p\le \infty \), is defined as a Banach space of locally integrable weakly differentiable functions \(f:\Omega \rightarrow \mathbb {R}\) equipped with the following norm:
where \(\nabla f\) is the weak gradient of the function f, i. e. \( \nabla f = (\frac{\partial f}{\partial x_1},\ldots ,\frac{\partial f}{\partial x_n})\),
As usual, \(C_0^{\infty }(\Omega )\) is the space of infinitely smooth functions with a compact support.
The homogeneous seminormed Sobolev space \(L^1_p(\Omega )\), \(1\le p\le \infty \), is defined as a space of locally integrable weakly differentiable functions \(f:\Omega \rightarrow \mathbb {R}\) equipped with the following seminorm:
Sobolev spaces are Banach spaces of equivalence classes [36]. To clarify the notion of equivalence classes we use a corresponding type of capacity.
Recall the notion of a p-capacity of a set \(E\subset \Omega \) [36]. Let \(\Omega \) be a domain in \(\mathbb R^n\) and a compact \(F\subset \Omega \). The p-capacity of the compact F is defined by
where \( C_0(\Omega )\) is the space of continuous functions with a compact support.
By the similar way we can define the p-capacity of open sets.
For arbitrary set \(E\subset \Omega \) we define an inner p-capacity as
and an outer p-capacity as
A set \(E\subset \Omega \) is called p-capacity measurable, if \(\underline{{{\mathrm{cap}}}}_p(E;\Omega )=\overline{{{\mathrm{cap}}}}_p(E;\Omega )\). The value
is called the p-capacity of the set \(E\subset \Omega \).
The notion of p-capacity permits us to refine the notion of Sobolev functions. Let a function \(f\in L^1_p(\Omega )\). Then refined function
is defined quasieverywhere i. e. up to a set of p-capacity zero and it is absolutely continuous on almost all lines [36] (7.2.4, pp. 358–359). This refined function \(\tilde{f}\in L^1_p(\Omega )\) is called a unique quasicontinuous representation (a canonical representation) of function \(f\in L^1_p(\Omega )\). Recall that a function \(\tilde{f}\) is termed quasicontinuous if for any \(\varepsilon >0\) there is an open set \(U_{\varepsilon }\) such that the p-capacity of \(U_{\varepsilon }\) is less than \(\varepsilon \) and on the set \(\Omega {\setminus } U_{\varepsilon }\) the function \(\tilde{f}\) is continuous (see, for example [24, 36]). In what follows we will use the quasicontinuous (refined) functions only.
Note that the first weak derivatives of the function f coincide almost everywhere with the usual partial derivatives (see, e.g., [36]).
2.2 Composition Operators
Let \(\Omega \) and \(\widetilde{\Omega }\) be domains in \(\mathbb R^n\), \(n\ge 2\). We say that a homeomorphism \(\varphi :\Omega \rightarrow \widetilde{\Omega }\) induces a bounded composition operator
by the composition rule \(\varphi ^{*}(f)=f\circ \varphi \), if for any function \(f\in L^1_p(\widetilde{\Omega })\), the composition \(\varphi ^{*}(f)\in L^1_q(\Omega )\) is defined quasi-everywhere in \(\Omega \) and there exists a constant \(K_{p,q}(\Omega )<\infty \) such that
Composition operators on Sobolev spaces arise in [35] as operators generated by the class of sub-areal mappings. In [50] in the frameworks of Reshetnyak’s problem (1968) was proved that a homeomorphism \(\varphi :\Omega \rightarrow \widetilde{\Omega }\) generates an isomorphism of Sobolev spaces \(L^1_n(\Omega )\) and \(L^1_n(\widetilde{\Omega })\) if and only if \(\varphi \) is a quasiconformal mapping. These works motivated the study of geometric properties of mappings which generate isomorphisms (bounded operators) of Sobolev type spaces. In [51] it was proved that a homeomorphism \(\varphi :\Omega \rightarrow \widetilde{\Omega }\) generates an isomorphism of Sobolev spaces \(L^1_p(\Omega )\) and \(L^1_p(\widetilde{\Omega })\), \(p>n\), if and only if \(\varphi \) is a bi-Lipschitz mapping. This result was extended to the cases \(n-1<p<n\) in [17] and the case \(1\le p<n\) in [33].
Remark 2.1
Recall that a homeomorphism \(\varphi \) is called a bi-Lipschitz homeomorphism if \(\varphi \) and \(\varphi ^{-1}\) are locally Lipschitz mappings with uniformly bounded local Lipschitz constants.
Mappings that generate isomorphisms of Besov spaces were considered in [47], Nikolskii–Besov spaces and Lizorkin–Triebel spaces were considered in [48]. In [37] the theory of multipliers was applied to the change of variable problem in Sobolev spaces.
The composition operators are not necessary isomorphisms even if they are induced by diffeomorphisms or homeomorphisms of Euclidean domains. It means that the composition problem can be reformulated by a more flexible way: describe classes of homeomorphisms that induce bounded composition operators on Sobolev spaces. In the case of Sobolev spaces with the first weak derivatives it can be formulated as a characterization of homeomorphism \(\varphi :\Omega \rightarrow \widetilde{\Omega }\) that generate composition operators
by the standard composition rule \(\varphi ^{*}(f)=f\circ \varphi \).
Analytical characteristics of mappings that generate bounded compositions operators on Sobolev spaces are given in terms of weak derivatives of the mappings. Let a mapping \(\varphi :\Omega \rightarrow \mathbb {R}^{n}\) be weakly differentiable in \(\Omega \). Then the formal Jacobi matrix \(D\varphi (x)\) and its determinant (Jacobian) \(J(x,\varphi )\) are well defined at almost all points \(x\in \Omega \). The norm \(|D\varphi (x)|\) of the matrix \(D\varphi (x)\) is the norm of the corresponding linear operator. We will use the same notation for this matrix and the corresponding linear operator.
Recall that a mapping \(\varphi :\Omega \rightarrow \mathbb {R}^{n}\) possesses the Luzin N-property if an image of any set of measure zero has measure zero. Lipschitz mapping possess the Luzin N-property.
In the case \(p=q\ne n\) an analytic description was obtained in [46] using a notion of mappings of finite distortion introduced in [52]: a weakly differentiable mapping is called a mapping of finite distortion if \(|D\varphi (x)|=0\) a. e. on the set \(Z=\{x\in \Omega : J(x,\varphi )=0\}\). This property becomes useful especially for the case \(p\ne q\).
In [13] it was obtained the geometric description of composition operators for \(n-1<p=q<\infty \) without using the finite distortion property. In the case \(1<p<n-1\) the geometric description requires additional apriori properties of homeomorphisms [13].
Let us reformulate the main result of [13].
Theorem 2.2
[13] A homeomorphism \(\varphi :\Omega \rightarrow \widetilde{\Omega }\) between two domains \(\Omega \) and \(\widetilde{\Omega }\) induces a bounded composition operator
if and only if
for some \(\lambda >1\) if \(n-1<p<n\) and \(\lambda =1\) if \(n\le p<\infty \), where \(L_{\varphi }(x,r)=\max \limits _{|x-y|=r}|\varphi (x)-\varphi (y)|\).
On the base of this result the notion of p-quasiconformal mappings was introduced for \(n-1<p<\infty \). In the case \(1<p<n-1\) this result is correct under an additional apriori property of weak differentiability of \(\varphi \) [13].
Recall that a weakly differentiable homeomorphism \(\varphi :\Omega \rightarrow \widetilde{\Omega }\) is called a weak p-quasiconformal mapping [13] if there exists a constant \(K_p<\infty \) such that
The class of weak p-quasiconformal mappings is a natural generalization of quasiconformal mappings and for \(p=n\) these classes coincide.
Note that planar conformal mapping preserve the Dirichlet energy integral
because \(|D\varphi (x)|^2= |J(x,\varphi )|\) in \(\Omega \).
In the space \(\mathbb R^3\) conformal mappings are not connected to the Dirichlet energy integral, but the class of weak 2-conformal mappings (co-conformal mappings [22]) generates bounded composition operators on the Dirichlet spaces. It is a reason for detailed study of weak 2-quasiconformal mappings that looks as an appropriate class for possible applications to elliptic equations as was mentioned in [22].
The case \(p\ne q\) is more complicated and in this case the composition operators theory is based on the countable-additive set functions, connected with norms of composition operators [44] (see also [54]). The main result of [44] gives an analytic description of composition operators on Sobolev spaces (see, also [54]) and asserts that
Theorem 2.3
[44] A homeomorphism \(\varphi :\Omega \rightarrow \widetilde{\Omega }\) between two domains \(\Omega \) and \(\widetilde{\Omega }\) induces a bounded composition operator
if and only if \(\varphi \in W^1_{1,{{\mathrm{loc}}}}(\Omega )\), has finite distortion, and
Let us remark one more time that in the framework of two previous theorems function of spaces \(L^1_p(\widetilde{\Omega })\) are quasicontinuous.
By an analogy with a notion of weak p-quasiconformal case homeomorphisms which satisfy conditions of Theorem 2.3 are called (weak) (p, q)-quasiconformal mappings [53] or mappings of bounded (p, q)-distortion [45]. A geometric description (similar to (2.2)) of weak (p, q)-quasiconformal mappings in the case \(q>n-1\) was obtained in [53].
The concept of quasicontinuity wasn’t used in [27], where by an analogy with Lebesgue spaces, Sobolev functions were defined up to set a measure zero (not up to sets of p-capacity zero). In [27] it was stated that (p, q)-quasiconformal mappings generates a bounded composition operators on Sobolev spaces under additional assumptions continuity of Sobolev functions of \(L^1_{p}(\widetilde{\Omega })\), \(p>n\). Let us recall that by the classical Sobolev embedding theorems (see, for example, [36, 42]) any function \(f\in W^1_p(\widetilde{\Omega })\), \(p>n\), has an unique continuous representation [36].
Composition operators on Sobolev spaces have applications to spectral problems of elliptic equations. These applications are based on the Sobolev type embedding theorems [12, 18]. The following diagram illustrate the main idea of these applications:
Here the operator \(\varphi ^{*}\) defined by the composition rule \(\varphi ^{*}(f)=f\circ \varphi \) is a bounded composition operator on Sobolev spaces induced by a homeomorphism \(\varphi \) of a “good” domain \(\Omega \) (for example the unit ball) to a “bad” domain \(\widetilde{\Omega }\) and the operator \((\varphi ^{-1})^{*}\) defined by the composition rule \((\varphi ^{-1})^{*}(f)=f\circ \varphi ^{-1}\) is a bounded composition operator on Lebesgue spaces induced by the inverse homeomorphism.
This approach allows us to obtain stability estimates of constants in Sobolev–Poincaré inequalities, that in its turn give us an opportunity to estimate stability of Neumann eigenvalues of the p-Laplace operators.
In our recent works [6, 7, 14, 15, 20, 21] the spectral stability problem and the lower estimates of Neumann eigenvalues in planar domains were studied. In space domains our results are more modest. Some spectral estimates in space non convex domains were obtained [11, 22] with the help of weak p-quasiconformal mappings theory.
The geometric theory of composition operators on Sobolev spaces is closely connected with the \(A_{p,q}\)-Ball’s classes [3, 4] and has applications in non-linear elasticity (see, for example, [9, 19, 49]).
In the last decade the composition operators theory on some generalizations of Sobolev spaces, like Besov spaces and Triebel–Lizorkin spaces, [25, 28,29,30, 38] was under consideration. These types of composition operators have applications to the Calderón inverse conductivity problem [8].
2.3 Composition Operators and Capacitary Inequalities
Composition operators on Sobolev spaces allow an alternative capacitory description. Recall the notion of a variational p-capacity [16].
A condenser in the domain \(\Omega \subset \mathbb R^n\) is the pair \((F_0,F_1)\) of connected closed relatively to \(\Omega \) sets \(F_0,F_1\subset \Omega \). A continuous function \(f\in L_p^1(\Omega )\) is called an admissible function for the condenser \((F_0,F_1)\), if the set \(F_i\cap \Omega \) is contained in some connected component of the set \({\text {Int}}\{x\vert u(x)=i\}\), \(i=0,1\). We call as the p-capacity of the condenser \((F_0,F_1)\) (relatively to the domain) \(\Omega \) the following quantity:
Here the greatest lower bound is taken over all functions admissible for the condenser \((F_0,F_1)\subset \Omega \). If the condenser has no admissible functions we put the capacity equal to infinity.
The following theorems give a capacitary description of the composition operators on Sobolev spaces.
Theorem 2.4
[13] Let \(1<p<\infty \). A homeomorphism \(\varphi :\Omega \rightarrow \widetilde{\Omega }\) generates a bounded composition operator
if and only if for every condenser \((F_0,F_1)\subset \widetilde{\Omega }\) the inequality
holds.
Theorem 2.5
[44, 53] Let \(1<q<p<\infty \). A homeomorphism \(\varphi :\Omega \rightarrow \widetilde{\Omega }\) generates a bounded composition operator
if and only if there exists a bounded monotone countable-additive set function \(\Phi \) defined on open subsets of \(\widetilde{\Omega }\) such that for every condenser \((F_0,F_1)\subset \widetilde{\Omega }\) the inequality
holds.
These capacitary inequalities demonstrate a close connection of mappings that generate bounded composition operators on Sobolev spaces and so-called Q-homeomorphisms [34]. Descriptions of Q-homeomorphisms are based on the capacitary (moduli) distortion property are these classes were intensively studied at last decades (see, for example, [31, 40, 41]).
3 Spectral Estimates of the p-Laplace Operator
In this section we give spectral estimates of the p-Laplace operator on the base Sobolev–Poincaré inequalities.
3.1 The General Case
Recall that a bounded domain \(\Omega \subset \mathbb R^n\) is called an (r, q)-Sobolev–Poincaré domain, \(1\le r,q\le \infty \), if for any function \(f\in L^1_q(\Omega )\), the (r, q)-Sobolev–Poincaré inequality
holds.
Weak (p, q)-quasiconformal mappings permits us to “transfer” this embedding property from one domain to another.
Theorem 3.1
Let a bounded domain \(\Omega \subset \mathbb R^n\) be a (r, q)-Sobolev–Poincaré domain, \(1<q\le r<\infty \), and there exists a weak (p, q)-quasiconformal mapping \(\varphi : \Omega \rightarrow \widetilde{\Omega }\) of a domain \(\Omega \) onto a bounded domain \(\widetilde{\Omega }\), possesses the Luzin N-property and such that
Then in the domain \(\widetilde{\Omega }\) the (r, p)-Sobolev–Poincaré inequality
holds and
Here \(B_{r,q}({\Omega })\) is the best constant in the (r, q)-Sobolev–Poincaré inequality in the domain \(\Omega \).
Proof
Let \(f\in L^1_p(\widetilde{\Omega })\). By the conditions of the theorem there exists a weak (p, q)-quasiconformal homeomorphism \(\varphi : \Omega \rightarrow \widetilde{\Omega }\). Hence, the composition operator
is bounded. Because \(\Omega \) is a bounded (r, q)-Sobolev–Poincaré domain \(g=\varphi ^{*}(f)\in W^1_q(\Omega )\).
Using the change of variable formula we obtain:
Because the domain \(\Omega \) is a (r, q)-Sobolev–Poincaré domain we have
Hence
By Theorem 2.3
Therefore
\(\square \)
The Theorem 3.1 immediately implies the following lower estimate for \(\mu _{p}(\tilde{\Omega })\):
Theorem 3.2
Suppose that there exists a weak (p, q)-quasiconformal homeomorphism \(\varphi : \Omega \rightarrow \widetilde{\Omega }\), of a (r, q)-Sobolev–Poincaré domain \(\Omega \subset \mathbb R^n\) onto \(\widetilde{\Omega }\), possesses the Luzin N-property and such that
Then
Boundedness of a Jacobian of a weak (p, q)-quasiconformal mapping is a sufficient but restrictive assumption. If \(\varphi \) is a Lipschitz mapping, this condition holds but an image of a Lipschitz domain can not be a domain with external singularities.
We shall use a more flexible class of weak (p, q)-quasiconformal mappings with an integrable Jacobian, which allows us to map Lipschitz domains onto cusp domains.
Theorem 3.3
Let a bounded domain \(\Omega \subset \mathbb R^n\) be a (r, q)-Sobolev–Poincaré domain, \(1<q\le r<\infty \), and there exists a weak (p, q)-quasiconformal homeomorphism \(\varphi : \Omega \rightarrow \widetilde{\Omega }\) of a domain \(\Omega \) onto a bounded domain \(\widetilde{\Omega }\), possesses the Luzin N-property and such that
for some \(1\le s<r\). Then in the domain \(\widetilde{\Omega }\) the (s, p)-Sobolev–Poincaré inequality
holds and
Here \(B_{r,q}(\Omega )\) is the best constant in the (r, q)-Sobolev–Poincaré inequality in the domain \(\Omega \).
Proof
Let \(f\in L^1_p(\widetilde{\Omega })\). By the conditions of the theorem there exists a (p, q)-quasiconformal homeomorphism \(\varphi : \Omega \rightarrow \widetilde{\Omega }\). By Theorem 2.3 the composition operator
is bounded. Because the bounded domain \(\Omega \) is a (r, q)-Sobolev–Poincaré domain then \(g=\varphi ^{*}(f)\in W^1_q(\Omega )\).
Using the change of variable formula and the Hölder inequality we obtain:
Because the domain \(\Omega \) is a (r, q)-Sobolev–Poincaré domain the following inequality holds:
Combining two previous inequalities we have
By Theorem 2.3
Finally we obtain
It means that
\(\square \)
We are ready to establish the main lower estimate:
Theorem 3.4
Let a domain \(\Omega \subset \mathbb R^n\) be a (r, q)-Sobolev–Poincaré domain, \(1<q<p<r\), and there exists a weak (p, q)-quasiconformal homeomorphism \(\varphi : \Omega \rightarrow \widetilde{\Omega }\) of a domain \(\Omega \) onto a bounded domain \(\widetilde{\Omega }\), possesses the Luzin N-property and such that
Then
This theorem follows from Theorem 3.3 and gives the lower estimate of the first non-trivial Neumann eigenvalue of the p-Laplace operator in the terms of (p, q)-quasiconformal geometry of domains.
3.2 The Anisotropic Hölder Singularities
Define domains \(H_g\) with anisotropic Hölder \(\gamma \)-singularities (introduced in [12]):
Here \(g_i(\tau )=\tau ^{\gamma _i}\), \(\gamma _i\ge 1\), \(0\le \tau \le 1\) are Hölder functions and for the function \(G=\prod _{i=1}^{n-1}g_i\) denote by
It is evident that \(\gamma \ge n\). In the case \(g_1=g_2=\cdots =g_{n-1}\) we will say that domain \(H_g\) is a domain with \(\sigma \)-Hölder singularity, \(\sigma =(\gamma -1)/(n-1)\). For \(g_1(\tau )=g_2(\tau )=\cdots =g_{n-1}(\tau )=\tau \) we will use notation \(H_1\) instead of \(H_g\).
Define the mapping \(\varphi _a: H_1\rightarrow H_g\), \(a>0\), by
Theorem 3.5
Let \((n-p)/(\gamma -p)<a<p(n-q)/q(\gamma -p)\). Then the mapping \(\varphi _a: H_1\rightarrow H_g\), be a weak (p, q)-quasiconformal mapping, \(1<q<p<\gamma \), from the Lipschitz convex domain \(H_1\) onto the “cusp”’ domain \(H_g\) with
Proof
By simple calculations
for any \(i=1,\ldots ,n-1\). Hence \(J(x,\varphi _a)=ax_n^{a-n}G^a(x_n)=ax_n^{a\gamma -n}\), \(J(x,\varphi _a)\le a\) for \(a>1\) and
Because \(0<x_n<1\) and \(x_1/x_n<1\) we have the following estimate
Then
if \((p+a\gamma -pa)q<np\) or that equivalent \(a<p(n-q)/q(\gamma -p)\).
Now we check that \(1<q<np/(p+a\gamma -pa)<p\). The inequality \(1<np/(p+a\gamma -pa)\) implies \(a<(np-p)/\gamma -p\), but
The inequality \(np/(p+a\gamma -pa)<p\) implies \(a>(n-p)/(\gamma -p)\). So, we have that \(a\in \left( (n-p)/(\gamma -p),p(n-q)/q(\gamma -p)\right) \). \(\square \)
We are ready to prove spectral estimates in cusp domains.
Theorem 3.6
Let
\(\gamma _i \ge 1\), \(\gamma :=1+\sum _{i=1}^{n-1}\gamma _i\), \(g:=(\gamma _1,\ldots ,\gamma _{n-1})\) be domains with anisotropic Hölder \(\gamma \)-singularities.
Then for \(1<p<\gamma \)
where \(I_a=\left( \max \{(n-p)/(\gamma -p),{p(n-q)}/{\gamma q}\},p(n-q)/q(\gamma -p)\right) \) and \(B_{r,q}(H_1)\) is the best constant in the (r, q)-Sobolev–Poincaré inequality in the domain \(H_1\), \(q\le r<\frac{nq}{n-q}\).
Proof
By Theorem 3.5 the mapping \(\varphi _a: H_1\rightarrow H_g\), \((n-p)/(\gamma -p)<a<p(n-q)/q(\gamma -p)\),
maps the convex Lipschitz domain \(H_1\) onto the cusp domain \(H_g\) and it is a weak (p, q)-quasiconformal mapping, \(1<q<p<\gamma \).
Let us check conditions of Theorem 3.4. Because \(\varphi \) is a weak (p, q)-quasiconformal mapping then \(K_{p,q}(H_1)\) is finite. The basic domain \(H_1\) is a Lipschitz domains and so is a (r, q)-Sobolev–Poincaré domain, i. e. \(B_{r,q}(H_1)<\infty \).
Now we estimate the constant \(M_{r,p}(H_1)\):
if
Because \(0<x_n<1\), we have \(M_{r,p}(H_1)\le a^{\frac{1}{p}}\) if \(a>np/\gamma r\). If we take \(r<nq/(n-q)\) we obtain that
The conditions of Theorem 3.4 is fulfilled. Therefore
where \(\max \{(n-p)/(\gamma -p),{p(n-q)}/{\gamma q}\}<a<p(n-q)/q(\gamma -p)\) and \(B_{r,q}(H_1)\) is the best constant in the (r, q)-Sobolev–Poincaré inequality in the domain \(H_1\) for some \(q\in [r,\frac{nq}{n-q})\). \(\square \)
Note that in [22] we proved the estimate of the Poincaré constant in the (r, q)-Sobolev–Poincaré inequality in the domain \(H_1\):
The problem of exact values of constants in the (r, q)-Sobolev–Poincaré inequalities in the case \(p\ne r\) is a complicated open problem even in the case of the unit disc \(\mathbb D\subset \mathbb R^2\).
References
Ashbaugh, M.S.: Isoperimetric and universal inequalities for eigenvalues, spectral theory and geometry (Edinburgh, 1998), London Math. Soc. Lecture Note Ser., vol 273, pp. 95–139. Cambridge University Press, Cambridge (1999)
Brandolini, B., Chiacchio, F., Dryden, E.B., Langford, J.J.: Sharp Poincaré inequalities in a class of non-covex sets, arXiv:1608.01236
Ball, J.M.: Convexity condition and existence theorems in nonlinear elasticity. Arch. Ration. Mech. Anal. 63, 337–403 (1976)
Ball, J.M.: Global invertibility of Sobolev functions and the interpenetration of matter. Proc. R. Soc. Edinb. Sect. A 88, 315–328 (1981)
Brandolini, B., Chiacchio, F., Trombetti, C.: Optimal lower bounds for eigenvalues of linear and nonlinear Neumann problems. Proc. R. Soc. Edinb. Sect. A 145, 31–45 (2015)
Burenkov, V.I., Gol’dshtein, V., Ukhlov, A.: Conformal spectral stability for the Dirichlet-Laplace operator. Math. Nachr. 288, 1822–1833 (2015)
Burenkov, V.I., Gol’dshtein, V., Ukhlov, A.: Conformal spectral stability for the Neumann-Laplace operator. Math. Nachr. 289, 1822–1833 (2016)
Calderón, A.P.: On an inverse boundary value problem, in seminar on numerical analysis and its applications to continuum physics (Rio de Janeiro), pp. 65–73 (1980)
Csörnyei, M., Hencl, S., Malý, J.: Homeomorphisms in the Sobolev space \(W^{1, n-1}\). J. Reine Angew. Math. 644, 221–235 (2010)
Ferone, V., Nitsch, C., Trombetti, C.: A remark on optimal weighted Poincaré inequalities for convex domains, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 23, 467–475 (2012)
Gol’dshtein, V., Hurri-Syrjänen, R., Ukhlov, A.: Space quasiconformal mappings and Neumann eigenvalues in fractal type domains. Georgian Math. J. 25, 221–233 (2018)
Gol’dshtein, V., Gurov, L.: Applications of change of variables operators for exact embedding theorems. Integr. Equ. Oper. Theory 19, 1–24 (1994)
Gol’dshtein, V., Gurov, L., Romanov, A.: Homeomorphisms that induce monomorphisms of Sobolev spaces. Isr. J. Math. 91, 31–60 (1995)
Gol’dshtein, V., Pchelintsev, V., Ukhlov, A.: Spectral estimates of the p-Laplace Neumann operator and Brennan’s conjecture. Boll. Unione Mat. Ital. 11, 245–264 (2018)
Gol’dshtein, V., Pchelintsev, V., Ukhlov, A.: On the first eigenvalue of the degenerate p-Laplace operator in non-convex domains. Integral Equ. Oper. Theory 90, 43 (2018)
Gol’dshtein, V.M., Reshetnyak, YuG: Quasiconformal Mappings and Sobolev Spaces. Kluwer, Dordrecht (1990)
Gol’dshtein, V.M., Romanov, A.S.: Mappings preserving Sobolev spaces. Sib. Math. J. 25, 55–61 (1984)
Gol’dshtein, V., Ukhlov, A.: Weighted Sobolev spaces and embedding theorems. Trans. Am. Math. Soc. 361, 3829–3850 (2009)
Gol’dshtein, V., Ukhlov, A.: About homeomorphisms that induce composition operators on Sobolev spaces. Complex Var. Elliptic Equ. 55, 833–845 (2010)
Gol’dshtein, V., Ukhlov, A.: On the first eigenvalues of free vibrating membranes in conformal regular domains. Arch. Ration. Mech. Anal. 221(2), 893–915 (2016)
Gol’dshtein, V., Ukhlov, A.: Spectral estimates of the \(p\)-Laplace Neumann operator in conformal regular domains. Trans A. Razmadze Math. Inst. 170(1), 137–148 (2016)
Gol’dshtein, V., Ukhlov, A.: The spectral estimates for the Neumann-Laplace operator in space domains. Adv. Math. 315, 166–193 (2017)
Enache, C., Philippin, G.A.: On some isoperimetric inequalities involving eigenvalues of symmetric free membranes. Z. Angew. Math. Mech. 95, 424–430 (2015)
Heinonen, J., Kilpelinen, T., Martio, O.: Nonlinear Potential Theory of Degenerate Elliptic Equations. Clarendon Press, Oxford (1993)
Hencl, S., Koskela, P.: Composition of quasiconformal mappings and functions in Triebel-Lizorkin spaces. Math. Nachr. 286, 669–678 (2013)
Esposito, L., Nitsch, C., Trombetti, C.: Best constants in Poincaré inequalities for convex domains. J. Convex Anal. 20, 253–264 (2013)
Kleprlik, L.: Mappings of finite signed distortion: Sobolev spaces and composition of mappings. J. Math. Anal. Appl. 386, 870–881 (2012)
Koch, H., Koskela, P., Saksman, E., Soto, T.: Bounded compositions on scaling invariant Besov spaces. J. Funct. Anal. 266, 2765–2788 (2014)
Koskela, P., Yang, D., Zhou, Y.: Pointwise characterizations of Besov and Triebel–Lizorkin spaces and quasiconformal mappings. Adv. Math. 226, 3579–3621 (2011)
Koskela, P., Xiao, J., Zhang, Yi Ru-Ya., Zhou, Y.: A quasiconformal composition problem for the \(Q\)-spaces. J. Eur. Math. Soc. 19, 1159–1187 (2017)
Kruglikov, V.I.: Capacities of condensors and quasiconformal in the mean mappings in space. Mat. Sb. (N.S.) 130(172), 185–206 (1986)
Laugesen, R.S., Morpurgo, C.: Extremals of eigenvalues of Laplacians under conformal mapping. J. Func. Anal. 155, 64–108 (1998)
Markina, I.G.: The change of variable that preserves the differential properties of functions. Sib. Math. J. 31, 73–84 (1990)
Martio, O., Ryazanov, V., Srebro, U., Yakubov, E.: Moduli in Modern Mapping Theory. Springer Monographs in Mathematics. Springer, New York (2009)
Maz’ya, V.G.: Weak solutions of the Dirichlet and Neumann problems. Tr. Mosk. Mat. Ob-va. 20(1969), 137–172 (1969)
Maz’ya, V.: Sobolev Spaces: with Applications to Elliptic Partial Differential Equations. Springer, Berlin (2010)
Maz’ya, V., Shaposhbikovs, T.O.: Multipliers in Spaces of Differentiable Functions. Leningrad Univ. Press, Leningrad (1986)
Oliva, M., Prats, M.: Sharp bounds for composition with quasiconformal mappings in Sobolev spaces. J. Math. Anal. Appl. 451, 1026–1044 (2017)
Payne, L.E., Weinberger, H.F.: An optimal Poincaré inequality for convex domains. Arch. Ration. Mech. Anal. 5, 286–292 (1960)
Salimov, R.R.: Lower Q-homeomorphisms with respect to the p-modulus. Ukr. Mat. Visn. 12, 484–510 (2015)
Sevost’yanov, E.: On open and discrete mappings with a modulus condition. Ann. Acad. Sci. Fenn. Math. 41, 41–50 (2016)
Sobolev, S.L.: Some applications of functional analysis in mathematical physics, “Nauka”’, Moscow (1988)
Szegö, G.: Inequalities for certain eigenvalues of a membrane of given area. J. Ration. Mech. Anal. 3, 343–356 (1954)
Ukhlov, A.: On mappings, which induce embeddings of Sobolev spaces. Sib. Math. J. 34, 185–192 (1993)
Ukhlov, A., Vodop’yanov, S.K.: Mappings with bounded \((P, Q)\)-distortion on Carnot groups. Bull. Sci. Math. 134, 605–634 (2010)
Vodop’yanov, S.K.: Taylor Formula and Function Spaces. Novosibirsk Univ. Press, Novosibirsk (1988)
Vodop’yanov, S.K.: Mappings of homogeneous groups and embeddings of function spaces. Sib. Math. J. 30, 25–41 (1989)
Vodop’yanov, S.K.: \(L_p\)-theory of potential and quasiconformal mappings on homogeneous groups. Sovrem. Probl. Geom. Analiz. 263, 45–89 (1990)
Vodop’yanov, S.K.: Topological and geometric properties of mappings with an integrable Jacobian in Sobolev classes. Sib. Math. J. 41, 19–39 (2000)
Vodop’yanov, S.K., Gol’dshtein, V.M.: Structure isomorphisms of spaces \(W^1_n\) and quasiconformal mappings. Sib. Math. J. 16, 224–246 (1975)
Vodop’yanov, S.K., Gol’dshtein, V.M.: Functional characteristics of quasi-isometrical mappings. Sib. Math. J. 17, 758–773 (1976)
Vodop’yanov, S.K., Gol’dshtein, V.M., Reshetnyak, YuG: On geometric properties of functions with generalized first derivatives. Uspekhi Mat. Nauk 34, 17–65 (1979)
Vodop’yanov, S.K., Ukhlov, A.D.: Sobolev spaces and \((P, Q)\)-quasiconformal mappings of Carnot groups. Sib. Math. J. 39, 665–682 (1998)
Vodop’yanov, S.K., Ukhlov, A.D.: Superposition operators in Sobolev spaces. Russ. Math. (Izvestiya VUZ) 46(4), 11–33 (2002)
Weinberger, H.F.: An isoperimetric inequality for the \(n\)-dimensional free membrane problem. Arch. Ration. Mech. Anal. 5, 633–636 (1956)
Acknowledgements
The first author was supported by the United States-Israel Binational Science Foundation (BSF Grant No. 2014055).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Anatoly Golberg, David Shoikhet, Eduard Yakubov and Lawrence Zalcman.
Rights and permissions
About this article
Cite this article
Gol’dshtein, V., Ukhlov, A. Composition Operators on Sobolev Spaces and Neumann Eigenvalues. Complex Anal. Oper. Theory 13, 2781–2798 (2019). https://doi.org/10.1007/s11785-018-0826-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11785-018-0826-1