Abstract
This article investigates nonlocal, quasilinear generalizations of the classical biharmonic operator \((-\Delta )^2\). These fractional p -biharmonic operators appear naturally in the variational characterization of the optimal fractional Poincaré constants in Bessel potential spaces. We study the following basic questions for anisotropic fractional p -biharmonic systems: existence and uniqueness of weak solutions to the associated interior source and exterior value problems, unique continuation properties, monotonicity relations, and inverse problems for the exterior Dirichlet-to-Neumann maps. Furthermore, we show the UCP for the fractional Laplacian in all Bessel potential spaces \(H^{t,p}\) for any \(t\in {\mathbb R}\), \(1 \le p < \infty \) and \(s \in {\mathbb R}_+ {\setminus } {\mathbb N}\): If \(u\in H^{t,p}({\mathbb R}^n)\) satisfies \((-\Delta )^su=u=0\) in a nonempty open set V, then \(u\equiv 0\) in \({\mathbb R}^n\). This property of the fractional Laplacian is then used to obtain a UCP for the fractional p -biharmonic systems and plays a central role in the analysis of the associated inverse problems. Our proofs use variational methods and the Caffarelli–Silvestre extension.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The classical p -biharmonic operator is given by
which is a nonlinear, elliptic, fourth order generalization of the well-known biharmonic operator \((-\Delta )^2\). A general boundary value problem for the p -biharmonic operator could then be formulated as follows: Find a function \(u:\Omega \rightarrow {\mathbb R}\) solving
for \(j=1,2\), where \(\Omega \subset {\mathbb R}^n\) is some domain with sufficiently smooth boundary, \(f:\Omega \times {\mathbb R}\rightarrow {\mathbb R}\) a possibly nonlinear function, \(B_j\), \(j=1,2\), are some boundary operators and \(g_1,g_2:\partial \Omega \rightarrow {\mathbb R}\) are given boundary data. Typical boundary conditions which have been studied in the existing literature are the Navier boundary conditions \(u=g_1,\,\Delta u=g_2\) on \(\partial \Omega \), the Dirichlet boundary conditions \(u=g_1,\,\partial _{\nu }u=g_2\) on \(\partial \Omega \), where \(\nu \) denotes the unit outer normal to \(\partial \Omega \), or combinations of them which are called mixed Dirichlet–Navier boundary conditions. The regularity properties of biharmonic functions, that is solutions to (2) with \(f\equiv 0\), spectral properties of biharmonic operators, variational formulations and unique continuation principles have been studied extensively for \(p=2\) (see e.g. the articles [48] for well-posedness, regularity properties, [14, 79] for spectral properties and [21, 23, 83] for the strong unique continuation properties for the fourth order elliptic equation). Moreover, in the article [20] Caffarelli and Friedman studied the obstacle problem for the biharmonic operator. In recent years, many of these results have been extended to the case \(p\ne 2\). For example in the works [40, 106] the authors analyzed the spectrum of the p -biharmonic operator and showed that the eigenvalue problem associated to (1), namely problem (2) with \(f(x,u)=\lambda |u|^{p-2}u\) and homogeneous Navier boundary conditions, have a simple, isolated least positive eigenvalue \(\lambda _+>0\).
This work is devoted to the study of the anisotropic fractional p - biharmonic operators
where \(1< p < \infty \), \(s > 0\) and \(A\in L^{\infty }({\mathbb R}^n;{\mathbb R}^{m\times m})\) is a symmetric, positive definite, uniformly elliptic matrix-valued function. We will simply call the operator (3) as the fractional p- biharmonic operator when \(A=\textbf{1}_m\) and often restrict to the truly fractional cases \(s \in {\mathbb R}_+ \setminus {\mathbb Z}\) or \(s \in {\mathbb R}_+ {\setminus } 2{\mathbb Z}\). The associated exterior value problem takes the form
where \(\Omega _e:= {\mathbb R}^n\setminus \overline{\Omega }\) is the exerior of \(\Omega \), \(f:{\mathbb R}^n\times {\mathbb R}\rightarrow {\mathbb R}\) is a possibly nonlinear function or \(f\in (\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m))^*\) (see Sect. 3), which models an interior source, and \(g\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) is the prescribed exterior value of u. As we will see later, in the cases \(f\equiv 0\) (pure exterior value problem) or \(f\in (\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m))^*\) and \(g\equiv 0\) (pure interior source problem), the solutions u can be obtained by minimizing a related energy functional (called p -energy). The considered energy functional is similar to the one considered in the work [31] but there s is fixed to the critical value \(s=n/p\), \(A=\textbf{1}_m\) and the authors considered functions u taking values in a closed Riemannian manifold \(N\subset {\mathbb R}^m\).
Next, we describe our main contributions (the detailed discussion is given in Sect. 2) and the structure of this article. We introduce the basic notation and functional setting used in this work in Sect. 3. We start in Sect. 4 by showing that the fractional p -biharmonic operator (3) studied in this work naturally appears in the variational characterization of the optimal fractional Poincaré constants in Bessel potential spaces. In fact, we prove that there is a function \(u\in H^{s,p}({\mathbb R}^n)\) whose p -energy coincides with \(C^{-p}_*\), where \(C_*\) is the optimal Poincaré constant, and it solves (4) with \(f(x,u)=\lambda |u|^{p-2}u\) for some \(\lambda >0\). In Sect. 5, we establish the existence and uniqueness of weak solutions to the (anisotropic) fractional p -biharmonic systems (4) in the two mentioned limiting cases of pure exterior values and interior sources. We define the exterior Dirichlet-to-Neumann (DN) maps related to the anisotropic fractional p -biharmonic operators in Sect. 6. We study unique continuation properties (UCP) of these nonlinear, nonlocal operators, in Sect. 7. Finally, in Sect. 8, we establish monotonicity relations for the fractional p -biharmonic operators and uniqueness results for the related exterior data inverse problems in the presence of monotonicity assumptions for certain conformal coefficients of a priori known anisotropy.
2 Main results of the article and comparison to the literature
In this section, we state and discuss the main results obtained in this work. We also briefly compare our results to the existing literature on the way. We refer to the following books on the basics of the fractional Laplacian, fractional Sobolev spaces and their applications [100, 105].
2.1 On the optimal fractional Poincaré constants
For any bounded open set \(\Omega \subset {\mathbb R}^n\), \(1< p <\infty \) and \(s \ge 0\) there exists a constant \(C(n,p,s,\Omega ) > 0\) such that
for all \(u \in C_c^\infty (\Omega )\) (see e.g. [4, Lemma 3.3] or [96, Lemma 5.4]). Later on we will refer to (5) as the fractional Poincaré inequality. Note that we do not require any boundary regularity of the domain \(\Omega \), which is similar as for example in the classical Sobolev embedding theorem for \(W^{k,p}_0(\Omega )\)-functions (see e.g. [101, Theorem A.5]) and hence for the Poincaré inequality in these spaces. We establish a variational characterization of the optimal fractional Poincaré constant in (5) when \(1< p < \infty \) and \(s > 0\). This characterization is directly related to the fractional p -biharmonic operator given in (3) and in part motivates to investigate properties of the fractional p -biharmonic operators and their other relations with the fractional Laplacians. Further references on (5) and the higher order fractional Laplacians can be found in [96].
One important application of the fractional Poincaré inequalities is to show well-posedness results for certain nonlocal partial differential equations (PDEs). More precisely, these inequalities allow to obtain coercivity estimates for the weak formulations of some nonlocal operators which together with the Lax–Milgram theorem prove existence of unique solutions (see e.g. [46, 90, 96]). Moreover, we point out that the constant in the stability estimates of the obtained unique solutions via the Lax–Milgram theorem depend linearly on the Poincaré constant which further motivates the study of the optimal fractional Poincaré constants.
The standard examples of nonlocal PDEs are the uniformly elliptic integro-differential operators which have the form
where the kernel \(K:{\mathbb R}^n\rightarrow {\mathbb R}\) satisfies
for all \(x\in {\mathbb R}^n\) with \(0<\lambda <\Lambda \), \(0<s<1\) and p.v. stands for the Cauchy principal value. These operators naturally show up as the infinitesimal generators of stable Lévy processes or more precisely the associated semigroups. A particular simple and well-behaved uniformly elliptic integro-differential operator is the fractional Laplacian \((-\Delta )^s\) for \(0<s<1\), which corresponds to a stable, radially symmetric Lévy process, and its higher order generalization to \(s\in {\mathbb R}_+\) (see e.g. [46, 90]). The cases when \(p \ne 2\) appear naturally in the studies of nonlinear PDEs and the standard example is the fractional p -Laplacian which is usually defined as
for \(0<s<1\) and some normalizing constant \(C_1>0\). The constant \(C_1\) can be chosen in such a way that \((-\Delta _p)^su\rightarrow -\Delta _pu\) as \(s\uparrow 1\) and \((-\Delta )^s_pu\rightarrow (-\Delta )^su\) as \(p\downarrow 2\) for sufficiently smooth functions u, where \(\Delta _p\) denotes the p -Laplacian defined by \(\Delta _p u:= \text {div}(|\nabla u|^{p-2}\nabla u)\) (see e.g. [37] and references therein). The fractional Poincaré inequality, the Sobolev embedding theorem and inequalities for closely related operators have been studied extensively in the literature (see e.g. [33, 46, 66, 80, 88]).
For any \(1< p<\infty \), \(s\ge 0\) and an open bounded set \(\Omega \subset {\mathbb R}^n\), we define the set
and the energy functional
We have obtained the following result on the optimal fractional Poincaré constants:
Theorem 2.1
Let \(1< p<\infty \), \(s> 0\) and \(\Omega \subset {\mathbb R}^n\) be an open bounded set and denote by \(C_*=C_*(n,p,s,\Omega )>0\) the optimal fractional Poincaré constant. Then the following statements hold:
-
(i)
The constant \(C_*\) satisfies
$$\begin{aligned} C_*^{-p}=\inf _{v\in \mathcal {M}_p}\mathcal {E}_p(v). \end{aligned}$$ -
(ii)
There exists a minimizer \(u\in \mathcal {M}_p\) with \(\lambda _{1,s,p}:=\mathcal {E}_p(u)>0\).
-
(iii)
Any minimizer \(u\in \mathcal {M}_p\) solves the following Euler–Lagrange equation
$$\begin{aligned} \int _{{\mathbb R}^n}|(-\Delta )^{s/2}u|^{p-2}(-\Delta )^{s/2}u (-\Delta )^{s/2}v\,dx=\lambda _{1,s,p}\int _{{\mathbb R}^n}|u|^{p-2}uv\,dx \end{aligned}$$(7)for all \(v\in \widetilde{H}^{s,p}(\Omega )\).
-
(iv)
If \(0\ne v\in \widetilde{H}^{s,p}(\Omega )\), \(\mu \in {\mathbb C}\) satisfy
$$\begin{aligned} \int _{{\mathbb R}^n}|(-\Delta )^{s/2}v|^{p-2}(-\Delta )^{s/2}v (-\Delta )^{s/2}w\,dx=\mu \int _{{\mathbb R}^n}|v|^{p-2}vw\,dx \end{aligned}$$(8)for all \(w\in C_c^{\infty }(\Omega )\), then \(\mu \in {\mathbb R}\) and there holds \(\mu \ge \lambda _{1,s,p}\).
Theorem 2.1 is completely analogous to the well-known classical result, which connects the optimal Poincaré constant in \(\Vert u\Vert _{L^p(\Omega )}\le C\Vert \nabla u\Vert _{L^p(\Omega )}\) and the p -Laplace operator \(\Delta _p\) (see e.g. [24, 41, 76, 85]). We remark that the fractional p -Laplacian (6) also shows up similarly in the variational characterization of the optimal Poincaré constants in Slobodeckij–Gagliardo spaces \(W^{s,p}(\Omega )\) (see e.g. [10, Section 3] and [88]). In the setting of Slobodeckij–Gagliardo spaces, higher order eigenvalues of the fractional p -Laplacians and fractional capacities of sets are also studied recently (see e.g. [12, 13, 34]). The authors are not aware of similar studies for the Bessel potential seminorms (i.e. \(L^p\) norms of the fractional Laplacians) or for the fractional p -biharmonic operators. In part, these connections and analogies make it tempting to study the properties of the fractional p -biharmonic operators further.
2.2 On the unique continuation properties of the fractional Laplacians and p -biharmonic systems
Unique continuation properties for (elliptic) operators have a long history [1, 3, 16, 74] and dates back at least to Riesz [89]. Roughly speaking this principle states that any solution of an elliptic equation that vanishes in an open set must be identically zero. It has several applications in inverse problems, control theory and existence theory for PDEs. There are various methods to prove the unique continuation principles for elliptic problems. One could recall Holmgren’s uniqueness theorem to obtain the UCP for elliptic PDEs involving real analytic coefficients, see [69]. There are also certain inequalities, such as the doubling inequalities, three sphere inequalities, frequency function methods and Carleman estimates, that can be used to establish the UCP for elliptic equations for less regular coeffiecients, see e.g. [77]. However, the method of Carleman estimates has great importance in proving the UCP as well as solving several inverse problems (see e.g. [35, 68, 73, 102]). In this article, we study similar properties for the fractional Laplacians and fractional p -biharmonic operators. We have proved the following UCP result for the fractional Laplacian in all Bessel potential spaces, excluding the end point \(p=\infty \):
Theorem 2.2
(UCP) Let \(1\le p<\infty \), \(s\in {\mathbb R}_+\setminus {\mathbb N}\) and \(r\in {\mathbb R}\). If \(u\in H^{r,p}({\mathbb R}^n)\) satisfies \((-\Delta )^su=u=0\) in a nonempty open set V, then \(u\equiv 0\) in \({\mathbb R}^n\).
This settles an open problem in [25, Question 7.1] and extends the result [25, Theorem 1.2 and Corollary 3.5] from \(1 \le p \le 2\) to the missing cases \(2< p < \infty \). The proof strategy is similar to [56, Theorem 1.2]. The higher order cases are proved by an iteration argument with the local operators \((-\Delta )^k\), \(k\in {\mathbb N}\), as in [25, Theorem 1.2]. In particular, the proof uses the Carleman estimates of Rüland [93, Proposition 2.2] for the Caffarelli–Silvestre (CS) extension [29, 30]. However, we need to use additional \(L^p\) estimates and make a specific localization argument for the extension problem. The proof of Theorem 2.2 is presented in Sect. 7.
Unique continuation properties for the fractional Laplacian and related nonlocal operators have been extensively studied in recent years. We summarize some of these results next. There are strong unique continuation results for \(0<s<1\) when one assumes higher regularity of the function [43, 93]. In the strong UCP, one replaces the condition \(u|_V=0\) by the requirement that u vanishes to infinite order at some point \(x_0\in V\). The higher order case \(s\in {\mathbb R}^+\setminus {\mathbb Z}\), \(s>1\), has been studied recently by several authors [44, 47, 108]. These results however assume some special conditions on the function u, i.e. they require that u is in a \(L^2\) Sobolev space which depends on the power s of the fractional Laplacian \((-\Delta )^s\). We also point the interested reader to the work [72] where the author proves a higher order Runge approximation property by s-harmonic functions u in the unit ball \(B_1\) when \(s\in {\mathbb R}^+\setminus {\mathbb Z}\). In the range \(0<s<1\), this result has already been established in [36]. Similar higher regularity approximation results are proved in the article [56] for the fractional Schrödinger equation. The UCP when \(p=2\) and the closely related Runge approximation have been applied in several nonlocal inverse problems to obtain uniqueness results (see e.g. [28, 55, 56, 96]). Another interesting application of the UCP comes from computed tomography [25, 67] as the Riesz potentials (i.e. the inverses of fractional Laplacians) naturally appear after the so called backprojections in different tomographies.
We denote by \(\mathbb {S}_+^m\) the class of functions \(A\in L^{\infty }({\mathbb R}^n;{\mathbb R}^{m\times m})\) taking values in the set of symmetric, positive definite matrices and satisfying the uniform ellipticity condition
for all \(v\in {\mathbb R}^m\) and a pair of real numbers \(0<\lambda <\Lambda \). The anisotropic fractional p -biharmonic operator \((-\Delta )^s_{p,A}\) is given weakly by
for all \(u,v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) and maps \(H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) to \((H^{s,p}({\mathbb R}^n;{\mathbb R}^m))^*\). Using Theorem 2.2, we are able to prove the following UCP result for the anisotropic fractional p -biharmonic systems:
Theorem 2.3
(UCP for the anisotropic fractional p -biharmonic operator) Let \(m\in {\mathbb N}\), \(1< p<\infty \), \(s> 0\) with \(s\notin 2{\mathbb N}\) and \(A\in \mathbb {S}_+^m\). Assume that \(\Omega \subset {\mathbb R}^n\) is an open set, let \(u_1,u_2\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) and define the functions \(v_i\in L^{p'}({\mathbb R}^n;{\mathbb R}^m)\) by
for \(i=1,2\). If there holds
then \(u_1\equiv u_2\) in \({\mathbb R}^n\).
Theorem 2.3 is proved in Sect. 7. See also Corollary 7.7 for some simpler special cases, and Proposition 7.9 for a measurable UCP with some additional restrictions on the paramaters. We use Theorem 2.3 to show uniqueness in our inverse problems.
2.3 The exterior data inverse problem and monotonicity relations
Ghosh, Salo and Uhlmann showed in [56] that partial exterior DN data associated with the fractional Schrödinger equation of order \(0< s < 1\)
determines uniquely the potential \(q \in L^\infty (\Omega )\). The typical solution to the inverse problem is based on the Runge approximation property for the forward model, which follows from the unique continuation principle of the fractional Laplacian and a nonconstructive Hahn–Banach argument. One may determine the potential q from a single measurement [55, 94] and the inverse problem is exponentially instable [91, 92]. Generalizations of the model problem (9) have been studied extensively in the literature in the elliptic cases [22, 26, 27, 58, 81, 92, 96] and the inverse problem is known to be uniquely solvable for local perturbations of any fixed nonlocal operator with the UCP whenever the forward problem is well-posed [96]. There is also a comprehensive literature considering inverse problems for time-dependent equations with nonlocality, these examples include time-fractional, space-fractional and spacetime-fractional equations [9, 63, 70, 71, 82]. Inverse problems for nonlocal operators such as the fractional conductivity equation, fractional powers of elliptic operators and fractional spectral Laplacians have been recently studied in [28, 45, 58, 95]. More references can be found from the surveys [97, 107] and the aforementioned works.
Let \(m\in {\mathbb N}\), \(1< p<\infty \), \(s> 0\) and \(A\in \mathbb {S}_+^m\). If \(\Omega \subset {\mathbb R}^n\) is an open bounded set and \(f\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\), then by Theorem 5.8 there exists a unique weak solution \(u\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) to the exterior value problem
We define the so called abstract trace space as the quotient \(X_p=\nicefrac {H^{s,p}({\mathbb R}^n;{\mathbb R}^m)}{\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)}\). We then define the exterior DN map \(\Lambda _{p,A}:X_p\rightarrow X_p^*\) associated with (10) by
for all \(f,g\in X_p\), where \(u_f\) is the unique weak solution to the homogeneous fractional p -biharmonic system (10) and \(\mathcal {A}_{p,A}:H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\times H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\rightarrow {\mathbb R}\) is defined as
for all \(u,v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\). More details are given in Sects. 5 and 6. Given a conformal factor \(\sigma \in L^\infty ({\mathbb R}^n)\) with \(\sigma (x) \ge \sigma _0 > 0\) and a fixed anisotropy \(A\in \mathbb {S}_+^m\), we shortly write \(\Lambda _{\sigma } = \Lambda _{p,\sigma ^{2/p}A}\) (cf. Sect. 8). Our main theorem on the related inverse problem is the following single measurement result:
Theorem 2.4
Let \(1< p<\infty \) and \(s>0\) with \(s\notin 2{\mathbb N}\). Suppose that \(W\subset \Omega _e\) and \(D \subset {\mathbb R}^n\) are given nonempty open sets. Let \(\sigma _1, \sigma _2 \in L^{\infty }({\mathbb R}^n)\) satisfy \(\sigma _1(x),\sigma _2(x)\ge \sigma _0>0\) and \(\sigma _1\ge \sigma _2\) in \({\mathbb R}^n\). Moreover, suppose that \(\sigma _1\) is lower semicontinuous and \(\sigma _2\) upper semicontinuous in D. If \(\Lambda _{\sigma _1}u_0|_W = \Lambda _{\sigma _2}u_0|_W\) holds for some nonzero \(u_0\in C_c^{\infty }(W;{\mathbb R}^m)\), then \(\sigma _1 = \sigma _2\) in \(D \setminus W\).
We get a global uniqueness result for classes of conductivities which are assumed to be nontrivial in the whole Euclidean space \({\mathbb R}^n\). In the linear case, without any monotonicity assumptions, the first corresponding result with infinitely many measurements was obtained very recently in [28] by Covi and the two last named authors. Theorem 2.4 directly implies the global uniqueness result (which uses two measurements):
Theorem 2.5
Let \(1< p<\infty \) and \(s>0\) with \(s\notin 2{\mathbb N}\). Suppose that \(W\subset \Omega _e\) is a nonempty open set. Let \(\sigma _1, \sigma _2 \in L^{\infty }({\mathbb R}^n)\) satisfy \(\sigma _1(x),\sigma _2(x)\ge \sigma _0>0\) and \(\sigma _1\ge \sigma _2\) in \({\mathbb R}^n\). Moreover, suppose that \(\sigma _1\) is lower semicontinuous and \(\sigma _2\) upper semicontinuous in \({\mathbb R}^n\). If \(\Lambda _{\sigma _1}f|_W=\Lambda _{\sigma _2}f|_W\) for all \(f\in C_c^{\infty }(W;{\mathbb R}^m)\), then \(\sigma _1=\sigma _2\) in \({\mathbb R}^n\).
We remark our main theorem related to this inverse problem assumes the global monotonicity relation \(\sigma _1\ge \sigma _2\) in \({\mathbb R}^n\). Similar limitations are also present in the known uniqueness results for the p -Calderón problem, which can be thought as a practically relevant local, quasilinear, model problem sharing many similarities with the nonlocal problem studied in our article (see Sect. 2.3.1 for details). On the other hand, many variants of the fractional Calderón problems for linear equations have very strong uniqueness results and the framework of [56] has been very robust to solve many modified problems. Inverse problems for the fractional p -biharmonic systems require further studies and it remains a partly open question whether nonlocality permits stronger results also for quasilinear nonlocal equations. The proof of Theorem 2.4 is given in Sect. 8 and it relies on the UCP (Theorems 2.2 and 2.3) and adapts different methods appearing in the studies of fractional Calderón problems and the classical p -Calderón problem.
Monotonicity methods have been applied earlier in the fractional Calderón problem for the linear equation (9). In particular, Harrach and Lin showed in [61, 62] that \(q_1 \le q_2\) if and only if \(\Lambda _{q_1} \le \Lambda _{q_2}\). Very recently, Lin considered semilinear equations and used monotonicity arguments in the studies of the Calderón problem for nonlinear perturbations of the fractional Laplacians [78]. See also [65, 104] for other accounts of the monotonicity methods in inverse problems.
2.3.1 Further motivation and comparison with the p -Calderón problem
For \(1<p<\infty \), consider the Dirichlet problem for the anisotropic p -Laplace equation
where \(A\in \mathbb {S}_+^n\) and \(\sigma \in L^\infty (\Omega )\) with \(\sigma \ge \sigma _0 > 0\). The solution of (11) is the unique minimizer of the p -Dirichlet energy
over all \(v\in W^{1,p}(\Omega )\) with \(v-f \in W^{1,p}_0(\Omega )\), see [60, 103]. Now, let \(\mathcal {X}_p\) be the abstract trace space, i.e. \(\mathcal {X}_p := W^{1,p}(\Omega )/W_0^{1,p}(\Omega )\). Then the related DN map \(\Lambda ^p_{\sigma }:\mathcal {X}_p\rightarrow \mathcal {X}_p^*\) is weakly defined by
for all \(f,g\in \mathcal {X}_p\), where \(u_f \in W^{1,p}(\Omega )\) is the unique solution of (11) and \(g=v_g|_{\partial \Omega }\) with \(v_g\in W^{1,p}(\Omega )\). The p -Laplace equation is useful in studying certain nonlinear phenomena appearing in nonlinear dielectrics, plastic moulding, nonlinear fluids including electro-rheological and thermo-rheological fluids, fluids governed by a power law, viscous flows in glaciology, or plasticity (see e.g. [8] and the references therein). The n-Laplace equation has also a connection to the conformal geometry [84].
The inverse problem corresponding to the anisotropic p -Laplace equation is called the p -Calderón problem and asks to recover the conductivity \(\sigma \) from the DN map \(\Lambda _{\sigma }^p\). This quasilinear variant of the Calderón problem was introduced by Salo and Zhong in [103], where they proved the boundary uniqueness result stating that \(\Lambda _{\sigma }^p\) determines \(\sigma |_{\partial \Omega }\). First order boundary uniqueness was proved by Brander [15]. Other results include inclusion detection and inverse problems in the presence of obstacles [8, 75]. Numerical studies and linearization approaches were implemented in [59].
In [51], Guo, Salo and the first named author showed that if the two conductivities \(\sigma _1\) and \(\sigma _2\) are monotonic in the sense that \(\sigma _1\ge \sigma _2\) in \(\Omega \) and if \(A \in W^{1,\infty }(\Omega ; \mathbb {R}^{n \times n})\) has values in \(\mathbb {S}^n_+\), then the DN map is injective for Lipschitz conductivites when \(n = 2\) for \(1<p<\infty \). When \(n \ge 3\), similar uniqueness results hold under the assumption that one of the conductivities must be close to a constant and a \(C^{1,\alpha }\) regular matrix A is close to identity matrix. Further references on the monotonicity methods include [6, 19]. Interior uniqueness for the p -Calderón problem is still open without monotonicity assumptions, which is one motivation to consider nonlocal analogues of this problem. The proof in [51] is based on the UCP and a monotonicity inequality for the DN maps (a nonlocal version of this inequality is proved in Lemma 8.3).
The UCP of the p -Laplace equation in three and higher dimensions is an open problem to the best of our knowledge (see [53, Theorem 2.7] for a partial result). In two dimensions, the UCP is fairly well understood, see the works of Alessandrini [2], Bojarski–Iwaniec [7] and Manfredi [86]. In the variable coefficient case, see [5, Proposition 3.3] and [50]. Due to the lack of the UCP in three and higher dimensional domains for the equation (11), the interior uniqueness result for the higher dimensional p -Calderón problem in [51] has the mentioned, additional, limitations. However, the UCP for our fractional p-biharmonic systems (Theorem 2.3) holds in any dimension and is suitable for the analysis of the related inverse problem. Interestingly, the analogous results for our nonlocal problem (Theorems 2.4 and 2.5) hold in any dimension without making any additional stronger assumptions.
3 Preliminaries
In this section we first introduce the relevant function spaces used throughout this article and recall the mapping properties of the fractional Laplacians. Finally, we state the (fractional) Poincaré inequality on Bessel potential spaces and the Rellich–Kondrachov theorem which will be essential to prove existence (and uniqueness) of solutions to the variational problems and nonlocal, nonlinear, partial differential equations (PDEs) studied in this work.
3.1 Bessel potential spaces and fractional Laplacians
Throughout the article \(n,m\in {\mathbb N}\) are fixed natural numbers specifying the dimension of the domain and range of the functions under consideration. We denote the space of Schwartz functions by \(\mathscr {S}({\mathbb R}^n)\) and its dual, the space of tempered distributions, by \(\mathscr {S}^{\prime }({\mathbb R}^n)\). We define the Fourier transform on \(\mathscr {S}({\mathbb R}^n)\) by
and extend it by duality to \(\mathscr {S}^{\prime }({\mathbb R}^n)\). The Fourier transform \(\mathcal {F}\) acts as an isomorphism on the spaces \(\mathscr {S}({\mathbb R}^n)\), \(\mathscr {S}^{\prime }({\mathbb R}^n)\) and we denote its inverse by \(\mathcal {F}^{-1}u\) or \(\check{u}\). The Bessel potential of order \(s \in {\mathbb R}\) is the Fourier multiplier \(\left\langle D\right\rangle ^s:\mathscr {S}^{\prime }({\mathbb R}^n) \rightarrow \mathscr {S}^{\prime }({\mathbb R}^n)\), that is
where \(\left\langle \xi \right\rangle := (1+|\xi |^2)^{1/2}\) is the so-called Japanese bracket. If \(s \in {\mathbb R}\) and \(1 \le p < \infty \), the Bessel potential space \(H^{s,p}({\mathbb R}^n)\) is given by
endowed with the norm
For any open set \(\Omega \subset {\mathbb R}^n\) and closed set \(F\subset {\mathbb R}^n\), we introduce the following local Bessel potential spaces:
If \(u\in \mathscr {S}^{\prime }({\mathbb R}^n)\) is a tempered distribution and \(s\ge 0\), the fractional Laplacian of order s of u is the Fourier multiplier
whenever the right hand side is well-defined. If \(p\ge 1\) and \(t\in {\mathbb R}\), the fractional Laplacian is a bounded linear operator \((-\Delta )^{s}:H^{t,p}({\mathbb R}^n) \rightarrow H^{t-2s,p}({\mathbb R}^n)\).
Moreover, we denote by \(H^{s,p}({\mathbb R}^n;{\mathbb R}^m),\,\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m),\,H^{s,p}_F({\mathbb R}^n;{\mathbb R}^m)\) the \(m-\)fold cartesian product of the above scalar valued spaces and they are naturally endowed with the norm
We extend the Bessel potential operator \(\langle D\rangle ^s\) and the fractional Laplacian \((-\Delta )^s\) to these spaces by acting componentwise. Clearly, these operators share the same mapping properties on these vectorial spaces as in the scalar valued setting.
3.2 Poincaré inequalities on Bessel potential spaces and the Rellich–Kondrachov theorem
In this subsection we state a fractional Poincaré inequality and a variant of the Rellich–Kondrachov theorem which are adapted to our functional setting. The first result directly follows from Lemma 5.4 in [96]. The second one can be proved, as is done below, using compact embeddings in Besov-type and Triebel–Lizorkin-type spaces on smooth bounded domains [49].
Theorem 3.1
(Fractional Poincaré inequality on bounded sets) Let \(\Omega \subset {\mathbb R}^n\) be a bounded open set, \(s>0\), \(1< p < \infty \) and \({\mathbb K}={\mathbb C}\) or \({\mathbb K}={\mathbb R}^m\). Then there exists \(C(n,p,s,\Omega ,{\mathbb K})>0\) such that
for all \(u \in \widetilde{H}^{s,p}(\Omega ;{\mathbb K})\).
Theorem 3.2
(Rellich–Kondrachov theorem) Let \(\Omega \subset {\mathbb R}^n\) be a bounded open set, \(s>0\), \(1< p < \infty \) and \({\mathbb K}={\mathbb C}\) or \({\mathbb K}={\mathbb R}^m\). Then the embedding \(\widetilde{H}^{s,p}(\Omega ;{\mathbb K}) \hookrightarrow L^p({\mathbb R}^n;{\mathbb K})\) is compact.
Proof
Without loss of generality we can restrict ourselves to the complex valued case. Let \(\overline{\Omega } \subset \Omega '\) where \(\Omega '\) is a smooth bounded domain. By [49, Remark 2.6, Definition 2.10] one has \(F^{s,0}_{p,q}(\Omega ')=F^{s}_{p,q}(\Omega ')\) for \(s\in {\mathbb R},1<p<\infty \), \(0<q\le \infty \), where \(F^{s,\tau }_{p,q}(\Omega ')\), \(0\le \tau \le \infty \), denotes the generalized Triebel-Lizorkin space. Since the Triebel–Lizorkin spaces coincide with the Bessel potential space for \(q=2\) we have the identification \(F^{s,0}_{p,2}(\Omega ')=H^{s,p}(\Omega ')\) for \(s\in {\mathbb R},1<p<\infty \). Therefore, [49, Corollary 3.5] shows that \(H^{s,p}(\Omega ') \hookrightarrow L^p(\Omega ')\) is compact. By the embeddings \(\widetilde{H}^{s,p}(\Omega ) \hookrightarrow \widetilde{H}^{s,p}(\Omega ')\hookrightarrow H^{s,p}(\Omega ')\) and \(u=0\) a.e. in \({\mathbb R}^n\setminus \overline{\Omega }\) for all \(u\in \widetilde{H}^{s,p}(\Omega )\) with \(s\ge 0\), it follows that \(\widetilde{H}^{s,p}(\Omega )\hookrightarrow L^p({\mathbb R}^n)\) is compact. \(\square \)
3.3 Caffarelli–Silvestre extension problems
The purpose of this section is to recall the extension technique introduced by Caffarelli and Silvestre in [29]. More precisely, they showed in their celebrated work that the fractional Laplacian of a smooth bounded function \(f:{\mathbb R}^n\rightarrow {\mathbb R}\) can be obtained as a weighted normal derivative of a function \(u:{\mathbb R}^{n+1}_+\rightarrow {\mathbb R}\) solving a degenerate elliptic equation in \({\mathbb R}^{n+1}_+={\mathbb R}^n\times (0,\infty )\).
To make the presentation more transpartent we first fix some notation. We will always use the variable x to label points in \({\mathbb R}^n\), the variable y for points in \({\mathbb R}_+\) and capital letters X when we refer to points in \({\mathbb R}^{n+1}\). Moreover, to highlight that a partial differential operator (PDO) \(P=P(\partial )\) acts on \({\mathbb R}^{n+1}_+\) we will use the symbol \(\overline{P}\). In particular, we write \({{\,\mathrm{\overline{\nabla }}\,}}\), \({{\,\mathrm{\overline{div}}\,}}\) and \( \overline{\Delta }\) to denote the gradient, the diveregence and the Laplacian on \({\mathbb R}^{n+1}_+\). Of particular interest, related to extension problems, is the following PDO
when \(0<s<1\). A straight forward computation shows the identity
Next we recall the notion of Muckenhoupt weights and introduce a particular class of weighted Sobolev spaces (cf. [57]). For any \(1<p<\infty \), we say that a weight \(w:{\mathbb R}^n\rightarrow [0,\infty )\) belongs to the Muckenhoupt class \(A_p\) if there holds
for all balls \(B\subset {\mathbb R}^n\), where \(1<p'<\infty \) satisfies \(1/p+1/p'=1\). A direct calculation shows that \(|y|^{1-2s}\,dxdy\) is an \(A_2\) weight in \({\mathbb R}^{n+1}\). By [54, Proposition 7.1.5] we deduce that \(|y|^{1-2s}\) is an \(A_p\) weight for \(p\ge 2\). Therefore, following [57] we can define for any \(0<s<1\), \(2\le p<\infty \) and (relatively) open sets \(\Omega \subset \overline{{\mathbb R}^{n+1}_+}\) the weighted Sobolev spaces \(W^{1,p}(\Omega ,y^{1-2s})\) as the set of all measurable functions \(u:\Omega \rightarrow {\mathbb R}\) satisfying
with
As shown in [57] the spaces \(W^{1,p}(\Omega ,y^{1-2s})\) endowed with \(\Vert \cdot \Vert _{W^{1,p}(\Omega ,y^{1-2s})}\) are Banach spaces. Moreover, we say that \(u\in W^{1,p}_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2s})\) if there holds \(u\in W^{1,p}(B_r\times (0,r),y^{1-2s})\) for any \(r>0\), where \(B_r\) denotes the open ball at the origin with radius \(r>0\) in \({\mathbb R}^n\). As usual for \(p=2\) we set \(W^{1,2}(\Omega ,y^{1-2s})=H^1(\Omega ,y^{1-2s})\) and \(W^{1,2}_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2s})=H^1_{loc}({\mathbb R}^{n+1}_+,y^{1-2s})\).
Now we are ready to state the aforementioned result of Caffarelli and Silvestre:
Theorem 3.3
Let \(0<s<1\). Then for any \(u\in H^s({\mathbb R}^n)\) there is a unique function \(U\in H^1_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\), which solves the extension problem
and there exists a constant \(c_{n,s}>0\) such that there holds
in \(H^{-s}({\mathbb R}^n)\). Moreover, the unique extension U can be represented as the convolution \(U=C_{n,s} P(\cdot ,y)*u\), where
is the so called generalized Poisson kernel and \(C_{n,s}:= \Vert P(\cdot ,1)\Vert _{L^1({\mathbb R}^n)}^{-1}\).
Later on in Sect. 7 we will use this explicit representation of the extension U via the generalized Poisson kernel P to show that the CS extension can be extended to the \(L^p\) setting when \(p>2\).
3.4 Conventions
Throughout the whole article we denote by \(1<p'<\infty \) the Hölder conjugated exponent to \(1<p<\infty \). Moreover, the dimension n of the domain is fixed to be any natural number but since the results are independent of n we do not further specify it. Furthermore, we denote by \(B_r(x_0)\) the ball of radius \(r>0\) around \(x_0\in {\mathbb R}^n\) in \({\mathbb R}^n\) and by \(B^{n+1}(X_0)\) around \(X_0\in {\mathbb R}^{n+1}\) in \({\mathbb R}^{n+1}\), we set \(B_r:= B_r(0)\), \(B_r^{n+1}:= B_r^{n+1}(0)\) and \(B_{r,+}^{n+1}:= B_r^{n+1}\cap \overline{{\mathbb R}^{n+1}_+}\).
4 A variational characterization of the fractional Poincaré constant on Bessel potential spaces
In this section, we show that the fractional p -biharmonic operator, whose related inverse problem is studied later on, naturally appears when one wants to obtain a variational characterization of the fractional Poincaré constant in Theorem 3.1.
Proof of Theorem 2.1
-
(i)
This is immediate from the definition of the optimal Poincaré constant.
-
(ii)
Using the fractional Poincaré inequality (Theorem 3.1 ) and the splitting of the Bessel norm \(\Vert u\Vert _{H^{s,p}({\mathbb R}^n)}\sim \Vert u\Vert _{L^p({\mathbb R}^n)}+\Vert (-\Delta )^{s/2}u\Vert _{L^p({\mathbb R}^n)}\) we can endow \(\widetilde{H}^{s,p}(\Omega )\) with the equivalent norm \(\Vert u\Vert _{\widetilde{H}^{s,p}(\Omega )}:=\Vert (-\Delta )^{s/2}u\Vert _{L^p({\mathbb R}^n)}\) for \(u\in \widetilde{H}^{s,p}(\Omega )\). Then \((\widetilde{H}^{s,p}(\Omega ),\Vert \cdot \Vert _{\widetilde{H}^{s,p}(\Omega )})\) is clearly a reflexive Banach space as a closed subspace of a reflexive space. Next we show that \(\mathcal {M}_p\subset \widetilde{H}^{s,p}(\Omega )\) is weakly closed in \(\widetilde{H}^{s,p}(\Omega )\). Assume \((u_n)_{n\in {\mathbb N}}\subset \mathcal {M}_p\) converges weakly to \(u\in \widetilde{H}^{s,p}(\Omega )\). By the Rellich-Kondrachov theorem (Theorem 3.2), the embedding \(\widetilde{H}^{s,p}(\Omega )\hookrightarrow L^p({\mathbb R}^n)\) is compact and thus \(u_n\rightarrow u\) strongly in \(L^p({\mathbb R}^n)\), but this guarantees that \(u\in \mathcal {M}_p\). By the very definition of \(\mathcal {E}_p\), it is a coercive and sequentially lower semi-continuous functional on \(\mathcal {M}_p\) and hence by [101, Theorem 1.2] there exists a minimizer \( u\in \mathcal {M}_p\) of \(\mathcal {E}_p\) such that \(\mathcal {E}_p(u)>0\). The strict positivity follows from the fact that \(\mathcal {E}_p(u)=0\) would imply by the fractional Poincaré inequality that \(u=0\) and so u could not belong to \(\mathcal {M}_p\).
-
(iii)
Fix \(\phi \in C_c^{\infty }(\Omega )\) and let \(|\epsilon |\le \epsilon _0\), where \(\epsilon _0>0\) is chosen in such a way that \(\epsilon _0\Vert \phi \Vert _{L^p({\mathbb R}^n)}\le 1/2\). Note that this guarantees by the triangle inequality
$$\begin{aligned} \Vert u+\epsilon \phi \Vert _{L^p({\mathbb R}^n)}\ge \Vert u\Vert _{L^p({\mathbb R}^n)}-|\epsilon |\Vert \phi \Vert _{L^p({\mathbb R}^n)}\ge 1-\epsilon _0\Vert \phi \Vert _{L^p({\mathbb R}^n)}\ge 1/2 \end{aligned}$$for all \(|\epsilon |\le \epsilon _0\). Hence, we have \(u_{\epsilon }=\frac{u+\epsilon \phi }{\Vert u+\epsilon \phi \Vert _{L^p({\mathbb R}^n)}}\in \mathcal {M}_p\). Next note that
$$\begin{aligned} \left. \frac{d}{d\epsilon }\right| _{\epsilon =0}|z+\epsilon w|^p=p|z|^{p-2}(z_1w_1+z_2w_2)=p|z|^{p-2}\text {Re}(\bar{z}w) \end{aligned}$$for all \(z=z_1+iz_2,w=w_1+iw_2\in {\mathbb C}\), since \(p>1\). Thus, using the dominated convergence theorem and the fact that u is a minimizer, we obtain
$$\begin{aligned} \begin{aligned} 0&=\left. \frac{d}{d\epsilon }\right| _{\epsilon =0}\mathcal {E}_p(u_{\epsilon })=\left. \frac{d}{d\epsilon }\right| _{\epsilon =0}\frac{\int _{{\mathbb R}^n}|(-\Delta )^{s/2}u+\epsilon (-\Delta )^{s/2}\phi |^p\,dx}{\int _{{\mathbb R}^n}|u+\epsilon \phi |^p\,dx}\\&=p\left( \int _{{\mathbb R}^n}|(-\Delta )^{s/2}u|^{p-2}\text {Re}(\overline{(-\Delta )^{s/2}u}(-\Delta )^{s/2}\phi )\,dx-\lambda _{1,s,p}\int _{{\mathbb R}^n}|u|^{p-2}\text {Re}(\overline{u}\phi )\,dx\right) \end{aligned} \end{aligned}$$for all \(\phi \in C_c^{\infty }(\Omega )\), where we have used \(\Vert u\Vert _{L^p({\mathbb R}^n)}=1\) and set \(\lambda _{1,s,p}=\Vert (-\Delta )^{s/2}u\Vert _{L^p({\mathbb R}^n)}^p\). Since the fractional Laplacian is generated by a real-valued, radial multiplier we have \(\overline{(-\Delta )^{s/2}u}=(-\Delta )^{s/2}\bar{u}\) for all \(u\in H^{s,p}({\mathbb R}^n)\), and thus we deduce
$$\begin{aligned} \begin{aligned}&\int _{{\mathbb R}^n}|(-\Delta )^{s/2}u|^{p-2}((-\Delta )^{s/2}\overline{u} (-\Delta )^{s/2}\phi +(-\Delta )^{s/2}u(-\Delta )^{s/2}\overline{\phi })\,dx\\&=\lambda _{1,s,p}\int _{{\mathbb R}^n}|u|^{p-2}(\overline{u}\phi +u\overline{\phi })\,dx,\\&\int _{{\mathbb R}^n}|(-\Delta )^{s/2}u|^{p-2}((-\Delta )^{s/2}u(-\Delta )^{s/2}\phi +(-\Delta )^{s/2} \overline{u}(-\Delta )^{s/2}\overline{\phi })\,dx\\&=\lambda _{1,s,p}\int _{{\mathbb R}^n}|u|^{p-2}(u\phi +\overline{u}\overline{\phi })\,dx. \end{aligned} \end{aligned}$$The second identity follows from the first one by replacing \(\phi \) by \(\bar{\phi }\). Adding, subtracting these two identities, respectively, we have
$$\begin{aligned} \begin{aligned}&\int _{{\mathbb R}^n}|(-\Delta )^{s/2}u|^{p-2}((-\Delta )^{s/2}u+(-\Delta )^{s/2}\overline{u})((-\Delta )^{s/2}\phi +(-\Delta )^{s/2}\overline{\phi })\,dx\\&=\lambda _{1,s,p}\int _{{\mathbb R}^n}|u|^{p-2}(u+\overline{u})(\phi +\overline{\phi })\,dx,\\&\int _{{\mathbb R}^n}|(-\Delta )^{s/2}u|^{p-2}((-\Delta )^{s/2}u-(-\Delta )^{s/2}\overline{u})((-\Delta )^{s/2}\phi -(-\Delta )^{s/2}\overline{\phi })\,dx\\&=\lambda _{1,s,p}\int _{{\mathbb R}^n}|u|^{p-2}(u-\overline{u})(\phi -\overline{\phi })\,dx. \end{aligned} \end{aligned}$$Choosing \(\phi \) real-valued, purely imaginary valued in the first and second equation, respectively, we get
$$\begin{aligned} \begin{aligned} \text {Re}\left( \int _{{\mathbb R}^n}\left( |(-\Delta )^{s/2}u|^{p-2}(-\Delta )^{s/2}u (-\Delta )^{s/2}\phi -\lambda _{1,s,p}|u|^{p-2}u\phi \right) \,dx\right) =0\\ \text {Im}\left( \int _{{\mathbb R}^n}\left( |(-\Delta )^{s/2}u|^{p-2}(-\Delta )^{s/2}u (-\Delta )^{s/2}\phi -\lambda _{1,s,p}|u|^{p-2}u\phi \right) \,dx\right) =0\\ \end{aligned} \end{aligned}$$for all \(\phi \in C_c^{\infty }(\Omega ;{\mathbb R})\) and therefore there holds
$$\begin{aligned} \int _{{\mathbb R}^n}|(-\Delta )^{s/2}u|^{p-2}(-\Delta )^{s/2}u (-\Delta )^{s/2}\phi \,dx=\lambda _{1,s,p}\int _{{\mathbb R}^n}|u|^{p-2}u\phi \,dx \end{aligned}$$for all \(\phi \in C_c^{\infty }(\Omega )\). Hence, we have established (7) for all \(\phi \in C_c^{\infty }(\Omega )\). Next, we show that it in fact holds for all \(\phi \in \widetilde{H}^{s,p}(\Omega )\). If \(u\in H^{s,p}({\mathbb R}^n)\) then we deduce from Hölder’s inequality that
$$\begin{aligned} U:=|(-\Delta )^{s/2}u|^{p-2}(-\Delta )^{s/2}u\in L^{p'}({\mathbb R}^n)\quad \text {with}\quad \Vert U\Vert _{L^{p'}({\mathbb R}^n)}=\Vert (-\Delta )^{s/2}u\Vert _{L^p({\mathbb R}^n)}^{p-1}<\infty , \end{aligned}$$where \(1<p'<\infty \) satisfies \(1/p+1/p'=1\). Using the mapping properties of the fractional Laplacian and Hölder’s inequality, we see that the derived identity holds for all \(\phi \in \widetilde{H}^{s,p}(\Omega )\).
-
(iv)
Since \(v\in \widetilde{H}^{s,p}(\Omega )\), we can test (8) by \(\bar{v}\) to obtain
$$\begin{aligned} \int _{{\mathbb R}^n}|(-\Delta )^{s/2}v|^p\,dx=\mu \int _{{\mathbb R}^n}|v|^p\,dx \end{aligned}$$and hence \(\mu \in {\mathbb R}_+\). Therefore \(w=v/\Vert v\Vert _{L^p({\mathbb R}^n)}\in \mathcal {M}_p\) satisfies
$$\begin{aligned} \mu =\mathcal {E}_p(w)\ge \mathcal {E}_p(u)=\lambda _{1,s,p} \end{aligned}$$for any minimizer \(u\in \mathcal {M}_p\). \(\square \)
Remark 4.1
The applied methods can be adapted to construct minimizers of energy functionals which has an additional term involving a weighted \(L^q\) norm of u similarly as in [39] or even more general situations.
5 Existence theory for fractional p -biharmonic type equations
In Sect. 5.1, we first introduce a class of anisotropic fractional p -biharmonic operators, which naturally arise in the Euler–Lagrange equations of certain energy functionals. In Sect. 5.2, we then prove well-posedness results for these anisotropic fractional p -biharmonic operators in the cases of pure interior source and pure exterior value as discussed in the introduction.
5.1 Anisotropic fractional p -biharmonic operators
We first define a class of matrices which will be used throughout this article and introduce the associated energy functionals. Then we introduce the anisotropic fractional p -biharmonic operators and make several remarks in which we explain briefly the used terminology and discuss other possibilities of defining anisotropic fractional p -biharmonic operators.
Definition 5.1
(Anisotropic p -energies) Let \(m\in {\mathbb N}\), \(s>0\) and \(1<p<\infty \). We denote by \(\mathbb {S}_+^m\) the class of functions \(A\in L^{\infty }({\mathbb R}^n;{\mathbb R}^{m\times m})\) taking values in the set of symmetric, positive definite matrices and satisfying the ellipticity condition
for all \(v\in {\mathbb R}^m\) and a pair of real numbers \(0<\lambda <\Lambda \). For all \(A\in \mathbb {S}_+^m\), we define the related anisotropic p -energy by
for all \(u\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\), where \(A^{1/2}\) is the unique square root of A.
Proposition 5.2
(Anisotropic fractional p -biharmonic operators) Let \(m\in {\mathbb N}\), \(1<p<\infty \), \(s>0\) and \(A\in \mathbb {S}_+^m\) with ellipticity constants \(0<\lambda <\Lambda \). Then the anisotropic fractional p -biharmonic operator \((-\Delta )^s_{p,A}\) is given by
for all \(u,v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) and maps \(H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) to \((H^{s,p}({\mathbb R}^n;{\mathbb R}^m))^*\). Moreover, there holds
for all \(u\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) for some \(C_0>0\).
Remark 5.3
If \(m=1\) and \(A=1\), then we set \((-\Delta )^s_p:=(-\Delta )^s_{p,1}\) and call it fractional p -biharmonic operator. This terminology is motivated by the fact that the classical p -biharmonic operator is given by
which is a nonlinear variant of the usual biharmonic operator \(\Delta ^2\), and this operator coincides with \((-\Delta )^s_p\) for \(s=2\).
Remark 5.4
Here we want to highlight that one could define other variants of anisotropic fractional p -biharmonic operators solely based on the fractional Laplacian and a coefficient field A as:
-
(i)
\(A(-\Delta )^s_{p,m} u\) or \((-\Delta )^{s}_{p,m} A u\), where \((-\Delta )_{p,m}^s:=(-\Delta )_{p,\textbf{1}_m}^s\).
-
(ii)
or \((-\Delta )^{s/2}\left( |(-\Delta )^{s/2}u|^{p-2}A(-\Delta )^{s/2}u\right) \)
As long as \(A\in \mathbb {S}_+^m\) is sufficiently smooth the behaviour of solutions to the associated boundary value problem of the first two alternatives are quite similar as for the usual fractional p -biharmonic operator and thus we think there do not arise new interesting phenomena. On the other hand in the case (iii), we observe
for all \(u\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\), \(v\in C_c^{\infty }(\Omega ;{\mathbb R}^m)\). If \([A^T,(-\Delta )^{s/2}]=0\) then the solution to the associated boundary value problem can again be easily obtained, but if the commutator is nonzero then this definition could still lead to interesting, nontrivial solutions.
Proof
Let \(u\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) and note that the assumptions on A guarantee the estimate \(|A^{1/2}w|\le \Lambda |w|\) for all \(w\in {\mathbb R}^m\). Then the Cauchy–Schwartz inequality, Hölder’s inequality and the mapping properties of the fractional Laplacian imply
for all \(v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\). Taking the supremum over all nonzero \(v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\), we obtain the estimate (13). The rest of the statement now follows from the mapping properties of the fractional Laplacian and we can conclude the proof. \(\square \)
5.2 Well-posedness results for anisotropic fractional p -biharmonic operators
Next we introduce the used notion of weak solutions and show two closely related well-posedness results for the anisotropic fractional p -biharmonic operators. The second well-posedness result will then be used later to define the DN maps related to the exterior value problems for these operators.
Definition 5.5
(Weak solutions) Let \(m\in {\mathbb N}\), \(1< p<\infty \), \(s> 0\) and \(A\in \mathbb {S}_+^m\). Suppose that \(f\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) and \(F\in (\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m))^*\). Then we say that \(u\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) is a weak solution to the exterior value problem
if there holds
for all \(v\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\).
Before proceeding we recall the following well-known estimates:
Lemma 5.6
(cf. [98, eq. (2.2)], [52, Lemma 5.1\(-\)5.2]) Let \(m\in {\mathbb N}\), \(1<p<\infty \), then there exists \(c_p>0\) such that for all \(x,y\in {\mathbb R}^{m}\) there holds
if \(p\ge 2\) and
if \(1<p<2\).
Theorem 5.7
(Inhomogeneous equations with zero Dirichlet condition) Let \(m\in {\mathbb N}\), \(1< p<\infty \), \(s> 0\) and \(A\in \mathbb {S}_+^m\). If \(\Omega \subset {\mathbb R}^n\) is an open bounded set and \(F\in (\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m))^*\), then there exists a unique weak solution \(u\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) of
Moreover, the solution \(u\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) satisfies
for some \(C>0\).
Proof
Assume that \(A\in \mathbb {S}_+^m\) satisfies (12) with ellipticity constants \(0<\lambda <\Lambda \). Using the fractional Poincaré inequality (Theorem 3.1) and the splitting
we can endow \(\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) with the equivalent norm
Then \(\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) with the norm \(\Vert \cdot \Vert _{\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)}\) is a reflexive Banach space. More precisely, this follows from the fact that \(\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) with \(\Vert \cdot \Vert _{H^{s,p}({\mathbb R}^n;{\mathbb R}^m)}\) is a reflexive Banach spaces as a closed subspace of a reflexive Banach space, but the first one is isomorphic to \(\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) endowed with \(\Vert \cdot \Vert _{\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)}\) and so the latter is itself a reflexive Banach space. Next, we define
for all \(u\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\), where \(\mathcal {E}_{p,A}\) is the anisotropic p -energy from Definition 5.1. By assumption we have \(|A^{1/2}w|\ge \lambda |w|\) for all \(w\in {\mathbb R}^m\), and hence Young’s inequality implies
for all \(\epsilon >0\) and \(C_{\epsilon }=(\epsilon p)^{-p'/p}/p'\). Hence by choosing \(\epsilon =\lambda ^p/(2p)\), we obtain
for some \(C>0\) and therefore \(\mathcal {E}_{p,A,F}\) is coercive, in the sense that
Next note that \(\mathcal {E}_{p,A}\) is a convex, continuous functional on \(\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) and hence using [11, Proposition 2.10], we deduce that \(\mathcal {E}_{p,A,F}\) is weakly lower semi-continuous on \(\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\). Therefore, by [101, Theorem 1.2] there is a minimizer \(u\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) of \(\mathcal {E}_{p,A,F}\) for all \(1<p<\infty \).
By Hölder’s inequality and the dominated convergence theorem, we see that \(\mathcal {E}_{p,A,F}\) is a \(C^1-\)functional for all \(1<p<\infty \). Let \(u_{\epsilon }=u+\epsilon \phi \) with \(\phi \in C_c^{\infty }(\Omega ;{\mathbb R}^m)\) and \(\epsilon \in {\mathbb R}\). Since u is a minimizer of \(\mathcal {E}_{p,A,F}\), the function \(\epsilon \mapsto \mathcal {E}_{p,A,F}(u_{\epsilon })\) attains its minimum at \(\epsilon =0\). Therefore, by Hölder’s inequality and the dominated convergence theorem, we obtain
By approximation, we deduce that the minimizer u solves (14) as asserted. For the uniqueness statement, we distinguish the two cases \(2\le p<\infty \) and \(1<p<2\):
-
(i)
First assume that \(2\le p<\infty \). By applying Lemma 5.6 to the vectors \(x=u_s,\,y=v_s\), where \(u_s=A^{1/2}(-\Delta )^{s/2}u\) and \(v_s=A^{1/2}(-\Delta )^{s/2}v\) with \(u,v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\), we obtain the following strong monotonicity property
$$\begin{aligned} \begin{aligned}&\int _{{\mathbb R}^n}( |A^{1/2}(-\Delta )^{s/2}u|^{p-2}A(-\Delta )^{s/2}u -|A^{1/2}(-\Delta )^{s/2}v|^{p-2}A(-\Delta )^{s/2}v)\\&\quad \cdot ((-\Delta )^{s/2}u-(-\Delta )^{s/2}v)\,dx\\&\ge \lambda c_p\Vert (-\Delta )^{s/2}u-(-\Delta )^{s/2}v\Vert ^p_{L^p({\mathbb R}^n;{\mathbb R}^m)} \end{aligned} \end{aligned}$$(16)for all \(u,v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\). If \(u,v\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) then \(w=u-v\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) and hence if they solve (14) the left hand side of (16) is zero and therefore \(\Vert u-v\Vert _{\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)}=0\), which in turn implies \(u=v\) in \(\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\). Thus, the constructed minimizer is the unique solution.
-
(ii)
Next let \(1<p<2\). We apply the second identity in Lemma 5.6 to \(x=u_s,y=v_s\), where \(u_s=A^{1/2}(-\Delta )^{s/2}u\), \(v_s=A^{1/2}(-\Delta )^{s/2}v\) with \(u,v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\), raise it to the power p/2, integrate over \({\mathbb R}^n\) and use Hölder’s inequality to obtain
$$\begin{aligned} \begin{aligned} c_p^{p/2}\int _{{\mathbb R}^n}|u_s-v_s|^p\,dx&\le \int _{{\mathbb R}^n}(( |u_s|^{p-2}u_s-|v_s|^{p-2}v_s)\cdot (u_s-v_s))^{p/2}\\ {}&\quad (|u_s|+|v_s|)^{(2-p)p/2}\,dx\\&\le \Vert ( |u_s|^{p-2}u_s-|v_s|^{p-2}v_s)\cdot (u_s-v_s)\Vert _{L^1({\mathbb R}^n)}^{p/2}\Vert |u_s|+|v_s|\Vert _{L^p({\mathbb R}^n)}^{p(2-p)/2}\\&\le \left( \int _{{\mathbb R}^n}( |u_s|^{p-2}u_s-|v_s|^{p-2}v_s)\cdot (u_s-v_s)\,dx\right) ^{p/2}(\Vert u_s\Vert _{L^p({\mathbb R}^n;{\mathbb R}^m)}\\ {}&\quad +\Vert v_s\Vert _{L^p({\mathbb R}^n;{\mathbb R}^m)})^{p(2-p)/2} \end{aligned} \end{aligned}$$where we used \(\frac{2-p}{2}+\frac{p}{2}=1\) and
$$\begin{aligned} \begin{aligned} ( |u_s|^{p-2}u_s-|v_s|^{p-2}v_s)\cdot (u_s-v_s)^{p/2}\in L^{2/p}({\mathbb R}^n),\quad (|u_s|+|v_s|)^{(2-p)p/2}\in L^{2/(2-p)}({\mathbb R}^n). \end{aligned} \end{aligned}$$Hence, by the ellipticity condition on A there holds
$$\begin{aligned} \begin{aligned}&\Vert u-v\Vert _{\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)}\\&\le \frac{\Lambda ^{1-p/2}}{c_p^{1/2}\lambda }(\Vert u\Vert _{\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)}+\Vert v\Vert _{\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)})^{1-p/2}\\&\quad \cdot \left( \int _{{\mathbb R}^n}( |A^{1/2}(-\Delta )^{s/2}u|^{p-2}A(-\Delta )^{s/2}u\right. \\&\quad \left. -|A^{1/2}(-\Delta )^{s/2}v|^{p-2}A(-\Delta )^{s/2}v)\cdot ((-\Delta )^{s/2}u-(-\Delta )^{s/2}v)\,dx\right) ^{1/2} \end{aligned} \end{aligned}$$(17)for all \(u,v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\). If \(u,v\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) then \(w=u-v\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) and hence if they satisfy (14) the second term on the right hand side of (17) is zero and hence \(\Vert u-v\Vert _{\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)}=0\), which in turn implies \(u=v\) in \(\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\). Therefore, the constructed minimizer is the unique solution.
Estimate (15) follows directly by testing (14) with \(u\in \widetilde{H}^{s,p}(\Omega )\) and using \(A\in \mathbb {S}_+^m\). In fact, by Poincaré’s inequality we have
This shows the estimate (15) and we can conclude the proof. \(\square \)
Theorem 5.8
(Homogeneous equations with nonzero Dirichlet condition) Let \(m\in {\mathbb N}\), \(1< p<\infty \), \(s> 0\) and \(A\in \mathbb {S}_+^m\). If \(\Omega \subset {\mathbb R}^n\) is an open bounded set and \(u_0\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\), then there exists a unique weak solution \(u\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) of
Moreover, the unique solution \(u\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) satisfies the estimate
Proof
Assume that the ellipticity condition for A holds with parameters \(0<\lambda<\Lambda <\infty \). Let us define the affine subspace
and denote by \(\mathcal {E}'_{p,A}\) the restriction of \(\mathcal {E}_{p,A}\) to \(\widetilde{H}^{s,p}_{u_0}(\Omega ;{\mathbb R}^m)\). First observe that \(\widetilde{H}^{s,p}_{u_0}(\Omega ;{\mathbb R}^m)\) is weakly closed in the reflexive Banach space \(H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\). In fact, if \((u_n)_{n\in {\mathbb N}}\subset \widetilde{H}^{s,p}_{u_0}(\Omega ;{\mathbb R}^m)\) converges weakly to \(u\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) in \(H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\), then \(u_n-u_0\) converges weakly to \(u-u_0\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) in \(H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\). As weak limits are contained in the weak closure, the weak closure of convex sets coincide with the strong closure and \(\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) is closed in \(H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) we deduce that \(u-u_0\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\). Therefore we have shown that \(\widetilde{H}^{s,p}_{u_0}(\Omega ;{\mathbb R}^m)\) is weakly closed in \(H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\).
Using \(|A^{1/2}w|\ge \lambda |w|\) for all \(w\in {\mathbb R}^m\), the fractional Poincaré inequality (Theorem 3.1 ), the usual splitting of the Bessel potential norm \(\Vert \cdot \Vert _{H^{s,p}({\mathbb R}^n;{\mathbb R}^m)}\) and the convexity of \(x\mapsto |x|^p\) we deduce
for all \(u\in \widetilde{H}^{s,p}_{u_0}(\Omega ;{\mathbb R}^m)\) and hence \(\mathcal {E}'_{p,A}\) is coercive on \(\widetilde{H}^{s,p}_{u_0}(\Omega ;{\mathbb R}^m)\). By the same argument as in the proof of Theorem 5.7 the functional \(\mathcal {E}'_{p,A}\) is weakly lower semi-continuous on \(\widetilde{H}^{s,p}_{u_0}(\Omega ;{\mathbb R}^m)\) with respect to the norm of the space \(H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\). Therefore by [101, Theorem 1.2] there is a minimizer \(u\in \widetilde{H}^{s,p}_{u_0}(\Omega ;{\mathbb R}^m)\) of \(\mathcal {E}'_{p,A}\) for all \(1<p<\infty \). Repeating the argument of Theorem 5.7 we see that the minimizer is unique.
To show the estimate (19) we proceed similarly as in the proof of Theorem 5.7, namely we test (18) by \(u-u_0\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\), use \(A\in \mathbb {S}_+^m\) and apply Hölder’s inequality to deduce
which in turn implies (19). \(\square \)
6 Abstract trace space and DN maps for anisotropic fractional p -biharmonic operator
In this section, we introduce the basic notions needed to set up the inverse problem related to the anisotropic fractional p -biharmonic operators, namely the abstract trace space and the DN map.
Definition 6.1
Let \(m\in {\mathbb N}\), \(1< p<\infty \), \(s> 0\) and \(\Omega \subset {\mathbb R}^n\) be an open set. Then we define the abstract trace space as \(X_p=\nicefrac {H^{s,p}({\mathbb R}^n;{\mathbb R}^m)}{\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)}\) and endow it with the quotient norm
for all \([f]\in X_p\).
Remark 6.2
By standard arguments, one can easily show that \(X_p\) is a Banach space as long as \(\widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\ne H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\). To simplify the notation, we will usually denote elements in \(X_p\) by f instead of the more precise notation [f].
In the next lemma, we show that for any \(u_0\in X_p\) there is a unique solution \(u\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) of the related pure exterior value problem for any anisotropic fractional p -biharmonic operator.
Lemma 6.3
Let \(m\in {\mathbb N}\), \(1< p<\infty \), \(s> 0\), \(A\in \mathbb {S}_+^m\) and assume \(\Omega \subset {\mathbb R}^n\) is an open bounded set. If \(u^1_0,u_0^2\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) are such that \(u_0^1-u_0^2\in \widetilde{H}^{s,p}(\Omega ;{\mathbb R}^m)\) and suppose \(u_1,u_2\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) are the unique solutions of the exterior value problems
and
then \(u_1\equiv u_2\) in \({\mathbb R}^n\).
Proof
First of all note that by assumption, we have
Therefore using the strong monotonicity property (eq. (16) and (17)) and the fact that \(u_1,u_2\) are solutions of \((-\Delta )^s_{p,A}v=0\) in \(\Omega \), we deduce \(u_1\equiv u_2\) in \({\mathbb R}^n\). \(\square \)
Lemma 6.4
(DN map) Let \(m\in {\mathbb N}\), \(1< p<\infty \), \(s> 0\), \(A\in \mathbb {S}_+^m\) and assume \(\Omega \subset {\mathbb R}^n\) is an open bounded set. Then the DN map \(\Lambda _{p,A}:X_p\rightarrow X_p^*\) given by
for \(f,g\in X_p\) is well-defined, where \(u_f\) is the unique weak solution to the homogeneous fractional p -biharmonic system with exterior value f and \(\mathcal {A}_{p,A}:H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\times H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\rightarrow {\mathbb R}\) is defined as
for all \(u,v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\). Moreover, there exists \(C>0\) such that
for all \(f,g\in X_p\).
Proof
Let us assume that \(A\in \mathbb {S}_+^m\) has ellipticity constants \(0<\lambda <\Lambda \). By Lemma 6.3, we know that \(u_f\) is independent of the chosen representative and since \(u_f\) is a solution to the homogeneous fractional p -biharmonic systems, we see that \(\mathcal {A}_{p,A}(u_f,g)\) is as well independent of the representative of g. We now proceed similarly as in the proof of Proposition 5.2. Using Hölder’s inequality, \(A\in \mathbb {S}_+^m\), Theorem 5.8, the continuity of the fractional Laplacian, we deduce the estimate
for all \(f,g\in X_p\) and all representative \(\widetilde{f},\widetilde{g}\) of f and g. This in turn implies
and thus \(\Lambda _{p,A}\) is indeed well-defined. \(\square \)
7 Caffarelli–Silvestre extension and unique continuation principles for nonlocal operators in Bessel potential spaces
7.1 Caffarelli–Silvestre extension in \(L^p\) for \(p\ne 2\)
We first show a preliminary lemma which deals with elementary properties of the generalized Poisson kernel. The proof of (iii) strongly follows the one of [17, Proposition B.1], where also the estimate in (iv) is stated.
Lemma 7.1
(Properties of the Poisson kernel) Let \(0<s<1\) and denote by P the generalized Poisson kernel. Then the following statements hold:
-
(i)
\(P(\cdot ,y)\in L^q({\mathbb R}^n)\) for all \(1\le q<\infty \) and \(y>0\) with
$$\begin{aligned} \Vert P(\cdot ,y)\Vert ^q_{L^q({\mathbb R}^n)}=\frac{\omega _n}{2}y^{n(1-q)}B\left( \frac{n}{2},\frac{n(q-1)}{2}+sp\right) , \end{aligned}$$where B(x, y) denotes the Euler Beta function,
-
(ii)
\((C_{n,s}P(\cdot ,y))_{y>0}\) is a Dirac sequence,
-
(iii)
\(P\in C^{\infty }({\mathbb R}^{n+1}_+)\) solves \( \overline{\Delta } _{s} P=0\) in \({\mathbb R}^{n+1}_+\),
-
(iv)
For all \(k\in {\mathbb N}\), there exists \(C_k>0\) such that
$$\begin{aligned} |\partial _y^kP(x,y)|\le C_k\frac{y^{2s-k}}{(|x|^2+y^2)^{\frac{n+2s}{2}}} \end{aligned}$$for all \((x,y)\in {\mathbb R}^{n+1}_+\) and \(\partial _yP\) is radially symmetric in \(x\in {\mathbb R}^n\).
Proof
-
(i)
Fix \(y>0\) and \(1\le q<\infty \), then using the change of variables \(z=x/y\), we obtain
$$\begin{aligned} \begin{aligned} \int _{{\mathbb R}^n}|P(x,y)|^q\,dx&=y^{n(1-q)}\int _{{\mathbb R}^n}\frac{1}{(|x|^2+1)^{\frac{n+2s}{2}q}}\,dz=\omega _ny^{n(1-q)}\int _0^{\infty }\frac{r^{n-1}}{(1+r^2)^{\frac{n+2s}{2}q}}\,dr\\&=\frac{\omega _n}{2} y^{n(1-q)}\int _0^1(1-t)^{\frac{n}{2}(q-1)+sq-1}t^{\frac{n}{2}-1}\,dt\\&=\frac{\omega _n}{2} y^{n(1-q)}B\left( \frac{n}{2},\frac{n}{2}(q-1)+sq\right) , \end{aligned} \end{aligned}$$where in the second equality we used polar coordinates, then made the change of variables \(r^2=\frac{t}{1-t}\) with \(dr=\frac{1}{2(1-t)^2}\sqrt{\frac{1-t}{t}}dt\) and finally used the product rule for the Beta function, which is given by \(B(x,y)=\int _0^1t^{x-1}(1-t)^{y-1}\,dt\) for all \(x,y>0\).
-
(ii)
For all \((x,y)\in {\mathbb R}^{n+1}_+\), we have \(P(x,y)\ge 0\) and by the definition of \(C_{n,s}\) there holds \(\Vert C_{n,s}P(\cdot ,y)\Vert _{L^1({\mathbb R}^n)}=1\). Moreover, by Lebesgue’s dominated convergence theorem, we have \(\Vert P(\cdot ,y)\Vert _{L^1({\mathbb R}^n{\setminus } B_{\epsilon })}\rightarrow 0\) as \(y\rightarrow 0\) for any \(\epsilon >0\) and therefore the claim follows.
-
(iii)
The smoothness of P directly follows from the assumption that \(y>0\). Since for \(y>0\), there holds
$$\begin{aligned} \partial _i|X|^{-\gamma }=-\gamma X_i|X|^{-(\gamma +2)} \end{aligned}$$for all \(1\le i\le n+1\) and \(\gamma >0\). Hence, we have
$$\begin{aligned} \begin{aligned} \overline{\Delta } |X|^{-\gamma }&=\gamma (\gamma +2)|X|^{-{\gamma +2}}-(n+1)\gamma |X|^{-(\gamma +2)}\\&=\gamma (\gamma -(n-1))|X|^{-(\gamma +2)}. \end{aligned} \end{aligned}$$Therefore, for \(\gamma ,\beta >0\), we obtain
$$\begin{aligned} \begin{aligned} \overline{\Delta }_{s} \left( \frac{y^{\beta }}{|X|^{\gamma }}\right)&= \overline{\Delta } \left( \frac{y^{\beta }}{|X|^{\gamma }}\right) +\frac{1-2s}{y}\partial _y\left( \frac{y^{\beta }}{|X|^{\gamma }}\right) \\&=\gamma (\gamma -(n-1))\frac{y^{\beta }}{|X|^{\gamma +2}}+\beta (\beta -1)\frac{y^{\beta -2}}{|X|^{\gamma }}\\&\quad -2\beta \gamma \frac{y^{\beta }}{|X|^{\gamma +2}}+(1-2s)\beta \frac{y^{\beta -2}}{|X|^{\gamma }}-(1-2s)\gamma \frac{y^{\beta }}{|X|^{\gamma +2}}\\&= \beta (\beta -1+(1-2s)\frac{y^{\beta -2}}{|X|^{\gamma }}+\gamma (\gamma -2\beta -(n-1)-(1-2s))\frac{y^{\beta }}{|X|^{\gamma +2}}. \end{aligned} \end{aligned}$$If we take \(\beta =2s\), \(\gamma =n+2s\), then both coefficients are zero and we see that \( \overline{\Delta }_{s} P=0\). This shows \( \overline{\Delta }_{s} P=0\) in \({\mathbb R}^{n+1}_+\).
-
(iv)
This estimate is stated in [17, Proposition B.1, eq. (78)]. It can be proved by a direct, but a bit lengthy, computation using the generalized Leibniz rule and the formula of Faà di Bruno or induction. \(\square \)
Lemma 7.2
Let \(0<s<1\), \(1<p<\infty \), denote by P the generalized Poisson kernel, assume \(u\in L^p({\mathbb R}^n)\) and let \(U(\cdot ,y):= C_{n,s}P(\cdot ,y)*u\). Then
where \(C_{n,s}=\Vert P(\cdot ,1)\Vert _{L^1({\mathbb R}^n)}^{-1}\), and \(U\in L^p_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\). Moreover, U solves
Remark 7.3
The estimate \(\Vert P(\cdot ,y)*u\Vert _{L^p({\mathbb R}^n)}\le C\Vert u\Vert _{L^p({\mathbb R}^n)}\) also follows from [99, Theorem 2.1], but since our proof is less involved we presented the argument here.
Proof
The estimate (20) follows by Young’s inequality and the property (i) of Lemma 7.1. This estimate implies
for any \(R>0\) and some \(C_s>0\). Therefore there holds \(U\in L^p_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\). Next, we verify that U solves \(\overline{\Delta }_{s} U=0\) in \({\mathbb R}^{n+1}\). By the assertions (i) and (iii) of Lemma 7.1, we have \(\partial _y^kP\in L^q({\mathbb R}^n)\) for all \(1\le q\le \infty \). Moreover, it follows by a direct calculation that
which again belongs to \(L^q({\mathbb R}^n)\) whenever \(1\le q\le \infty \) and \(y>0\). Therefore, the assertion follows by Young’s inequality, the dominated convergence theorem and the property (i) of Lemma 7.1. Finally, the boundary condition is a consequence of (ii) in Lemma 7.1. \(\square \)
Next we recall the following basic properties of the CS extension from [18, Section 5.1]:
Lemma 7.4
Let \(0<s<1\) and \(u\in C^{\infty }({\mathbb R}^n)\cap W^{2,\infty }({\mathbb R}^n)\). Then the CS extension \(U(\cdot ,y):= C_{n,s}P(\cdot ,y)*u\in C^{\infty }({\mathbb R}^{n+1}_+)\cap C(\overline{{\mathbb R}^{n+1}_+})\) is the unique bounded solution of
and there holds
7.2 Unique continuation principles for the fractional Laplacian
In the study of nonlocal inverse problems, one important property of the fractional Laplacian is the unique continuation principle (UCP) (cf. [25, Theorem 1.2]):
Let \(r\in {\mathbb R}\), \(s\in {\mathbb R}_+\setminus {\mathbb N}\). If \(u \in H^{r}({\mathbb R}^n)\) satisfies \((-\Delta )^su=u=0\) in a nonempty open set V, then \(u\equiv 0\) in \({\mathbb R}^n\).
Theorem 2.2 shows that the UCP holds also in the Bessel potential spaces \(H^{r,p}({\mathbb R}^n)\) for \(p\ne 2\) and \(r\in {\mathbb R}\). For \(1\le p<2\) this is well-known (see [25, Corollary 3.5]) but for \(2<p<\infty \) this result is to the best of our knowledge new. We first prove the following reduction lemma:
Lemma 7.5
Let \(2<p<\infty \), \(0<s<1\) and define \(W^{\infty ,p}({\mathbb R}^n)=\bigcap _{k\in {\mathbb N}}W^{k,p}({\mathbb R}^n)\). Suppose that \((-\Delta )^su=u=0\) in a nonempty open set V and \(u\in C_b^{\infty }({\mathbb R}^n)\cap W^{\infty ,p}({\mathbb R}^n)\) implies that \(u\equiv 0\) in \({\mathbb R}^n\). Then Theorem 2.2 holds true.
Proof
As already noted, we can assume without loss of generality that \(2<p<\infty \) and \(s\in {\mathbb R}_+{\setminus } {\mathbb N}\). We first show that it suffices to prove Theorem 2.2 for functions u in the class \(C^{\infty }_b({\mathbb R}^n)\cap W^{\infty ,p}({\mathbb R}^n)\). For this purpose let \((\rho _{\epsilon })_{\epsilon >0}\) be a sequence of standard mollifiers and fix \(u\in H^{r,p}({\mathbb R}^n)\) with \(r\in {\mathbb R}\) satisfying \((-\Delta )^su=u=0\) in some nonempty open subset \(V\subset {\mathbb R}^n\). Since the Bessel potential operator commutes with convolution, we have \(u_{\epsilon }:= u*\rho _{\epsilon }\in H^{t,p}({\mathbb R}^n)\) for all \(t\in {\mathbb R}\) and thus the Sobolev embedding implies \(u_\epsilon \in C^{\infty }_b({\mathbb R}^n)\). This shows \(u_\epsilon \in C^{\infty }_b({\mathbb R}^n)\cap W^{\infty ,p}({\mathbb R}^n)\). Next fix some precompact open subset \(\Omega \) with \(\overline{\Omega }\subset V\) and choose \(\epsilon _0>0\) such that \(\overline{B_{\epsilon _0}(x)}\subset V\) for all \(x\in \Omega \). Then we clearly have \(\phi *\rho _{\epsilon }\in C_c^{\infty }(V)\) for all \(\phi \in C_c^{\infty }(\Omega )\), \(0<\epsilon <\epsilon _0\), and therefore \((-\Delta )^su_{\epsilon }=u_{\epsilon }=0\) in \(\Omega \) as the fractional Laplacian commutes with mollification. Now if this implies \(u_{\epsilon }=0\) then the convergence \(u_{\epsilon }\rightarrow u\) in \(H^{r,p}({\mathbb R}^n)\) shows \(u=0\). This shows that it is enough to prove Theorem 2.2 for functions \(u\in C^{\infty }_b({\mathbb R}^n)\cap W^{\infty ,p}({\mathbb R}^n)\).
Next, following [25], we show that Theorem 2.2 holds. If \(0<s<1\), then Theorem 2.2 holds by assumption of Lemma 7.5 and the first part of the proof. Thus we can assume \(s>1\). Suppose that \(u\in C^{\infty }_b({\mathbb R}^n)\cap W^{\infty ,p}({\mathbb R}^n)\) satisfies \((-\Delta )^su=u=0\) in some nonempty open set \(V\subset {\mathbb R}^n\). We set \(t:=s-k\in (0,1)\), where \(k\in {\mathbb N}\) is the unique integer such that \(k<s<s=k+1\). As in the proof of [25, Theorem 1.2], we can see that \((-\Delta )^{k}u\in C^{\infty }_b({\mathbb R}^n)\cap W^{\infty ,p}({\mathbb R}^n)\) satisfies \((-\Delta )^{t}u=u=0\) in V, since \((-\Delta )^k\) is a local operator. Now by assumption there holds \((-\Delta )^ku\equiv 0\) in \({\mathbb R}^n\). Using [25, Lemma 3.1], we deduce \(u\equiv 0\) in \({\mathbb R}^n\). Therefore, we can conclude the proof. \(\square \)
Proof of Theorem 2.2
As noted earlier it is sufficient to consider the case \(2<p<\infty \). By Lemma 7.5, we can assume without loss of generality that \(u\in C^{\infty }_b({\mathbb R}^n)\cap H^{t,p}({\mathbb R}^n)\) for any \(t\in {\mathbb R}\) and assume that \(u=(-\Delta )^su=0\) in some nonempty open set \(V\subset {\mathbb R}^n\). Let us denote by \(U\in L^{p}_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\) the CS extension of u, where the regularity follows from Lemma 7.2. Then by Lemma 7.4, we know that U solves (21) and there holds
Next we show that \({{\,\mathrm{\overline{\nabla }}\,}}U\in L^2_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\). Since \(U\in C^{\infty }_b({\mathbb R}^n)\) and there holds \((-\Delta )^su\in L^{\infty }({\mathbb R}^n)\) (cf. [32, Lemma 3.2]), we have \(y^{1-2s}\partial _y U\in C(\overline{{\mathbb R}^{n+1}_+})\). Hence, by [30, Proposition 3.6], we deduce \(\Vert y^{1-2s}\partial _yU\Vert _{L^{\infty }({\mathbb R}^{n+1}_+)}\le C\). Therefore, there holds \(\partial _y U\in L^{2}_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\). In fact for any \(R>0\), \(\Omega \Subset {\mathbb R}^n\) we have
since \(1-2s\in (-1,1)\). By Young’s inequality and \(\Vert C_{n,s}P(\cdot ,y)\Vert _{L^1({\mathbb R}^n)}=1\), we obtain
for any \(R>0\). Since \(p>2\) and the calculation above, Hölder’s inequality implies \({{\,\mathrm{\overline{\nabla }}\,}}U\in L^2_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\) and therefore \(U\in H^1_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\cap L^{\infty }({\mathbb R}^{n+1}_+)\). Next fix \(r>0\), \(x_0\in {\mathbb R}^n\) such that \(B_{2r}(x_0)\subset V\). By assumption there holds
Therefore, we can apply [93, Proposition 2.2] to deduce \(U=0\) in \(B_{r,+}^{n+1}(X_0)\), where \(X_0=(x_0,0)\). Since U solves an elliptic PDE with real analytic coefficients, we deduce from the analytic regularity theory that U is real analytic in \({\mathbb R}^{n+1}_+\) (see e.g. [64, Chapter 8 and 9]). Now as U vanishes on an open set we deduce that \(U=0\) in \({\mathbb R}^{n+1}_+\) but this implies \(u=0\) in \({\mathbb R}^n\). \(\square \)
Remark 7.6
One could also consider the following localization argument: Let \(\eta \in C_c^{\infty }(\overline{{\mathbb R}^{n+1}_+})\) be a cutoff function supported in \(B^{n+1}_{2r,+}(X_0)\) with \(\eta |_{B_{r,+}^{n+1}(X_0)}=1\). Now the function \(\widetilde{U}:= \eta U\in H^{1}_{loc}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\cap L^{\infty }({\mathbb R}^{n+1}_+)\) solves
where \(f:=\eta (\cdot ,0)u\) and \(g:= U\overline{\Delta } \eta +2{{\,\mathrm{\overline{\nabla }}\,}}U\cdot {{\,\mathrm{\overline{\nabla }}\,}}\eta +\frac{1-2\,s}{y}U\partial _y \eta \). By this localization method one has actually that \(\widetilde{U}\in H^{1}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\). Note that g vanishes in \(B_{r,+}^{n+1}(X_0)\) and by the product rule we deduce \(f=(-\Delta )^sf=0\) in \(B_{r}(x_0)\). Therefore, \(\widetilde{U}\in H^{1}(\overline{{\mathbb R}^{n+1}_+},y^{1-2\,s})\cap L^{\infty }({\mathbb R}^{n+1}_+)\) solves
7.3 Unique continuation principles for the anisotropic fractional p -biharmonic operator
Similarly as for the uniqueness results for the inverse problems related to the fractional Schrödinger equations, an important role is played by the unique continuation properties of the anisotropic fractional p -biharmonic operator \((-\Delta )^s_{p,A}\). In this section, we show that the UCP for the fractional Laplacians naturally lead to certain variants of unique continuation principles for the operators \((-\Delta )^s_{p,A}\). Under additional monotonicity properties on the coefficient fields A, this nonlocal phenomenon allows us to deduce uniqueness statements for the related inverse problems of anisotropic fractional p -biharmonic systems with monotonic classes of coefficients.
Proof of Theorem 2.3
We assume throughout the proof that the matrix valued function A satisfies the ellipticity condition with parameters \(0<\lambda <\Lambda \). First, consider the case \(p\ge 2\) and note that this implies \(1<p'\le 2\) and therefore applying [25, Corollary 3.5] componentwise, we deduce that there holds \(v_1=v_2\) in \({\mathbb R}^n\). By integrating the first identity in Lemma 5.6 with \(x=(-\Delta )^{s/2}u_1, y=(-\Delta )^{s/2}u_2\) over all of \({\mathbb R}^n\), we obtain the following strong monotonicity property
If \(sp<n\), then the Hardy–Littlewood–Sobolev lemma shows \(u_1=u_2\) a.e. in \({\mathbb R}^n\). On the other hand, if \(sp\ge n\), then the above calculation ensures \((-\Delta )^{s/2}u_1=(-\Delta )^{s/2}u_2\) in \({\mathbb R}^n\). Now we set \(u_i:=u_1^{i}-u_2^{i}\in H^{s,p}({\mathbb R}^n)\), \(i=1,\ldots ,m\), and claim that the support of \(\mathcal {F}^{-1}u_i\) is contained in \(\{0\}\). In fact, if \(\psi \in C_c^{\infty }({\mathbb R}^n{\setminus }\{0\})\), then \(\phi = |\xi |^{-s}\psi \in C_c^{\infty }({\mathbb R}^n{\setminus } \{0\})\), and therefore there holds
since \(\check{\phi }\in \mathscr {S}_0({\mathbb R}^n)\). By [87, Exercise 2.67], we deduce that \(\mathcal {F}^{-1}u_i\) has a unique representation of the form
for some \(a_{\alpha }^{i}\in {\mathbb C}\) and \(N_i\in {\mathbb N}_0\). Therefore
but since \(u_i\in L^p({\mathbb R}^n)\), we deduce \(u_i\equiv 0\) in \({\mathbb R}^n\) for all \(1\le i\le m\) and therefore \(u_1\equiv u_2\) in \({\mathbb R}^n\).
Next consider the case \(1<p<2\). Then using Theorem 2.2, we deduce \(v_1=v_2\) in \({\mathbb R}^n\). Similarly as in the previous case, we derive, by integrating the second identity in Lemma 5.6 with \(x=(-\Delta )^{s/2}u_1, y=(-\Delta )^{s/2}u_2\) over all of \({\mathbb R}^n\), the estimate
This can only hold if \((-\Delta )^{s/2}u_1=(-\Delta )^{s/2}u_2\) a.e. in \({\mathbb R}^n\). By the same argument as in the case \(2\le p<\infty \), we have \(u_1=u_2\) a.e. in \({\mathbb R}^n\). Therefore, we can conclude the proof. \(\square \)
Corollary 7.7
(Special cases) Let \(1< p<\infty \), \(s>0\) with \(s\notin 2{\mathbb N}\) and \(\Omega \subset {\mathbb R}^n\) be an open set. Moreover, assume that Theorem 2.2 holds.
-
(i)
If \(u\in H^{s,p}({\mathbb R}^n)\) satisfies
$$\begin{aligned} (-\Delta )^s_p u=(-\Delta )^{s/2}u=0\quad \text {in}\quad \Omega , \end{aligned}$$then \(u\equiv 0\) in \({\mathbb R}^n\).
-
(ii)
If \(u_1,u_2\in H^{s,p}({\mathbb R}^n)\) satisfy
$$\begin{aligned} (-\Delta )^s_p (u_1-u_2)=(-\Delta )^{s/2}(u_1-u_2)=0\quad \text {in}\quad \Omega , \end{aligned}$$then \(u_1\equiv u_2\) in \({\mathbb R}^n\).
Proof
The assertions directly follow from Theorem 2.3. \(\square \)
To prove a measurable UCP for anisotropic fractional p -biharmonic operators, we will need the following estimate:
Lemma 7.8
( [52, Lemma 5.3]) Let \(2\le p<\infty \), then there exists \(C>0\) such that
for all \(x,y\in {\mathbb R}\).
Proposition 7.9
(Measurable UCP for anisotropic fractional p -biharmonic operator) Let \(\Omega \subset {\mathbb R}^n\) be an open set, \(0<s<2\), \(2< p<\infty \) and one of the following conditions hold
-
(i)
\(n=1\), \(0<s\le 1+2/p\)
-
(ii)
\(n=2\), \(0<s\le 4/p\)
-
(iii)
\(n\ge 3\), \(2<p<2^{*}=\frac{2n}{n-2}\), \(0< s\le 2(1+n(\frac{1}{p}-\frac{1}{2}))\).
If there exists a measurable subset \(\Omega '\subset \Omega \) of positive measure and \(u\in H^{1+s,p}({\mathbb R}^n)\) satisfies
then \(u\equiv 0\) in \({\mathbb R}^n\).
Proof
Without loss of generality, we can assume that \(\Omega '\) is a compact set of positive measure and \(\Omega \) is precompact. By mapping properties of the fractional Laplacian, we have \(v=(-\Delta )^{s/2}u\in W^{1,p}({\mathbb R}^n)\) and using Hölder’s inequality, we deduce \(|v|^{p-2}v\in L^{p'}({\mathbb R}^n)\). We claim that \(|v|^{p-2}v\in W^{1,p'}({\mathbb R}^n)\). This follows by using standard methods, but for the convenience of the reader, we give here some details of the argument. Fix a sequence of standard mollifiers \(\rho _{\epsilon }\in C_c^{\infty }({\mathbb R}^n)\) and define \(v_{\epsilon }=\rho _{\epsilon }*v\in C^{\infty }_b({\mathbb R}^n)\cap W^{1,p}({\mathbb R}^n)\). The function \(f(x)= |x|^{p-2}x\) is of class \(C^1\) with derivative \(f'(x)=(p-1)|x|^{p-2}\). Therefore, by the the chain rule and integration by parts, there holds
for all \(\epsilon >0\), \(\phi \in C_c^{\infty }({\mathbb R}^n)\) and \(1\le i\le n\). Since \(v_{\epsilon }\rightarrow v\) in \(L^p({\mathbb R}^n)\), we deduce by Hölder’s inequality with \(\frac{1}{p'}=\frac{p-2}{p}+\frac{1}{p}\) and Lemma 7.8 that
as \(\epsilon \rightarrow 0\). Similarly, we obtain
Since \(v\in W^{1,p}({\mathbb R}^n)\) we have \(v_{\epsilon }\rightarrow v\) in \(W^{1,p}({\mathbb R}^n)\) and thus the first term vanishs as \(\epsilon \rightarrow 0\). The second term converges to zero by the Radon–Riesz theorem (cf. [42, Chapter 1, Theorem 1]). Hence, we have proved that
which in turn implies \(|v|^{p-2}v\in W^{1,p'}({\mathbb R}^n)\). By (i)–(iii) we have
and therefore the Sobolev embedding shows \(W^{1,p'}({\mathbb R}^n)\hookrightarrow H^{s/2}({\mathbb R}^n)\). Therefore, we can apply [55, Proposition 5.1, Remark 5.6] to deduce that \(v\equiv 0\) in \({\mathbb R}^n\) and therefore \((-\Delta )^{s/2}u\equiv 0\) in \({\mathbb R}^n\). Now one can repeat the argument in the proof of Theorem 2.3 to deduce that \(\text {supp}(\mathcal {F}^{-1}u)\subset \{0\}\) and, therefore, by the integrability assumption of u that \(u\equiv 0\) in \({\mathbb R}^n\). \(\square \)
8 Inverse problem for the anisotropic fractional p -biharmonic operator under monotonicity assumptions
In this section, we prove uniqueness results for the inverse problem related to anisotropic fractional p -biharmonic operators under a monotonicity assumption.
8.1 Setup of the inverse problem
From now on let \(\Omega \subset {\mathbb R}^n\) be a given bounded open set, \(m\in {\mathbb N}\) and assume \(A\in \mathbb {S}_+^m\) is a given matrix valued function.
Definition 8.1
Let \(\sigma \in L^{\infty }({\mathbb R}^n)\) satisfy \(\sigma (x)\ge \sigma _0>0\) a.e. in \({\mathbb R}^n\). Then we introduce the following rescaled quantities
by
for all \(u,v\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) and \(f,g\in X_p\), where \(u_f\) is the unique solution of
Question 8.2
(Inverse problem) Let \(\sigma \in L^{\infty }({\mathbb R}^n)\) satisfy \(\sigma (x)\ge \sigma _0>0\). Can we uniquely determine \(\sigma \) in \({\mathbb R}^n\) from the knowledge of the nonlinear DN map \(\Lambda _{\sigma }\) under some mild structural conditions on \(\sigma \)?
8.2 Pointwise two sided estimate for difference of DN maps
Lemma 8.3
Let \(1< p<\infty \), \(s> 0\) and assume that \(\sigma _1,\sigma _2\in L^{\infty }({\mathbb R}^n)\) satisfy \(\sigma _1(x),\sigma _2(x)\ge \sigma _0>0\) in \({\mathbb R}^n\). If \(u_0 \in X_p\), then
where \(u_2 \in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) uniquely solves
Remark 8.4
We emphasize that if \(\sigma _1 \ge \sigma _2\), then all the terms in the inequality are nonnegative, while if \(\sigma _1 \le \sigma _2\), then they are nonpositive.
Proof
Let \(u_1, u_2 \in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) be the unique solutions of the exterior value problems
for \(i=1,2\). Note that the solution of (23) can be characterized as the unique minimizer of the energy functional \(\mathcal {E}_{p,\sigma _i}\) over the affine subspace \(\widetilde{H}^{s,p}_{u_0}(\Omega ;{\mathbb R}^m)\). Therefore, by Lemma 6.4, we obtain the following one sided inequality for the difference of DN maps:
Next we show the lower bound. Let \(\beta > 0\) be a real number whose value will be fixed later. Using the definition of DN map several times together with the fact that \(u_1|_{\Omega _e} = u_2|_{\Omega _e}=u_0\), we may rewrite the difference of the DN maps as follows:
In the last step, we used that \(u_1\) and \(u_2\) have the same exterior value \(u_0\). Now, by applying Young’s inequality \(\left|ab \right| \le \left|a \right|^p/p + \left|b \right|^{p'}/p'\), we have
Therefore, we obtain the lower bound
![](http://media.springernature.com/lw635/springer-static/image/art%3A10.1007%2Fs00526-023-02468-9/MediaObjects/526_2023_2468_Equ24_HTML.png)
Note that \(\frac{(1+\beta )^{p'}}{\beta } \rightarrow \infty \) as \(\beta \rightarrow \infty \) or \(\beta \rightarrow 0\). So, the function \(\beta \rightarrow \frac{(1+\beta )^{p'}}{\beta }\) attains its minimum at \(\beta = p-1\). Thus, we choose \(\beta = p-1\) so that from (24), we obtain the required inequality. \(\square \)
8.3 Uniqueness results
Proof of Theorem 2.4
Without loss of generality, we can assume \(D{\setminus } W\ne \emptyset \) as otherewise there is nothing to prove. We show the result by a contradiction argument. Let us consider a point \(x_0\in D{\setminus } W\) and suppose that \(\sigma _1(x_0) > \sigma _2(x_0)\). By assumption \(\sigma _1-\sigma _2\) is lower semicontinuous in D which means that the superlevel sets \(\{\sigma _1-\sigma _2>a\}\), \(a\in {\mathbb R}\), are open, but then this implies that there exists some open ball \(B_r(x_0) \subset D\) such that \(\sigma _1 - \sigma _2 > 0\) in \(B_r(x_0)\).
Next let \(u_2\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) be the unique solution of
Up to shrinking the ball \(B_r(x_0)\), we can assume that \(B_r(x_0)\subset D\setminus {{\,\textrm{supp}\,}}(u_0)\) since \(\text {dist}(\partial W, {{\,\textrm{supp}\,}}(u_0))>0\) and by the minimum principle for lower semicontinuous functions that there holds
which can be applied as \(g:{\mathbb R}_+\rightarrow {\mathbb R}_+,\,g(t):= t^{1/(p-1)}\) is a nondecreasing continuous function and so \(\sigma _{1}^{1/(p-1)} - \sigma _{2}^{1/(p-1)}\) is still a lower semicontinuous function. Using the left hand side of the monotonicity inequality (Lemma 8.3), the assumptions on \(\sigma _1,\sigma _2\) and \(A\in \mathbb {S}_+^m\) as well as \(\Lambda _{\sigma _1}u_0|_W = \Lambda _{\sigma _2}u_0|_W\), we deduce that
for some \(C>0\). This implies \((-\Delta )^{s/2}u_2 = 0\) a.e. \(B_r(x_0)\subset D\setminus {{\,\textrm{supp}\,}}(u_0)\).
Now we distinguish two cases. If \(x_0\in \overline{\Omega }\), then there exists \(\rho >0\), \(x_1\in \Omega \) such that \(B_{\rho }(x_1)\subset \Omega \cap B_r(x_0)\). By (25), (26) the function \(u_2\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) satisfies \((-\Delta )^s_{p,\sigma _2}u_2=0,\, (-\Delta )^{s/2}u_2=0\) in \(B_{\rho }(x_1)\). Hence, the unique continuation principle (Theorem 2.3) implies \(u_2=0\) in \({\mathbb R}^n\) which contradicts the assumption \(u_0\ne 0\). On the other hand, if \(x_0\in \Omega _e\), then we can shrink \(B_r(x_0)\) such that \(B_r(x_0)\subset \Omega _e\cap (D\setminus {{\,\textrm{supp}\,}}(u_0))\) but in this set we have \(u_2=0\) since \(u_2=u_0\) in \(\Omega _e\). Therefore, \(u_2\in H^{s,p}({\mathbb R}^n;{\mathbb R}^m)\) satisfies \((-\Delta )^{s/2}u_2=u_2=0\) in \(B_r(x_0)\). Hence, we deduce \(u_2=0\) in \({\mathbb R}^n\) by the unique continuation principle for the fractional Laplacian (Theorem 2.2). This again contradicts the assumption \(u_0\ne 0\) and we can conclude the proof. \(\square \)
Proof of Theorem 2.5
Let \(W_1,W_2\subset \Omega _e\) be two disjoint open sets. Applying Theorem 2.4 on these two respective sets with \(D={\mathbb R}^n\) we obtain \(\sigma _1=\sigma _2\) on \({\mathbb R}^n\setminus W_1\) and \({\mathbb R}^n{\setminus } W_2\). Since \(W_1,W_2\) are disjoint, this implies \(\sigma _1=\sigma _2\) in \({\mathbb R}^n\). \(\square \)
Corollary 8.5
Let \(2< p<\infty , s>0\) with \(s\notin 2{\mathbb N}\) satisfy one of the conditions (i)–(iii) in Proposition 7.9. Suppose that there is a nonempty open set \(W\subset \Omega _e\), a nonzero \(u_0\in C_c^{\infty }(W;{\mathbb R}^m)\) and a solution \(u_2\in H^{1+s,p}({\mathbb R}^n;{\mathbb R}^m)\) of (22). Assume that \(\sigma _1, \sigma _2 \in L^{\infty }({\mathbb R}^n)\) satisfy \(\sigma _1(x),\sigma _2(x)\ge \sigma _0>0\) and \(\sigma _1\ge \sigma _2\) in \({\mathbb R}^n\). If \(\langle \Lambda _{\sigma _1}u_0,u_0\rangle = \langle \Lambda _{\sigma _2}u_0,u_0\rangle \), then \(\sigma _1 = \sigma _2\) a.e. in \( \Omega \).
Proof
Suppose by contradiction that there is a set of positive measure \(A\subset \Omega \) such that \(\sigma _1>\sigma _2\) in A. By Lusin’s theorem (cf. [38, Theorem 1.14]), there is a compact set \(K\subset A\) of positive measure such that \(\sigma _1^{\frac{1}{p-1}}-\sigma _2^{\frac{1}{p-1}}>0\) is continous on K. By the minimum principle, we again have
Now repeating the proof of Theorem 2.4 gives \((-\Delta )^{s/2}u=0\) a.e. in K. Now we can apply Proposition 7.9 to conclude that \(u_2=0\) in \({\mathbb R}^n\), which again condradicts the assumption \(u_0\ne 0\). \(\square \)
Data availability
No datasets were generated or analyzed during the current study.
References
Aronszajn, N., Krzywicki, A., Szarski, J.: A unique continuation theorem for exterior differential forms on Riemannian manifolds. Ark. Mat. 4(417–453), 1962 (1962)
Alessandrini, G.: Critical points of solutions to the \(p\)-Laplace equation in dimension two. Boll. Un. Mat. Ital. A (7) 1(2), 239–246 (1987)
Aronszajn, N.: A unique continuation theorem for solutions of elliptic partial differential equations or inequalities of second order. J. Math. Pures Appl. 9(36), 235–249 (1957)
Antil, H., Rautenberg, C.N., Schikorra, A.: On a fractional version of a Murat compactness result and applications. SIAM J. Math. Anal. 53(3), 3158–3187 (2021)
Alessandrini, G., Sigalotti, M.: Geometric properties of solutions to the anisotropic \(p\)-Laplace equation in dimension two. Ann. Acad. Sci. Fenn. Math. 26(1), 249–266 (2001)
Brander, T., Harrach, B., Kar, M., Salo, M.: Monotonicity and enclosure methods for the \(p\)-Laplace equation. SIAM J. Appl. Math. 78(2), 742–758 (2018)
Bojarski,B., Iwaniec,T.: \(p\)-harmonic equation and quasiregular mappings. In: Partial Differential Equations (Warsaw, 1984), volume 19 of Banach Center Publ., pp. 25–38. PWN, Warsaw (1987)
Brander, T., Kar, M., Salo, M.: Enclosure method for the \(p\)-Laplace equation. Inverse Probl. 31(4), 045001 (2015)
Banerjee, A., Krishnan, V. P., Senapati, S.: The Calderón problem for space-time fractional parabolic operators with variable coefficients. (2022). arXiv:2205.12509
Brasco, L., Lindgren, E., Parini, E.: The fractional Cheeger problem. Interfaces Free Bound. 16(3), 419–458 (2014)
Barbu, V., Precupanu, T.: Convexity and Optimization in Banach Spaces. Springer Monographs in Mathematics, 4th edn. Springer, Dordrecht (2012)
Brasco, L., Parini, E.: The second eigenvalue of the fractional \(p\)-Laplacian. Adv. Calc. Var. 9(4), 323–355 (2016)
Brasco, L., Parini, E., Squassina, M.: Stability of variational eigenvalues for the fractional \(p\)-Laplacian. Discrete Contin. Dyn. Syst. 36(4), 1813–1845 (2016)
Buoso, D., Provenzano, L., Stubbe, J.: Semiclassical bounds for spectra of biharmonic operators. Rend. Mat. Appl. (7) 43(4), 267–314 (2022)
Brander, T.: Calderón problem for the \(p\)-Laplacian: first order derivative of conductivity on the boundary. Proc. Am. Math. Soc. 144(1), 177–189 (2016)
Carleman, T.: Sur un problème d’unicité pur les systèmes d’équations aux dérivées partielles à deux variables indépendantes. Ark. Mat. Astr. Fys. 26(17), 9 (1939)
Colombo, M., De Lellis, C., Massaccesi, A.: The generalized Caffarelli-Kohn-Nirenberg theorem for the hyperdissipative Navier-Stokes system. Commun. Pure Appl. Math. 73(3), 609–663 (2020)
Cabré, X., Dipierro, S., Valdinoci, E.: The Bernstein technique for integro-differential equations. Arch. Ration. Mech. Anal. 243(3), 1597–1652 (2022)
Corbo, A.E., Faella, L., Piscitelli, G., Prakash, R., Tamburrino, A.: Monotonicity principle in tomography of nonlinear conducting materials. Inverse Probl. 37(4), 045012 (2021)
Caffarelli, L.A., Friedman, A.: The obstacle problem for the biharmonic operator. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 6(1), 151–184 (1979)
Colombini, F., Grammatico, C.: Some remarks on strong unique continuation for the Laplace operator and its powers. Commun. Partial Differ. Equ. 24(5–6), 1079–1094 (1999)
Covi, G., García-Ferrero, M., Rüland, A.: On the Calderón problem for nonlocal Schrödinger equations with homogeneous, directionally antilocal principal symbols. (2021). arXiv:2109.14976
Colombini, F., Koch, H.: Strong unique continuation for products of elliptic operators of second order. Trans. Am. Math. Soc. 362(1), 345–355 (2010)
Chen, Z.-C., Luo, T.: The eigenvalue problem for the \(p\)-Laplacian-like equations. Int. J. Math. Math. Sci. 9, 575–586 (2003)
Covi, G., Mönkkönen, K., Railo, J.: Unique continuation property and Poincaré inequality for higher order fractional Laplacians with applications in inverse problems. Inverse Probl. Imaging 15(4), 641–681 (2021)
Covi, G., Mönkkönen, K., Railo, J., Uhlmann, G.: The higher order fractional Calderón problem for linear local operators: uniqueness. Adv. Math. 399, 108246 (2022)
Covi, G.: Uniqueness for the fractional Calderón problem with quasilocal perturbations. (2021). arxiv:2110.11063
Covi, G., Railo, J., Zimmermann, P.: The global inverse fractional conductivity problem. (2022). arxiv:2204.04325
Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32(7–9), 1245–1260 (2007)
Cabré, X., Sire, Y.: Nonlinear equations for fractional Laplacians, I: regularity, maximum principles, and Hamiltonian estimates. Ann. Inst. H. Poincaré Anal. Non Linéaire 31(1), 23–53 (2014)
Da Lio, F., Schikorra, A.: On regularity theory for n/p-harmonic maps into manifolds. Nonlinear Anal. 165, 182–197 (2017)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136(5), 521–573 (2012)
Del Pezzo, L., Bonder, J.F., Ríos, L.L.: An optimization problem for the first eigenvalue of the \(p\)-fractional Laplacian. Math. Nachr. 291(4), 632–651 (2018)
Del Pezzo, L.M., Quaas, A.: Spectrum of the fractional p-laplacian in rn and decay estimate for positive solutions of a schrödinger equation. Nonlinear Anal. 193, 111479 (2020)
Dos Santos, D., Ferreira, C.E., Kenig, J.S., Uhlmann, G.: On the linearized local Calderón problem. Math. Res. Lett. 16(6), 955–970 (2009)
Dipierro, S., Savin, O., Valdinoci, E.: All functions are locally \(s\)-harmonic up to a small error. J. Eur. Math. Soc. (JEMS) 19(4), 957–966 (2017)
del Félix, T., Gómez-Castro, D., Vázquez, J.L.: Three representations of the fractional \(p\)-Laplacian: semigroup, extension and Balakrishnan formulas. Fract. Calc. Appl. Anal. 24(4), 966–1002 (2021)
Evans, L.C., Gariepy, R.F.: Measure Theory and Fine Properties of Functions. Textbooks in Mathematics, CRC Press, Boca Raton (2015)
El Khalil, A.: On a class of PDE involving \(p\)-biharmonic operator. ISRN Math. Anal. 2011, 630745 (2011)
El Abdelouahed, K., Kellati, S., Touzani, A.: On the spectrum of the \(p\)-biharmonic operator. In: Proceedings of the 2002 Fez Conference on Partial Differential Equations, volume 9 of Electron. J. Differ. Equ. Conf., pp. 161–170. Southwest Texas State Univ., San Marcos, (2002)
Esposito, L., Nitsch, C., Trombetti, C.: Best constants in Poincaré inequalities for convex domains. J. Convex Anal. 20(1), 253–264 (2013)
Evans, L.C.: Weak convergence methods for nonlinear partial differential equations, volume 74 of CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, (1990)
Fall, M.M., Veronica, F.: Unique continuation property and local asymptotics of solutions to fractional elliptic equations. Commun. Partial Differ. Equ. 39(2), 354–397 (2014)
Felli, V., Ferrero, A.: Unique continuation principles for a higher order fractional Laplace equation. Nonlinearity 33(8), 4133–4190 (2020)
Feizmohammadi A, Ghosh T, Krupchyk K, Uhlmann G: Fractional anisotropic Calderón problem on closed Riemannian manifolds. (2021). arXiv:2112.03480
Felsinger, M., Kassmann, M., Voigt, P.: The Dirichlet problem for nonlocal operators. Math. Z. 279(3), 779–809 (2015)
García-Ferrero, M.A., Rüland, A.: Strong unique continuation for the higher order fractional Laplacian. Math. Eng. 1(4), 715–774 (2019)
Gazzola, F., Grunau, H.-C., Sweers, G.: Polyharmonic boundary value problems, volume 1991 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 2010. Positivity preserving and nonlinear higher order elliptic equations in bounded domains
Gonçalves, H.F., Haroske, D.D., Skrzypczak, L.: Compact embeddings in Besov-type and Triebel-Lizorkin-type spaces on bounded domains. Rev. Mat. Comput. 34(3), 761–795 (2021)
Guo, C.-Y., Kar, M.: Quantitative uniqueness estimates for \(p\)-Laplace type equations in the plane. Nonlinear Anal. 143, 19–44 (2016)
Guo, C.-Y., Kar, M., Salo, M.: Inverse problems for \(p\)-Laplace type equations under monotonicity assumptions. Rend. Inst. Mat. Univ. Trieste 48, 79–99 (2016)
Glowinski, R., Marrocco, A.: Sur l’approximation, par éléments finis d’ordre un, et la résolution, par pénalisation-dualité, d’une classe de problèmes de Dirichlet non linéaires. Rev. Française Automat. Informat. Recherche Opérationnelle Sér. Rouge Anal. Numér., 9(R-2):41–76, (1975)
Granlund, S., Marola, N.: On the problem of unique continuation for the \(p\)-Laplace equation. Nonlinear Anal. 101, 89–97 (2014)
Grafakos, L.: Classical Fourier Analysis. volume 249 of Graduate Texts in Mathematics, 3rd edn. Springer, New York (2014)
Ghosh, T., Rüland, A., Salo, M., Uhlmann, G.: Uniqueness and reconstruction for the fractional Calderón problem with a single measurement. J. Funct. Anal. 279(1), 108505 (2020)
Ghosh, T., Salo, M., Uhlmann, G.: The Calderón problem for the fractional Schrödinger equation. Anal. PDE 13(2), 455–475 (2020)
Gol’dshtein, V., Ukhlov, A.: Weighted Sobolev spaces and embedding theorems. Trans. Am. Math. Soc. 361(7), 3829–3850 (2009)
Ghosh, T., Uhlmann, G.: The Calderón problem for nonlocal operators. (2021). arXiv:2110.09265
Hannukainen, A., Hyvönen, N., Mustonen, L.: An inverse boundary value problem for the \(p\)-Laplacian: a linearization approach. Inverse Probl. 35(3), 034001 (2019)
Heinonen, J., Kilpeläinen, T., Martio, O.: Nonlinear potential theory of degenerate elliptic equations. Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York (1993)
Harrach, B., Lin, Y.-H.: Monotonicity-based inversion of the fractional Schrödinger equation I. Positive potentials. SIAM J. Math. Anal. 51(4), 3092–3111 (2019)
Harrach, B., Lin, Y.H.: Monotonicity-based inversion of the fractional Schödinger equation II. General potentials and stability. SIAM J. Math. Anal. 52(1), 402–436 (2020)
Helin, T., Lassas, M., Ylinen, L., Zhang, Z.: Inverse problems for heat equation and space-time fractional diffusion equation with one measurement. J. Differ. Equ. 269(9), 7498–7528 (2020)
Hörmander, L.: The analysis of linear partial differential operators. I. Classics in Mathematics. Springer-Verlag, Berlin, 2003. Distribution theory and Fourier analysis, Reprint of the second (1990) edition [Springer, Berlin; MR1065993 (91m:35001a)]
Harrach, B., Ullrich, M.: Monotonicity-based shape reconstruction in electrical impedance tomography. SIAM J. Math. Anal. 45(6), 3382–3403 (2013)
Hajaiej, H., Xinwei, Yu., Zhai, Z.: Fractional Gagliardo-Nirenberg and Hardy inequalities under Lorentz norms. J. Math. Anal. Appl. 396(2), 569–577 (2012)
Ilmavirta, J., Mönkkönen, K.: Unique continuation of the normal operator of the x-ray transform and applications in geophysics. Inverse Probl. 36(4), 045014 (2020)
Isakov, V.: On uniqueness in the inverse conductivity problem with local data. Inverse Probl. Imaging 1(1), 95–105 (2007)
John, F.: Partial Differential Equations. volume 1 of Applied Mathematical Sciences, 4th edn. Springer-Verlag, New York (1982)
Kow, P.-Z., Lin, Y.-H., Wang, J.-N.: The Calderón problem for the fractional wave equation: uniqueness and optimal stability. SIAM J. Math. Anal. 54(3), 3379–3419 (2022)
Kian, Y., Liu, Y., Yamamoto, M.: Uniqueness of inverse source problems for general evolution equations. Commun. Contempor. Math. 0(0):2250009, 0
Krylov, N.V.: All functions are locally \(s\)-harmonic up to a small error. J. Funct. Anal. 277(8), 2728–2733 (2019)
Kenig, C.E., Sjöstrand, J., Uhlmann, G.: The Calderón problem with partial data. Ann. Math. (2) 165(2), 567–591 (2007)
Koch, H., Tataru, D.: Carleman estimates and unique continuation for second-order elliptic equations with nonsmooth coefficients. Commun. Pure Appl. Math. 54(3), 339–360 (2001)
Kar, M., Wang, J.-N.: Size estimates for the weighted \(p\)-Laplace equation with one measurement. Discrete Contin. Dyn. Syst. Ser. B 26(4), 2011–2024 (2021)
Lê, A.: Eigenvalue problems for the \(p\)-Laplacian. Nonlinear Anal. 64(5), 1057–1099 (2006)
Lerner, N.: Carleman inequalities, volume 353 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, Cham (2019)
Lin, Y.H.: Monotonicity-based inversion of fractional semilinear elliptic equations with power type nonlinearities. Calc. Var. Partial Differ. Equ. 61(5), 188 (2022)
Leung, P.F., Li, L.C.: On the spectrum of the biharmonic operator in a bounded domain. Bull. Austral. Math. Soc. 31(1), 83–88 (1985)
Lindgren, E., Lindqvist, P.: Fractional eigenvalues. Calc. Var. Partial Differ. Equ. 49(1–2), 795–826 (2014)
Lai, R.Y., Lin, Y.H.: Inverse problems for fractional semilinear elliptic equations. Nonlinear Anal. 216, 112699 (2022)
Lai, R.-Y., Lin, Y.-H., Rüland, A.: The Calderón problem for a space-time fractional parabolic equation. SIAM J. Math. Anal. 52(3), 2655–2688 (2020)
Lin, C.L., Nagayasu, S., Wang, J.N.: Quantitative uniqueness for the power of the Laplacian with singular coefficients. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 10(3), 513–529 (2011)
Liimatainen, T., Salo, M.: \(n\)-harmonic coordinates and the regularity of conformal mappings. Math. Res. Lett. 21, 341–361 (2014)
Ly, I.: The first eigenvalue for the \(p\)-Laplacian operator. JIPAM. J. Inequal. Pure Appl. Math. 6(3), 91 (2005)
Manfredi, J.J.: \(p\)-harmonic functions in the plane. Proc. Am. Math. Soc. 103(2), 473–479 (1988)
Mitrea, D.: Distributions, partial differential equations, and harmonic analysis. Universitext, 2nd edn. Springer, Cham (2018)
Mohanta, K., Sk, F.: On the best constant in fractional \(p\)-Poincaré inequalities on cylindrical domains. Differ. Integr. Equ. 34(11–12), 691–712 (2021)
Riesz, M.: Intégrales de Riemann-Liouville et potentiels. Acta Sci. Math. Szeged 9(1–1), 1–42 (1938)
Ros-Oton, X.: Nonlocal elliptic equations in bounded domains: a survey. Publ. Mat. 60(1), 3–26 (2016)
Rüland, A., Salo, M.: Exponential instability in the fractional Calderón problem. Inverse Probl. 34(4), 045003 (2018)
Rüland, A., Salo, M.: The fractional Calderón problem: low regularity and stability. Nonlinear Anal. 193, 111529 (2020)
Rüland, A.: Unique continuation for fractional Schrödinger equations with rough potentials. Commun. Partial Differ. Equ. 40(1), 77–114 (2015)
Rüland, A.: On single measurement stability for the fractional Calderón problem. SIAM J. Math. Anal. 53(5), 5094–5113 (2021)
Railo, J., Zimmermann, P.: Counterexamples to uniqueness in the inverse fractional conductivity problem with partial data. (2022). arXiv:2203.02442
Railo, J., Zimmermann, P.: Fractional Calderón problems and Poincarè inequalities on unbounded domains. (2022). arxiv:2203.02425
Salo, M.: The fractional Calderón problem. Journées équations aux dérivées partielles, Exp. No.(7), (2017)
Simon, J.: Régularité de la solution d’une équation non linéaire dans \({\bf R}^{N}\). In Journées d’Analyse Non Linéaire (Proc. Conf., Besançon, 1977), volume 665 of Lecture Notes in Math., pp. 205–227. Springer, Berlin, (1978)
Stinga, P.R., Torrea, J.L.: Extension problem and Harnack’s inequality for some fractional operators. Commun. Partial Differ. Equ. 35(11), 2092–2122 (2010)
Stein, E.M.: Singular integrals and differentiability properties of functions. Princeton Mathematical Series, Princeton University Press, Princeton (1970)
Struwe, M.: Variational methods, volume 34 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer-Verlag, Berlin, fourth edition, (2008)
Sylvester, J., Uhlmann, G.: A global uniqueness theorem for an inverse boundary value problem. Ann. Math. (2) 125(1), 153–169 (1987)
Salo, M., Zhong, X.: An inverse problem for the \(p\)-Laplacian: boundary determination. SIAM J. Math. Anal. 44(4), 2474–2495 (2012)
Tamburrino, A., Rubinacci, G.: A new non-iterative inversion method for electrical resistance tomography. vol. 18, pp. 1809–1829. (2002). Special section on electromagnetic and ultrasonic nondestructive evaluation
Triebel, H.: Theory of function spaces. Mathematik und ihre Anwendungen in Physik und Technik [Mathematics and its Applications in Physics and Technology], vol. 38. Akademische Verlagsgesellschaft Geest & Portig K.-G, Leipzig (1983)
Talbi, M., Tsouli, N.: On the spectrum of the weighted p-biharmonic operator with weight. Mediterr. J. Math. 4, 73–86 (2007)
Yamamoto, M.: Fractional calculus and time-fractional differential equations: revisit and construction of a theory. Mathematics 10(5), 698 (2022)
Yang, R.: On higher order extensions for the fractional Laplacian. (2013). arXiv:1302.4413
Acknowledgements
The authors thank Giovanni Covi, María Ángeles García-Ferrero and Angkana Rüland for helpful discussions on the UCP for fractional Laplacians and sharing a localization argument to prove Theorem 2.2 for \(0< s < 1\) (see Remark 7.6). Additionally, the authors thank Shiqi Ma, Mikko Salo and Joaquim Serra for helpful discussions related to this article. M.K. was supported by MATRICS grant (MTR/2019/001349) of SERB. J.R. was supported by the Vilho, Yrjö and Kalle Väisälä Foundation of the Finnish Academy of Science and Letters.
Funding
Open access funding provided by Swiss Federal Institute of Technology Zurich.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Enno Lenzmann.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kar, M., Railo, J. & Zimmermann, P. The fractional \(p\,\)-biharmonic systems: optimal Poincaré constants, unique continuation and inverse problems. Calc. Var. 62, 130 (2023). https://doi.org/10.1007/s00526-023-02468-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-023-02468-9