- Research
- Open Access
- Published:

# RETRACTED ARTICLE: Sharp geometrical properties of *a*-rarefied sets via fixed point index for the Schrödinger operator equations

*Fixed Point Theory and Applications*
**volume 2015**, Article number: 89 (2015)

## Abstract

In this paper, we use the theory of fixed point index for the Schrödinger operator equations to obtain a geometrical property of *a*-rarefied sets at infinity on cones. Meanwhile, we give an example to show that the reverse of this property is not true.

## Introduction and main theorem

Let **R** and \({\mathbf{R}}_{+}\) be the set of all real numbers and the set of all positive real numbers, respectively. We denote by \({\mathbf{R}}^{n}\) (\(n\geq2\)) the *n*-dimensional Euclidean space. A point in \({\mathbf{R}}^{n}\) is denoted by \(P=(X,x_{n})\), \(X=(x_{1},x_{2},\ldots,x_{n-1})\). The Euclidean distance between two points *P* and *Q* in \({\mathbf{R}}^{n}\) is denoted by \(|P-Q|\). Also \(|P-O|\) with the origin *O* of \({\mathbf{R}}^{n}\) is simply denoted by \(|P|\). The boundary and the closure of a set *S* in \({\mathbf{R}}^{n}\) are denoted by *∂S* and \(\overline{S}\), respectively. For \(P\in{\mathbf{R}}^{n}\) and \(r>0\), let \(B(P,r)\) denote the open ball with center at *P* and radius *r* in \({\mathbf{R}}^{n}\).

We introduce a system of spherical coordinates \((r,\Theta)\), \(\Theta=(\theta_{1},\theta_{2},\ldots, \theta_{n-1})\), in \({\mathbf{R}}^{n}\) which are related to Cartesian coordinates \((x_{1},x_{2},\ldots,x_{n-1},x_{n})\) by \(x_{n}=r\cos\theta_{1}\).

Let *D* be an arbitrary domain in \({\mathbf{R}}^{n}\) and \(\mathscr{A}_{a}\) denote the class of nonnegative radial potentials \(a(P)\), *i.e.*
\(0\leq a(P)=a(r)\), \(P=(r,\Theta)\in D\), such that \(a\in L_{\mathrm{loc}}^{b}(D)\) with some \(b> {n}/{2}\) if \(n\geq4\) and with \(b=2\) if \(n=2\) or \(n=3\).

If \(a\in\mathscr{A}_{a}\), then the Schrödinger operator

where Δ is the Laplace operator and *I* is the identical operator, can be extended in the usual way from the space \(C_{0}^{\infty}(D)\) to an essentially self-adjoint operator on \(L^{2}(D)\) (see [1], Chapter 11). We will denote it by \(\mathit{Sch}_{a}\) as well. This last one has a Green-Sch function \(G_{D}^{a}(P,Q)\). Here \(G_{D}^{a}(P,Q)\) is positive on *D* and its inner normal derivative \(\partial G_{D}^{a}(P,Q)/{\partial n_{Q}}\geq0\), where \({\partial}/{\partial n_{Q}}\) denotes the differentiation at *Q* along the inward normal into *D*.

We call a function \(u\not\equiv-\infty\) that is upper semi-continuous in *D* a subfunction with respect to the Schrödinger operator \(\mathit{Sch}_{a}\) if its values belong to the interval \([-\infty,\infty)\) and at each point \(P\in D\) with \(0< r< r(P)\) the generalized mean-value inequality (see [2])

is satisfied, where \(G_{B(P,r)}^{a}(P,Q)\) is the Green-Sch function of \(\mathit{Sch}_{a}\) in \(B(P,r)\) and \(d\sigma(Q)\) is a surface measure on the sphere \(\partial{B(P,r)}\).

If −*u* is a subfunction, then we call *u* a superfunction. If a function *u* is both subfunction and superfunction, it is, clearly, continuous and is called a generalized harmonic function (with respect to the Schrödinger operator \(\mathit{Sch}_{a}\)).

