Infinitely many solutions for Kirchhoff equations with sign-changing potential and Hartree nonlinearity

This paper is concerned with the following Kirchhoff-type equations:

$$\begin{aligned} \left\{ \begin{array}{ll} \displaystyle -\big (a+b\int _{\mathbb {R}^{3}}|\nabla u|^{2}\mathrm {d}x\big )\Delta u+ V(x)u+\mu \phi |u|^{p-2}u=f(x, u)+g(x,u), &{} \text{ in } \mathbb {R}^{3},\\ (-\Delta )^{\frac{\alpha }{2}} \phi = \mu |u|^{p}, &{} \text{ in } \mathbb {R}^{3},\\ \end{array} \right. \end{aligned}$$

where \(a>0,~b,~\mu \ge 0\) are constants, \(\alpha \in (0,3)\), \(p\in [2,3+2\alpha )\), the potential V(x) may be unbounded from below and \(\phi |u|^{p-2}u\) is a Hartree-type nonlinearity. Under some mild conditions on V(x), f(x, u) and g(x, u), we prove that the above system has infinitely many nontrivial solutions. Specially, our results cover the general Schrödinger equations, the Kirchhoff equations and the Schrödinger–Poisson system.

     

Existence and concentration of solution for a class of fractional Hamiltonian systems with subquadratic potential

In this article, we consider the following fractional Hamiltonian systems:

$$\begin{aligned} {_{t}}D_{\infty }^{\alpha }({_{-\infty }}D_{t}^{\alpha }u) + \lambda L(t)u = \nabla W(t, u), \;\;t\in \mathbb {R}, \end{aligned}$$

where \(\alpha \in (1/2, 1)\), \(\lambda >0\) is a parameter, \(L\in C(\mathbb {R}, \mathbb {R}^{n\times n})\) and \(W \in C^{1}(\mathbb {R} \times \mathbb {R}^n, \mathbb {R})\). Unlike most other papers on this problem, we require that L(t) is a positive semi-definite symmetric matrix for all \(t\in \mathbb {R}\), that is, \(L(t) \equiv 0\) is allowed to occur in some finite interval \(\mathbb {I}\) of \(\mathbb {R}\). Under some mild assumptions on W, we establish the existence of nontrivial weak solution, which vanish on \(\mathbb {R} \setminus \mathbb {I}\) as \(\lambda \rightarrow \infty ,\) and converge to \(\tilde{u}\) in \(H^{\alpha }(\mathbb {R})\); here \(\tilde{u} \in E_{0}^{\alpha }\) is nontrivial weak solution of the Dirichlet BVP for fractional Hamiltonian systems on the finite interval \(\mathbb {I}\). Furthermore, we give the multiplicity results for the above fractional Hamiltonian systems.

     

Hölder continuity for continuous solutions of the singular minimal surface equation with arbitrary zero set

In this paper we prove the following theorem: Let \(\Omega \subset \mathbb {R}^{n}\) be a bounded open set, \(\psi \in C_{c}^{2}(\mathbb {R}^{n})\), \(\psi > 0\) on \(\partial \Omega \), be given boundary values and u a nonnegative solution to the problem

$$\begin{aligned}&u \in C^{0}(\overline{\Omega }) \cap C^{2}(\{u> 0\}) \\&u = \psi \quad \text { on } \; \partial \Omega \\&{\text {div}} \left( \frac{Du}{\sqrt{1 + |Du|^{2}}}\right) = \frac{\alpha }{u \sqrt{1 + |Du|^{2}}} \quad \text { in } \; \{u > 0\} \end{aligned}$$

where \(\alpha > 0\) is a given constant. Then \(u \in C^{0, \frac{1}{2}} (\overline{\Omega })\). Furthermore we prove strict mean convexity of the free boundary \(\partial \{u = 0\}\) provided \(\partial \{u = 0\}\) is assumed to be of class \(C^{2}\) and \(\alpha \ge 1\).

     

Sign-changing solutions to a partially periodic nonlinear Schrödinger equation in domains with unbounded boundary

We consider the problem

$$\begin{aligned} -\Delta u+\left( V_{\infty }+V(x)\right) u=|u|^{p-2}u,\quad u\in H_{0} ^{1}(\Omega ), \end{aligned}$$

where \(\Omega \) is either \(\mathbb {R}^{N}\) or a smooth domain in \(\mathbb {R} ^{N}\) with unbounded boundary, \(N\ge 3,\) \(V_{\infty }>0,\) \(V\in \mathcal {C} ^{0}(\mathbb {R}^{N}),\) \(\inf _{\mathbb {R}^{N}}V>-V_{\infty }\) and \(2<p<\frac{2N}{N-2}\). We assume V is periodic in the first m variables, and decays exponentially to zero in the remaining ones. We also assume that \(\Omega \) is periodic in the first m variables and has bounded complement in the other ones. Then, assuming that \(\Omega \) and V are invariant under some suitable group of symmetries on the last \(N-m\) coordinates of \(\mathbb {R}^{N}\), we establish existence and multiplicity of sign-changing solutions to this problem. We show that, under suitable assumptions, there is a combined effect of the number of periodic variables and the symmetries of the domain on the number of sign-changing solutions to this problem. This number is at least \(m+1\)

     

Existence of positive solution for nonlocal singular fourth order Kirchhoff equation with Hardy potential

This paper is concerned with the existence of positive solution to a class of singular fourth order elliptic equation of Kirchhoff type

$$\begin{aligned} \triangle ^2 u-\lambda M(\Vert \nabla u\Vert ^2)\triangle u-\frac{\mu }{\vert x\vert ^4}u=\frac{h(x)}{u^\gamma }+k(x)u^\alpha , \end{aligned}$$

under Navier boundary conditions, \(u=\triangle u=0\). Here \(\varOmega \subset {\mathbf {R}}^N\), \(N\ge 1\) is a bounded \(C^4\)-domain, \(0\in \varOmega \), h(x) and k(x) are positive continuous functions, \(\gamma \in (0,1)\), \(\alpha \in (0,1)\) and \(M:{\mathbf {R}}^+\rightarrow {\mathbf {R}}^+\) is a continuous function. By using Galerkin method and sharp angle lemma, we will show that this problem has a positive solution for \(\lambda > \frac{\mu }{\mu ^*m_0}\) and \(0<\mu <\mu ^*\). Here \(\mu ^*=\Big (\frac{N(N-4)}{4}\Big )^2\) is the best constant in the Hardy inequality. Besides, if \(\mu =0\), \(\lambda >0\) and h, k are Lipschitz functions, we show that this problem has a positive smooth solution. If \(h,k\in C^{2,\,\theta _0}(\overline{\varOmega })\) for some \(\theta _0\in (0,1)\), then this problem has a positive classical solution.

     

Existence results to positive solutions of fractional BVP with $${\varvec{}}$$-derivatives

This paper investigates the existence and uniqueness of positive and nondecreasing solution for nonlinear boundary value problem with fractional q-derivative

$$\begin{aligned}&D_{q}^{\alpha }u(t)+f(t,u(t))=0, \quad {0<t<1, ~3<\alpha \le 4,} \\&u(0)= D_{q}u(0)=D_{q}^{2}u(0)=0, \quad D_{q}^{2}u(1)=\beta D_{q}^{2}u(\eta ), \end{aligned}$$

where \(D_{q}^{\alpha }\) denotes the Riemann–Liouville q-derivative of order \(\alpha \), \(0<\eta <1\) and \(1-\beta \eta ^{\alpha -3}>0\). Our analysis relies a fixed point theorem in partially ordered sets. An example to illustrate our results is given.

     

A note on regularity of solutions for degenerate singular elliptic boundary value problems

We prove the \(C^{1,\beta }\)-boundary regularity and a comparison principle for weak solutions of the problem

$$\begin{aligned} \left\{ \begin{array}{ll} -\Delta _{p}u-\lambda \psi _{p}(u)=f(x)&{}\quad \text {in }\Omega , \\ u=0&{}\quad \text {on }\partial \Omega , \end{array} \right. \end{aligned}$$

where \(\Omega \) is a bounded domain in \(\mathbb {R}^{N},N>1\ \)with smooth boundary \(\partial \Omega ,\ \ \Delta _{p}u=\mathrm{div}(|\nabla u|^{p-2}\nabla u),\psi _{p}(u)=|u|^{p-2}u,p>1,\ \)and f is allowed to be unbounded.

     

Tauberian conditions for the $$(C, \alpha )$$ integrability of functions

For a real-valued continuous function f(x) on \([0,\infty )\), we define

$$\begin{aligned} s(x)=\int _{0}^{x} f(u)du\quad \text {and}\quad \sigma _{\alpha } (x)= \int _{0}^{x}\left( 1-\frac{u}{x}\right) ^{\alpha }f(u)du \end{aligned}$$

for \(x>0\). We say that \(\int _{0}^{\infty } f(u)du\) is \((C, \alpha )\) integrable to L for some \(\alpha >-1\) if the limit \(\lim _{x \rightarrow \infty } \sigma _{\alpha } (x)=L\) exists. It is known that \(\lim _{x \rightarrow \infty } s(x) =L\) implies \(\lim _{x \rightarrow \infty }\sigma _{\alpha } (x) =L\) for all \(\alpha >-1\). The aim of this paper is twofold. First, we introduce some new Tauberian conditions for the \((C, \alpha )\) integrability method under which the converse implication is satisfied, and improve classical Tauberian theorems for the \((C,\alpha )\) integrability method. Next we give short proofs of some classical Tauberian theorems as special cases of some of our results.

     

Construction of sign-changing solutions for a harmonic equation with subcritical exponent

In this paper, we study the harmonic equation involving subcritical exponent \((P_{\varepsilon })\): \( \Delta u = 0 \), in \(\mathbb {B}^n\) and \(\displaystyle \frac{\partial u}{\partial \nu } + \displaystyle \frac{n-2}{2}u = \displaystyle \frac{n-2}{2} K u^{\frac{n}{n-2}-\varepsilon }\) on \( \mathbb {S}^{n-1}\) where \(\mathbb {B}^n \) is the unit ball in \(\mathbb {R}^n\), \(n\ge 5\) with Euclidean metric \(g_0\), \(\partial \mathbb {B}^n = \mathbb {S}^{n-1}\) is its boundary, K is a function on \(\mathbb {S}^{n-1}\) and \(\varepsilon \) is a small positive parameter. We construct solutions of the subcritical equation \((P_{\varepsilon })\) which blow up at two different critical points of K. Furthermore, we construct solutions of \((P_{\varepsilon })\) which have two bubbles and blow up at the same critical point of K.     

On a Fractional $$ p \& q$$ Laplacian Problem with Critical Sobolev–Hardy Exponents

We consider the following fractional \( p \& q\) Laplacian problem with critical Sobolev–Hardy exponents

$$\begin{aligned} \left\{ \begin{array}{ll} (-\Delta )^{s}_{p} u + (-\Delta )^{s}_{q} u = \frac{|u|^{p^{*}_{s}(\alpha )-2}u}{|x|^{\alpha }}+ \lambda f(x, u) &{} \text{ in } \Omega \\ u=0 &{} \text{ in } \mathbb {R}^{N}{\setminus } \Omega , \end{array} \right. \end{aligned}$$

where \(0<s<1\), \(1\le q<p<\frac{N}{s}\), \((-\Delta )^{s}_{r}\), with \(r\in \{p,q\}\), is the fractional r-Laplacian operator, \(\lambda \) is a positive parameter, \(\Omega \subset \mathbb {R}^{N}\) is an open bounded domain with smooth boundary, \(0\le \alpha <sp\), and \(p^{*}_{s}(\alpha )=\frac{p(N-\alpha )}{N-sp}\) is the so-called Hardy–Sobolev critical exponent. Using concentration-compactness principle and the mountain pass lemma due to Kajikiya [23], we show the existence of infinitely many solutions which tend to be zero provided that \(\lambda \) belongs to a suitable range.

     

Stepanov-Almost Periodic Solutions of Non-autonomous Neutral Functional Differential Equations with Functional Delay

In this paper, we study the existence and uniqueness of Stepanov-almost periodic mild solution to the non-autonomous neutral functional differential equation

$$\begin{aligned} \frac{{\hbox {d}}}{\hbox {d}t}[u(t)-F(t,u(t-\alpha (t)))]= & {} A(t)[u(t)-F(t,u(t-\alpha (t)))]\\&+\,G(t,u(t),u(t-\alpha (t))),\quad t\in \mathbb {R}, \end{aligned}$$

in a Banach space \(\mathbb {X},\) where the family of linear operators A(t) satisfies the ‘Acquistapace–Terreni’ conditions, the evolution family generated by \(A(t),t\in \mathbb {R},\) is exponentially stable, \((\gamma -A(\cdot ))^{-1}\) and \(\alpha (\cdot )\) are almost periodic, and F and G are Stepanov-almost periodic continuous functions.

     

Multiplicity and bifurcation of positive solutions for nonhomogeneous semilinear fractional Laplacian problems

In this paper we consider the following nonhomogeneous semilinear fractional Laplacian problem

$$\begin{aligned} {\left\{ \begin{array}{ll} (-\Delta )^s u+u=\lambda (f(x,u)+h(x)) \,\, \text {in}\,\, \mathbb {R}^N,\\ u\in H^s(\mathbb {R}^N), u>0\,\, \text {in}\,\, \mathbb {R}^N, \end{array}\right. } \end{aligned}$$

where \(\lambda >0\) and \(\lim _{|x|\rightarrow \infty }f(x,u)=\overline{f}(u)\) uniformly on any compact subset of \([0,\infty )\). We prove that under suitable conditions on f and h, there exists \(0<\lambda ^*<+\infty \) such that the problem has at least two positive solutions if \(\lambda \in (0,\lambda ^*)\), a unique positive solution if \(\lambda =\lambda ^*\), and no solution if \(\lambda >\lambda ^*\). We also obtain the bifurcation of positive solutions for the problem at \((\lambda ^*,u^*)\) and further analyse the set of positive solutions.

     

Anderson Polymer in a Fractional Brownian Environment: Asymptotic Behavior of the Partition Function

We consider the Anderson polymer partition function

$$\begin{aligned} u(t):=\mathbb {E}^X\left[ e^{\int _0^t \mathrm {d}B^{X(s)}_s}\right] \,, \end{aligned}$$

where \(\{B^{x}_t\,;\, t\ge 0\}_{x\in \mathbb {Z}^d}\) is a family of independent fractional Brownian motions all with Hurst parameter \(H\in (0,1)\), and \(\{X(t)\}_{t\in \mathbb {R}^{\ge 0}}\) is a continuous-time simple symmetric random walk on \(\mathbb {Z}^d\) with jump rate \(\kappa \) and started from the origin. \(\mathbb {E}^X\) is the expectation with respect to this random walk. We prove that when \(H\le 1/2\), the function u(t) almost surely grows asymptotically like \(e^{\lambda t}\), where \(\lambda >0\) is a deterministic number. More precisely, we show that as t approaches \(+\infty \), the expression \(\{\frac{1}{t}\log u(t)\}_{t\in \mathbb {R}^{>0}}\) converges both almost surely and in the \(\hbox {L}^1\) sense to some positive deterministic number \(\lambda \). For \(H>1/2\), we first show that \(\lim _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) exists both almost surely and in the \(\hbox {L}^1\) sense and equals a strictly positive deterministic number (possibly \(+\infty \)); hence, almost surely u(t) grows asymptotically at least like \(e^{\alpha t}\) for some deterministic constant \(\alpha >0\). On the other hand, we also show that almost surely and in the \(\hbox {L}^1\) sense, \(\limsup _{t\rightarrow \infty } \frac{1}{t\sqrt{\log t}}\log u(t)\) is a deterministic finite real number (possibly zero), hence proving that almost surely u(t) grows asymptotically at most like \(e^{\beta t\sqrt{\log t}}\) for some deterministic positive constant \(\beta \). Finally, for \(H>1/2\) when \(\mathbb {Z}^d\) is replaced by a circle endowed with a Hölder continuous covariance function, we show that \(\limsup _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) is a deterministic finite positive real number, hence proving that almost surely u(t) grows asymptotically at most like \(e^{c t}\) for some deterministic positive constant c.

     

Ground State Solutions for Asymptotically Periodic Kirchhoff-Type Equations with Asymptotically Cubic or Super-cubic Nonlinearities

This paper is concerned with the following Kirchhoff-type equation

$$\begin{aligned} -\left( a+b\int _{\mathbb {R}^3}|\nabla {u}|^2\mathrm {d}x\right) \triangle u+V(x)u=f(x, u), \quad x\in \mathbb {R}^{3}, \end{aligned}$$

where \(V\in \mathcal {C}(\mathbb {R}^{3}, (0,\infty ))\), \(f\in \mathcal {C}({\mathbb {R}}^{3}\times \mathbb {R}, \mathbb {R})\), V(x) and f(x, t) are periodic or asymptotically periodic in x. Using weaker assumptions \(\lim _{|t|\rightarrow \infty }\frac{\int _0^tf(x, s)\mathrm {d}s}{|t|^3}=\infty \) uniformly in \(x\in \mathbb {R}^3\) and

$$\begin{aligned}&\left[ \frac{f(x,\tau )}{\tau ^3}-\frac{f(x,t\tau )}{(t\tau )^3} \right] \mathrm {sign}(1-t) +\theta _0V(x)\frac{|1-t^2|}{(t\tau )^2}\ge 0, \quad \\&\quad \forall x\in \mathbb {R}^3,\ t>0, \ \tau \ne 0 \end{aligned}$$

with a constant \(\theta _0\in (0,1)\), instead of the common assumption \(\lim _{|t|\rightarrow \infty }\frac{\int _0^tf(x, s)\mathrm {d}s}{|t|^4}=\infty \) uniformly in \(x\in \mathbb {R}^3\) and the usual Nehari-type monotonic condition on \(f(x,t)/|t|^3\), we establish the existence of Nehari-type ground state solutions of the above problem, which generalizes and improves the recent results of Qin et al. (Comput Math Appl 71:1524–1536, 2016) and Zhang and Zhang (J Math Anal Appl 423:1671–1692, 2015). In particular, our results unify asymptotically cubic and super-cubic nonlinearities.

     

Book reviews

We consider the following singularly perturbed nonlocal elliptic problem

$$\begin{aligned} -\left( \varepsilon ^{2}a+\varepsilon b\displaystyle \int _{\mathbb {R}^{3}}|\nabla u|^{2}dx\right) \Delta u+V(x)u=\displaystyle \varepsilon ^{\alpha -3}(W_{\alpha }(x)*|u|^{p})|u|^{p-2}u, \quad x\in \mathbb {R}^{3}, \end{aligned}$$

where \(\varepsilon >0\) is a parameter, \(a>0,b\ge 0\) are constants, \(\alpha \in (0,3)\), \(p\in [2, 6-\alpha )\), \(W_{\alpha }(x)\) is a convolution kernel and V(x) is an external potential satisfying some conditions. By using variational methods, we establish the existence and concentration of positive ground state solutions for the above equation.

     

Existence and Multiplicity of Solutions for Fractional Elliptic Problems with Discontinuous Nonlinearities

We consider the following fractional elliptic problem:

$$\begin{aligned} (P)\left\{ \begin{array}{ll} (-\Delta )^s u = f(u) H(u-\mu )&{} \quad \text{ in } \ \Omega ,\\ u =0 &{}\quad \text{ on } \ \mathbb{{R}}^n {\setminus } \Omega , \end{array} \right. \end{aligned}$$

where \((-\Delta )^s, s\in (0,1)\) is the fractional Laplacian, \(\Omega \) is a bounded domain of \(\mathbb{{R}}^n,(n\ge 2s)\) with smooth boundary \(\partial \Omega ,\) H is the Heaviside step function, f is a given function and \(\mu \) is a positive real parameter. The problem (P) can be considered as simplified version of some models arising in different contexts. We employ variational techniques to study the existence and multiplicity of positive solutions of problem (P).

     

Eichler’s commutation relation and some other invariant subspaces of Hecke operators

Let k be an odd positive integer, L a lattice on a regular positive definite k-dimensional quadratic space over \(\mathbb {Q}\), \(N_L\) the level of L, and \(\mathscr {M}(L)\)  be the linear space of \(\theta \)-series attached to the distinct classes in the genus of L. We prove that, for an odd prime \(p|N_L\), if \(L_p=L_{p,1}\,\bot \, L_{p,2}\), where \(L_{p,1}\) is unimodular, \(L_{p,2}\) is (p)-modular, and \(\mathbb {Q}_pL_{p,2}\) is anisotropic, then \(\mathscr {M}(L;p):=\) \(\mathscr {M}(L)\) \(+T_{p^2}.\) \(\mathscr {M}(L)\)  is stable under the Hecke operator \(T_{p^2}\). If \(L_2\) is isometric to \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle 2\varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}1\\ 1&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) with \(\varepsilon \in \mathbb {Z}_2^{\times }\) and \(\kappa :=\frac{k-1}{2}\), then \(\mathscr {M}(L;2):=T_{2^2}.\mathscr {M}(L)+T_{2^2}^2.\,\mathscr {M}(L)\) is stable under the Hecke operator \(T_{2^2}\). Furthermore, we determine some invariant subspaces of the cusp forms for the Hecke operators.     

On the Dilation of Truncated Toeplitz Operators

An operator \(S_{\varphi ,\psi }^{u}\in \mathcal {L}(L^2)\) is called the dilation of a truncated Toeplitz operator if for two symbols \(\varphi ,\psi \in L^{\infty }\) and an inner function u,

$$\begin{aligned} S_{\varphi ,\psi }^{u}f=\varphi P_uf+\psi Q_uf \end{aligned}$$

holds for \(f\in {L}^{2}\) where \(P_{u}\) denotes the orthogonal projection of \(L^2\) onto the model space \(\mathcal { K}_{u}^2=H^2{\ominus }{{u}H^2}\) and \(Q_u=I-P_u.\) In this paper, we study properties of the dilation of truncated Toeplitz operators on \(L^{2}\). In particular, we provide conditions for the dilation of truncated Toeplitz operators to be normal. As some applications, we give several examples of such operators.

     

Groups with a ternary equivalence relation

We consider in a group \((G,\cdot )\) the ternary relation

$$\begin{aligned} \kappa := \{(\alpha , \beta , \gamma ) \in G^3 \ | \ \alpha \cdot \beta ^{-1} \cdot \gamma = \gamma \cdot \beta ^{-1} \cdot \alpha \} \end{aligned}$$

and show that \(\kappa \) is a ternary equivalence relation if and only if the set \( \mathfrak Z \) of centralizers of the group G forms a fibration of G (cf. Theorems 2, 3). Therefore G can be provided with an incidence structure

$$\begin{aligned} \mathfrak G:= \{\gamma \cdot Z \ | \ \gamma \in G , Z \in \mathfrak Z(G) \}. \end{aligned}$$

We study the automorphism group of \((G,\kappa )\), i.e. all permutations \(\varphi \) of the set G such that \( (\alpha , \beta , \gamma ) \in \kappa \) implies \((\varphi (\alpha ),\varphi (\beta ),\varphi (\gamma ))\in \kappa \). We show \(\mathrm{Aut}(G,\kappa )=\mathrm{Aut}(G,\mathfrak G)\), \(\mathrm{Aut} (G,\cdot ) \subseteq \mathrm{Aut}(G,\kappa )\) and if \( \varphi \in \mathrm{Aut}(G,\kappa )\) with \(\varphi (1)=1\) and \(\varphi (\xi ^{-1})= (\varphi (\xi ))^{-1}\) for all \(\xi \in G\) then \(\varphi \) is an automorphism of \((G,\cdot )\). This allows us to prove a representation theorem of \(\mathrm{Aut}(G,\kappa )\) (cf. Theorem 6) and that for \(\alpha \in G \) the maps

$$\begin{aligned} \tilde{\alpha }\ : \ G \rightarrow G;~ \xi \mapsto \alpha \cdot \xi ^{-1} \cdot \alpha \end{aligned}$$

of the corresponding reflection structure \((G, \widetilde{G})\) (with \( \tilde{G} := \{\tilde{\gamma }\ | \ \gamma \in G \}\)) are point reflections. If \((G ,\cdot )\) is uniquely 2-divisible and if for \(\alpha \in G\), \(\alpha ^{1\over 2}\) denotes the unique solution of \(\xi ^2=\alpha \) then with \(\alpha \odot \beta := \alpha ^{1\over 2} \cdot \beta \cdot \alpha ^{1\over 2}\), the pair \((G,\odot )\) is a K-loop (cf. Theorem 5).