The unit sphere and the upper half unit sphere in \({\mathbf{R}}^{n}\) are denoted by \({\mathbf{S}}^{n-1}\) and \({\mathbf{S}}_{+}^{n-1}\), respectively. For simplicity, a point \((1,\Theta)\) on \({\mathbf{S}}^{n-1}\) and the set \(\{\Theta; (1,\Theta)\in\Omega\}\) for a set Ω, \(\Omega\subset{\mathbf{S}}^{n-1}\), are often identified with Θ and Ω, respectively. For two sets \(\Xi\subset{\mathbf{R}}_{+}\) and \(\Omega\subset{\mathbf{S}}^{n-1}\), the set \(\{(r,\Theta)\in{\mathbf{R}}^{n}; r\in\Xi,(1,\Theta)\in\Omega\}\) in \({\mathbf{R}}^{n}\) is simply denoted by \(\Xi\times\Omega\). By \(C_{n}(\Omega)\), we denote the set \({\mathbf{R}}_{+}\times\Omega\) in \({\mathbf{R}}^{n}\) with the domain Ω on \({\mathbf{S}}^{n-1}\). We call it a cone. We denote the set \(I\times\Omega\) with an interval on **R** by \(C_{n}(\Omega;I)\).

We shall say that a set \(H\subset C_{n}(\Omega)\) has a covering \(\{r_{j}, R_{j}\}\) if there exists a sequence of balls \(\{B_{j}\}\) with centers in \(C_{n}(\Omega)\) such that \(H\subset\bigcup_{j=0}^{\infty} B_{j}\), where \(r_{j}\) is the radius of \(B_{j}\) and \(R_{j}\) is the distance from the origin to the center of \(B_{j}\). For positive functions \(h_{1}\) and \(h_{2}\), we say that \(h_{1}\lesssim h_{2}\) if \(h_{1}\leq Mh_{2}\) for some constant \(M>0\). If \(h_{1}\lesssim h_{2}\) and \(h_{2}\lesssim h_{1}\), we say that \(h_{1}\approx h_{2}\).

From now on, we always assume \(D=C_{n}(\Omega)\). For the sake of brevity, we shall write \(G_{\Omega}^{a}(P,Q)\) instead of \(G_{C_{n}(\Omega)}^{a}(P,Q)\). Throughout this paper, let *c* denote various positive constants, because we do not need to specify them. Moreover, *ϵ* appearing in the expression in the following all sections will be a sufficiently small positive number.

Let Ω be a domain on \({\mathbf{S}}^{n-1}\) with smooth boundary. Consider the Dirichlet problem

where \(\Lambda_{n}\) is the spherical part of the Laplace operator \(\Delta_{n}\):

We denote the least positive eigenvalue of this boundary value problem by *λ* and the normalized positive eigenfunction corresponding to *λ* by \(\varphi(\Theta)\). In order to ensure the existence of *λ* and a smooth \(\varphi(\Theta)\). We put a rather strong assumption on Ω: if \(n\geq3\), then Ω is a \(C^{2,\alpha}\)-domain (\(0<\alpha<1\)) on \({\mathbf{S}}^{n-1}\) surrounded by a finite number of mutually disjoint closed hypersurfaces.

Solutions of an ordinary differential equation

It is well known (see, for example, [3]) that if the potential \(a\in \mathscr{A}_{a}\), then (1.1) has a fundamental system of positive solutions \(\{V,W\}\) such that *V* and *W* are increasing and decreasing, respectively (see [4–7]).

We will also consider the class \(\mathscr{B}_{a}\), consisting of the potentials \(a\in\mathscr{A}_{a}\) such that there exists the finite limit \(\lim_{r\rightarrow\infty}r^{2} a(r)=k\in[0,\infty)\), and moreover, \(r^{-1}|r^{2} a(r)-k|\in L(1,\infty)\). If \(a\in \mathscr{B}_{a}\), then the (sub)superfunctions are continuous (see [8]).

In the rest of paper, we assume that \(a\in\mathscr{B}_{a}\) and we shall suppress this assumption for simplicity.

Denote

then the solutions to (1.1) have the asymptotics (see [9])

Let *ν* be any positive measure on cones such that the Green-Sch potential

for any \(P\in C_{n}(\Omega)\). Then the positive measure \(\nu'\) on \({\mathbf{R}}^{n}\) is defined by

The Poisson-Sch integral \(PI_{\Omega}^{a} \mu(P)\not\equiv+\infty\) (\(P\in C_{n}(\Omega)\)) of *μ* on cones is defined as follows:

where

*μ* is a positive measure on \(\partial{C_{n}(\Omega)}\) and \({\partial}/{\partial n_{Q}}\) denotes the differentiation at *Q* along the inward normal into cones. Then the positive measure \(\mu'\) on \({\mathbf{R}}^{n}\) is defined by

### Remark

We remark that the total masses of \(\mu'\) and \(\nu'\) are finite (see [2], Lemma 5 and [6], Lemma 4).

Let \(0\leq\alpha\leq n\) and *λ* be any positive measure on \({\mathbf{R}}^{n}\) having finite total mass. For each \(P=(r,\Theta)\in {\mathbf{R}}^{n}-\{O\}\), the maximal function \(M(P;\lambda,\alpha)\) with respect to \(\mathit{Sch}_{a}\) is defined by

The set

is denoted by \(E(\epsilon; \lambda, \alpha)\).

The following Theorems A and B give a way to estimate the Green-Sch potential and the Poisson-Sch integrals with measures on \(C_{n}(\Omega)\) and \(S_{n}(\Omega)\), respectively.

### Theorem A

*Let**ν**be a positive measure on*
\(C_{n}(\Omega)\)*such that*
\(G_{\Omega}^{a} \nu(P)\not\equiv +\infty\) (\(P=(r,\Theta)\in C_{n}(\Omega)\)) *holds*. *Then for a sufficiently large**L**we have*

### Theorem B

*Let**μ**be a positive measure on*
\(S_{n}(\Omega)\)*such that*
\(PI_{\Omega}^{a} \mu(P)\not\equiv+\infty\) (\(P=(r,\Theta)\in C_{n}(\Omega)\)). *Then for a sufficiently large**L**we have*

It is known that the Martin boundary of \(C_{n}(\Omega)\) is the set \(\partial{C_{n}(\Omega)}\cup\{\infty\}\), each of which is a minimal Martin boundary point. For \(P\in C_{n}(\Omega)\) and \(Q\in \partial{C_{n}(\Omega)}\cup\{\infty\}\), the Martin kernel can be defined by \(M_{\Omega}^{a}(P,Q)\). If the reference point *P* is chosen suitably, then we have

for any \(P=(r,\Theta)\in C_{n}(\Omega)\).

In [7, 10], Xue and Zhao-Yamada introduce the notations of *a*-thin (with respect to the Schrödinger operator \(\mathit{Sch}_{a}\)) at a point and *a*-rarefied sets at infinity (with respect to the Schrödinger operator \(\mathit{Sch}_{a}\)), which generalized the earlier notations obtained by Miyamoto, Hoshida, Brelot (see [11–14]).

### Definition 1

(see [7])

A set *H* in \({\mathbf{R}}^{n}\) is said to be *a*-thin at a point *Q* if there is a fine neighborhood *E* of *Q* which does not intersect \(H\backslash\{Q\}\). Otherwise *H* is said to be not *a*-thin at *Q* on cones.

### Definition 2

(see [10])

A subset *H* of \(C_{n}(\Omega)\) is said to be *a*-rarefied at infinity on cones, if there exists a positive superfunction \(v(P)\) on cones such that

and

Let *H* be a bounded subset of \(C_{n}(\Omega)\). Then \(\hat{R}_{M_{\Omega}^{a}(\cdot,\infty)}^{H}\) is bounded on cones and the greatest generalized harmonic minorant of \(\hat{R}_{M_{\Omega}^{a}(\cdot,\infty)}^{H}\) is zero. We see from the Riesz decomposition theorem (see [6], Theorem 2) that there exists a unique positive measure \(\lambda_{H}^{a}\) on cones such that (see [7], p.6)

for any \(P\in C_{n}(\Omega)\) and \(\lambda_{H}^{a}\) is concentrated on \(I_{H}\), where

We denote the total mass \(\lambda_{H}^{a}(C_{n}(\Omega))\) of \(\lambda_{H}^{a}\) by \(\lambda_{\Omega}^{a}(H)\).

Recently, GX Xue (see [7], Theorem 2.5) gave a criterion for a subset *H* of \(C_{n}(\Omega)\) to be *a*-rarefied set at infinity.

### Theorem C

*A subset**H**of*
\(C_{n}(\Omega)\)*is**a*-*rarefied at infinity on cones if and only if*

*where*
\(H_{j}=H\cap C_{n}(\Omega;[2^{j},2^{j+1}))\)*and*
\(j=0,1,2,\ldots\) .

Our aim in this paper is to characterize the geometrical property of *a*-rarefied sets at infinity.

### Theorem 1

*If a subset**H**of*
\(C_{n}(\Omega)\)*is**a*-*rarefied at infinity on cones*, *then**H**has a covering*
\(\{r_{j},R_{j}\}\) (\(j=0,1,2,\ldots\)) *satisfying*

Next, we immediately have the following result from Theorem 1.

### Corollary 1

*Let*
\(v(P)\)*be positive superfunction on cones*. *Then*
\(v(P)V^{-1}(r)\)*uniformly converges to*
\(c_{\infty}(v,a)\varphi(\Theta)\)*as*
\(r\rightarrow\infty\)*outside a set which has a covering*
\(\{r_{j},R_{j}\}\) (\(j=0,1,2,\ldots\)) *satisfying* (1.5), *where*

Finally, we prove the following result.

### Theorem 2

*If a subset**H**of*
\(C_{n}(\Omega)\)*has a covering*
\(\{r_{j},R_{j}\}\) (\(j=0,1,2,\ldots\)) *satisfying* (1.5), *then it is possible that**H**is not**a*-*rarefied at infinity on cones*.

## Main lemmas

### Lemma 1

*Let**λ**be any positive measure on*
\({\mathbf{R}}^{n}\)*having finite total mass*. *Then*
\(E(\epsilon; \lambda, 1)\)*has a covering*
\(\{r_{j},R_{j}\}\) (\(j=1,2,\ldots\)) *satisfying*

### Proof

Set

If \(P=(r,\Theta)\in E_{j}(\epsilon; \lambda, 1)\), then there exists a positive number \(\rho(P)\) such that

Since \(E_{j}(\epsilon; \lambda, 1)\) can be covered by the union of a family of balls \(\{B(P_{j,i},\rho_{j,i}):P_{j,i}\in E_{k}(\epsilon; \lambda, 1)\}\) (\(\rho_{j,i}=\rho(P_{j,i})\)). By the Vitali lemma (see [15]), there exists \(\Lambda_{j} \subset E_{j}(\epsilon; \lambda, 1)\), which is at most countable, such that \(\{B(P_{j,i},\rho_{j,i}):P_{j,i}\in\Lambda_{j} \}\) are disjoint and \(E_{j}(\epsilon; \lambda, 1) \subset \bigcup_{P_{j,i}\in\Lambda_{j}} B(P_{j,i},5\rho_{j,i})\). So

On the other hand, note that

so that

Hence we obtain

Since \(E(\epsilon; \lambda, 1)\cap\{P=(r,\Theta)\in{\mathbf{R}}^{n}; r\geq4\}=\bigcup_{j=2}^{\infty}E_{j}(\epsilon;\lambda, 1)\). Then \(E(\epsilon; \lambda, 1)\) is finally covered by a sequence of balls \(\{B(P_{j,i},\rho_{j,i}), B(P_{1},6)\}\) (\(j=2,3,\ldots\) ; \(i=1,2,\ldots\)) satisfying

where \(B(P_{1},6)\) (\(P_{1}=(1,0,\ldots,0)\in{\mathbf{R}}^{n}\)) is the ball which covers \(\{P=(r,\Theta)\in{\mathbf{R}}^{n}; r<4\}\). □

## Proof of Theorem 1

Since *H* is *a*-rarefied at infinity on cones, by Definition 2 there exists a positive superfunction \(v(P)\) on cones such that (1.3) and (1.4) hold.

For this \(v(P)\) there exists a unique positive measure \(\mu''\) on \(S_{n}(\Omega)\) and a unique positive measure \(\nu''\) on cones such that (see [2], Theorem 3)

where

Let us denote

and

respectively.

Then we see from (1.4) that

For each \(H_{i}\) (\(i=1,2,3\)), we know that it has a covering. It is evident from the boundedness of \(H_{1}\) that \(H_{1}\) has a covering \(\{r_{1},R_{1}\}\) satisfying

When we apply Theorems A and B with the measures *μ* and *ν* defined by \(\mu=3\mu''\) and \(\nu=3\nu''\), respectively, we can find two positive constants *L* and *ϵ* such that

and

respectively.

By Lemma 1, these sets \(E(\epsilon; \mu',1)\) and \(E(\epsilon; \nu',1)\) have coverings \(\{r_{j}^{(2)},R_{j}^{(2)}\}\) (\(j=1,2,\ldots\)) and \(\{r_{j}^{(3)},R_{j}^{(3)}\}\) (\(j=1,2,\ldots\)) satisfying

and

respectively.

Then \(H_{2}\) and \(H_{3}\) also have coverings \(\{r_{j}^{(2)},R_{j}^{(2)}\}\) (\(j=1,2,\ldots\)) and \(\{r_{j}^{(3)},R_{j}^{(3)}\}\) (\(j=1,2,\ldots\)) satisfying (3.4) and (3.5), respectively.

Thus by rearranging coverings \(\{r_{1},R_{1}\}\), \(\{r_{j}^{(2)},R_{j}^{(2)}\}\) (\(j=1,2,\ldots\)) and \(\{r_{j}^{(3)},R_{j}^{(3)}\}\) (\(j=1,2,\ldots\)), we know that the set *H* has a covering \(\{r_{j},R_{j}\}\) (\(j=0,1,2,\ldots\)) from (3.2) and satisfies (1.5) from (3.3), (3.4), and (3.5).

Thus we complete the proof of Theorem 1.

## Proof of Theorem 2

Put

A covering \(\{r_{j}, R_{j}\}\) satisfies

from (1.2).

Let \(C_{n}(\Omega')\) be a subset of \(C_{n}(\Omega)\), *i.e.*
\(\overline{\Omega}'\subset\Omega\). Suppose that this covering is so located: there is an integer \(j_{0}\) such that \(B_{j}\subset C_{n}(\Omega')\) and \(R_{j}>2r_{j}\) for \(j\geq j_{0}\).

Next we shall prove that the set \(H=\bigcup_{j=j_{0}}^{\infty}B_{j}\) is not *a*-rarefied at infinity on \(C_{n}(\Omega)\). Since \(\varphi(\Theta)\geq c\) for any \(\Theta\in\Omega'\), we have \(M_{\Omega}^{a}(P,\infty)\geq cV(R_{j})\) for any \(P\in \overline{B}_{j}\), where \(j\geq j_{0}\). Hence we have

for any \(P\in\overline{B}_{j}\), where \(j\geq j_{0}\).

Take a measure *δ* on cones, \(\operatorname{supp} \delta\subset \overline{B}_{j}\), \(\delta(\overline{B}_{j})=1\) such that

for any \(Q\in\overline{B}_{j}\), where Cap denotes the Newton capacity. Since

for any \(P\in C_{n}(\Omega)\) and \(Q\in C_{n}(\Omega)\),

from (4.1) and (4.2). Hence we have (see [5], p.1517)

If we observe \(\lambda_{H_{j}}^{a}(C_{n}(\Omega))=\lambda_{B_{j}}^{a}(C_{n}(\Omega))\), then we have by (1.2)

from which it follows by Theorem C that *H* is not *a*-rarefied at infinity on cones.

## Change history

### 28 January 2020

The Editors-in-Chief have retracted this article [1] because it overlaps significantly with a number of previously published articles from different authors [2-4] and one article by different authors that was simultaneously under consideration with another journal [5]. The article also showed evidence of peer review manipulation. Additionally, the identity of the corresponding author could not be verified: Roskilde University have confirmed that Beatriz Ychussie has not been affiliated with their institution. The authors have not responded to any correspondence with regards to this retraction.

## References

- 1.
Levin, B, Kheyfits, A: Asymptotic behavior of subfunctions of time-independent Schrödinger operator. In: Some Topics on Value Distribution and Differentiability in Complex and P-Adic Analysis, Chapter 11, pp. 323-397. Science Press, Beijing (2008)

- 2.
Qiao, L, Ren, YD: Integral representations for the solutions of infinite order of the stationary Schrödinger equation in a cone. Monatshefte Math.

**173**(4), 593-603 (2014) - 3.
Verzhbinskii, GM, Maz’ya, VG: Asymptotic behavior of solutions of elliptic equations of the second order close to a boundary. I. Sib. Mat. Zh.

**12**, 874-899 (1971) - 4.
Qiao, L, Zhao, T: Boundary limits for fractional Poisson

*a*-extensions of \(L^{p}\) boundary function in a cone. Pac. J. Math.**272**(1), 227-236 (2014) - 5.
Qiao, L, Pan, GS: Integral representations of generalized harmonic functions. Taiwan. J. Math.

**17**(5), 1503-1521 (2013) - 6.
Qiao, L, Pan, GS: Generalization of the Phragmén-Lindelöf theorems for subfunctions. Int. J. Math.

**24**(8), 1350062 (2013) - 7.
Xue, GX: A remark on the

*a*-minimally thin sets associated with the Schrödinger operator. Bound. Value Probl.**2014**, 133 (2014) - 8.
Simon, B: Schrödinger semigroups. Bull. Am. Math. Soc.

**7**, 447-526 (1982) - 9.
Gilbarg, D, Trudinger, NS: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (1977)

- 10.
Zhao, T, Yamada, AJ: Growth properties of Green-Sch potentials at infinity. Bound. Value Probl.

**2014**, 245 (2014) - 11.
Brelot, M: On Topologies and Boundaries in Potential Theory. Lecture Notes in Mathematics, vol. 175. Springer, Berlin (1971)

- 12.
Miyamoto, I, Yoshida, H: On harmonic majorization of the Martin function at infinity in a cone. Czechoslov. Math. J.

**55(130)**(4), 1041-1054 (2005) - 13.
Miyamoto, I, Yoshida, H: On

*a*-minimally thin sets at infinity in a cone. Hiroshima Math. J.**37**(1), 61-80 (2007) - 14.
Yoshida, H: Harmonic majorant of a radial subharmonic function on a strip and their applications. Int. J. Pure Appl. Math.

**30**(2), 259-286 (2006) - 15.
Stein, EM: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1970)

## Acknowledgements

This work was completed while the second author was visiting the Department of Mathematical Sciences at the Columbia University, and he is grateful for the kind hospitality of the Department. This work was partially supported by NSF Grant DMS-0913205.

## Author information

### Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

Both authors contributed equally to the writing of this paper. Both authors read and approved the final manuscript.

The Editors-in-Chief have retracted this article [1] because it overlaps significantly with a number of previously published articles from different authors [2- 4] and one article by different authors that was simultaneously under consideration with another journal [5]. The article also showed evidence of peer review manipulation. Additionally, the identity of the corresponding author could not be verified: Roskilde University have confirmed that Beatriz Ychussie has not been affiliated with their institution. The authors have not responded to any correspondence with regards to this retraction.

[1] Li, Z. & Ychussie, B. Fixed Point Theory Appl (2015) 2015: 89. https://doi.org/10.1186/s13663-015-0342-1

[2] Xue, G. Rarefied sets at infinity associated with the Schrödinger operator. J Inequal Appl 2014, 247 (2014) doi:10.1186/1029-242X-2014-247

[3] Zhao, T., Yamada, A. Growth properties of Green-Sch potentials at infinity. Bound Value Probl 2014, 245 (2014) doi:10.1186/s13661-014-0245-9

[4] Zhao, T. Minimally thin sets associated with the stationary Schrödinger operator. J Inequal Appl 2014, 67 (2014) doi:10.1186/1029-242X-2014-67

[5] Xue, G., Yuzbasi, E. Fixed point theorems for solutions of the stationary Schrödinger equation on cones. Fixed Point Theory Appl 2015, 34 (2015) doi:10.1186/s13663-015-0275-8

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Li, Z., Ychussie, B. RETRACTED ARTICLE: Sharp geometrical properties of *a*-rarefied sets via fixed point index for the Schrödinger operator equations.
*Fixed Point Theory Appl* **2015, **89 (2015). https://doi.org/10.1186/s13663-015-0342-1

Received:

Accepted:

Published:

### Keywords

- Schrödinger operator equations
- rarefied set
- Poisson-Sch integral
- Green-Sch potential