Extremal Problems for Mappings with Generalized Parametric Representation in $${{\mathbb {C}}}^{n}$$

In this paper we are concerned with the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) (\(t\ge 0\)) of normalized biholomorphic mappings on the Euclidean unit ball \(\mathbb {B}^n\) in \({\mathbb {C}}^n\) that can be embedded in normal Loewner chains whose normalizations are given by time-dependent operators \(A\in \widetilde{\mathcal {A}}\), where \(\widetilde{\mathcal {A}}\) is a family of measurable mappings from \([0,\infty )\) into \(L({\mathbb {C}}^n)\) which satisfy certain natural assumptions. In particular, we consider extreme points and support points associated with the compact family \(\widetilde{S}^t_A(\mathbb {B}^n)\), where \(A\in \widetilde{\mathcal {A}}\). We prove that if \(f(z,t)=V(t)^{-1}z+\cdots \) is a normal Loewner chain such that \(V(s)f(\cdot ,s)\in \mathrm{ex}\,\widetilde{S}^s_A(\mathbb {B}^n)\) (resp. \(V(s)f(\cdot ,s)\in \mathrm{supp}\,\widetilde{S}^s_A(\mathbb {B}^n)\)), then \(V(t)f(\cdot ,t)\in \mathrm{ex}\, \widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\) (resp. \(V(t)f(\cdot ,t)\in \mathrm{supp}\,\widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\)), where V(t) is the unique solution on \([0,\infty )\) of the initial value problem: \(\frac{d V}{d t}(t)=-A(t)V(t)\), a.e. \(t\ge 0\), \(V(0)=I_n\). Also, we obtain an example of a bounded support point for the family \(\widetilde{S}_A^t(\mathbb {B}^2)\), where \(A\in \widetilde{\mathcal {A}}\) is a certain time-dependent operator. We also consider the notion of a reachable family with respect to time-dependent linear operators \(A\in \widetilde{\mathcal {A}}\), and obtain characterizations of extreme/support points associated with these families of bounded biholomorphic mappings on \(\mathbb {B}^n\). Useful examples and applications yield that the study of the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) for time-dependent operators \(A\in \widetilde{\mathcal {A}}\) is basically different from that in the case of constant time-dependent linear operators.     

Normes cyclotomiques naïves et unités logarithmiques

We compute the \({\mathbb {Z}}\)-rank of the subgroup \(\widetilde{E}_K =\bigcap _{n\in {\mathbb {N}}} N_{K_n/K}(K_n^\times )\) of elements of the multiplicative group of a number field K that are norms from every finite level of the cyclotomic \({\mathbb {Z}}_\ell \)-extension \(K^c\) of K. Thus we compare its \(\ell \)-adification \({\mathbb {Z}}_\ell \otimes _{\mathbb {Z}}\widetilde{E}_K\) with the group of logarithmic units \(\widetilde{\varepsilon }_K\). By the way we point out an easy proof of the Gross–Kuz’min conjecture for \(\ell \)-undecomposed extensions of abelian fields.     

Lower order eigenvalues of a system of equations of the drifting Laplacian on the metric measure spaces

Let \(\Omega \) be a bounded domain with smooth boundary in an n-dimensional metric measure space \((\mathbb {R}^n, \langle ,\rangle , e^{-\phi }dv)\) and let \(\mathbf {u}=(u^1, \ldots , u^n)\) be a vector-valued function from \(\Omega \) to \(\mathbb {R}^n\). In this paper, we investigate the Dirichlet eigenvalue problem of a system of equations of the drifting Laplacian: \(\mathbb {L}_{\phi } \mathbf {u} + \alpha [ \nabla (\mathrm {div}\mathbf { u}) -\nabla \phi \mathrm {div} \mathbf {u}]= - \widetilde{\sigma } \mathbf {u}\), in \( \Omega \), and \(u|_{\partial \Omega }=0,\) where \(\mathbb {L}_{\phi } = \Delta - \nabla \phi \cdot \nabla \) is the drifting Laplacian and \(\alpha \) is a nonnegative constant. We establish some universal inequalities for lower order eigenvalues of this problem on the metric measure space \((\mathbb {R}^n, \langle ,\rangle , e^{-\phi }dv)\) and the Gaussian shrinking soliton \((\mathbb {R}^n, \langle ,\rangle _{\mathrm {can}}, e^{-\frac{|x|^2}{4}}dv, \frac{1}{2})\). Moreover, we give an estimate for the upper bound of the second eigenvalue of this problem in terms of its first eigenvalue on the gradient product Ricci soliton \((\Sigma \times \mathbb {R}, \langle ,\rangle , e^{-\frac{\kappa t^2}{2}}dv, \kappa )\), where \( \Sigma \) is an Einstein manifold with constant Ricci curvature \(\kappa \).     

Unique representation bi-basis for rational numbers field

For \(A\subseteq {\mathbb {Q}}\), \(\alpha \in {\mathbb {Q}}\), let \(r_{A}(\alpha )=\#\{(a_{1}, a_{2})\in A^{2}: \alpha =a_{1}+a_{2}, a_{1}\le a_{2}\},\) \(\delta _{A}(\alpha )=\#\{(a_{1}, a_{2})\in A^{2}: \alpha =a_{1}-a_{2} \}.\) In this paper, we construct a set \(A\subset {\mathbb {Q}}\) such that \(r_{A}(\alpha )=1\) for all \(\alpha \in {\mathbb {Q}}\) and \(\delta _{A}(\alpha )=1\) for all \(\alpha \in {\mathbb {Q}}\setminus \{{0}\}\).     

On Reachable Families of the Loewner Differential Equation in Several Complex Variables

Graham, Hamada, Kohr and Kohr studied the normalized time \(T\) reachable families \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},\Omega )\) of the Loewner differential equation, which are generated by the Carathéodory mappings with values in a subfamily \(\Omega \) of the Carathéodory family \({\mathcal {N}}_A\) for the Euclidean unit ball \({\mathbb {B}}^n\), where \(A\) is a linear operator with \(k_+(A)<2m(A)\) (\(k_+(A)\) is the Lyapunov index of \(A\) and \(m(A)=\min \{\mathfrak {R}\left\langle Az,z\right\rangle \big |z\in {\mathbb {C}}^n,\Vert z\Vert =1\}\)). They obtained some compactness and density results, as generalizations of related results due to Roth, and conjectured that if \(\Omega \) is compact and convex, then \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},\Omega )\) is compact and \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},ex\,\Omega )\) is dense in \(\widetilde{\mathcal {R}}_T(id_{{\mathbb {B}}^n},\Omega )\), where \(ex\,\Omega \) denotes the corresponding set of extreme points and \(T\in [0,\infty ]\). We confirm this, by embedding the Carathéodory mappings in a suitable Bochner space.     

Complex symmetry of Toeplitz operators with continuous symbols

In this note, we consider the question of when a Toeplitz operator on the Hardy–Hilbert space \(H^2\) of the open unit disk \(\mathbb {D}\) is complex symmetric, focusing on symbols \(\phi :\mathbb {T}\rightarrow \mathbb {C}\) that are continuous on the unit circle \(\mathbb {T}=\partial \mathbb {D}\). A closed curve \(\phi \) is called nowhere winding if the winding number of \(\phi \) is 0 about every point not in the range of \(\phi \). It is then shown that if \(T_\phi \) is complex symmetric, then \(\phi \) must be nowhere winding. Hence if \(\phi \) is a simple closed curve, then \(T_\phi \) cannot be a complex symmetric operator. The spectrum and invertibility of complex symmetric Toeplitz operators with continuous symbols are then described. Finally, given any continuous curve \(\gamma :[a,b]\rightarrow \mathbb {C}\), it is shown that there exists a complex symmetric Toeplitz operator with continuous symbol whose spectrum is precisely the range of \(\gamma \).     

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.

     

On one-dimensional superlinear indefinite problems involving the $$\phi $$-Laplacian

Let \(\Omega := ( a,b ) \subset \mathbb {R}\), \(m\in L^{1} ( \Omega ) \) and \(\phi :\mathbb {R\rightarrow R}\) be an odd increasing homeomorphism. We consider the existence of positive solutions for problems of the form

$$\begin{aligned} \left\{ \begin{array} [c]{ll} -\phi ( u^{\prime } ) ^{\prime }=m ( x ) f ( u) &{}\quad \text {in } \Omega ,\\ u=0 &{}\quad \text {on } \partial \Omega , \end{array} \right. \end{aligned}$$

where \(f: [ 0,\infty ) \rightarrow [ 0,\infty ) \) is a continuous function which is, roughly speaking, superlinear with respect to \(\phi \). Our approach combines the Guo-Krasnoselski? fixed-point theorem with some estimates on related nonlinear problems. We mention that our results are new even in the case \(m\ge 0\).

     

Generating Hyperbolic Singularities in Semitoric Systems Via Hopf Bifurcations

Let \((M,\Omega )\) be a connected symplectic 4-manifold and let \(F=(J,H) :M\rightarrow \mathbb {R}^2\) be a completely integrable system on M with only non-degenerate singularities. Assume that F does not have singularities with hyperbolic blocks and that \(p_1,\ldots ,p_n\) are the focus–focus singularities of F. For each subset \(S=\{i_1,\ldots ,i_j\}\), we will show how to modify F locally around any \(p_i, i \in S\), in order to create a new integrable system \(\widetilde{F}=(J, \widetilde{H}) :M \rightarrow \mathbb {R}^2\) such that its classical spectrum \(\widetilde{F}(M)\) contains j smooth curves of singular values corresponding to non-degenerate transversally hyperbolic singularities of \(\widetilde{F}\). Moreover the focus–focus singularities of \(\widetilde{F}\) are precisely \(p_i\), \(i \in \{1,\ldots ,n\} \setminus S\). The proof is based on Eliasson’s linearization theorem for non-degenerate singularities, and properties of the Hamiltonian Hopf bifurcation.     

On height isotopy classes of embeddings in the plane of a Morse function of a circle

Let \(\mathrm{SM}_{2n}(S^1,\mathbb {R})\) be a set of stable Morse functions of an oriented circle such that the number of singular points is \(2n\in \mathbb {N}\) and the order of singular values satisfies the particular condition. For an orthogonal projection \(\pi :\mathbb {R}^2\rightarrow \mathbb {R}\), let \({\tilde{f}}_0\) and \({\tilde{f}}_1:S^1\rightarrow \mathbb {R}^2\) be embedding lifts of f. If there is an ambient isotopy \(\tilde{\varphi }_t:\mathbb {R}^2\rightarrow \mathbb {R}^2\) \((t\in [0,1])\) such that \({\pi \circ \tilde{\varphi }}_t(y_1,y_2)=y_1\) and \(\tilde{\varphi }_1\circ {\tilde{f}}_0={\tilde{f}}_1\), we say that \({\tilde{f}}_0\) and \({\tilde{f}}_1\) are height isotopic. We define a function \(I:\mathrm{SM}_{2n}(S^1,\mathbb {R})\rightarrow \mathbb {N}\) as follows: I(f) is the number of height isotopy classes of embeddings such that each rotation number is one. In this paper, we determine the maximal value of the function I equals the n-th Baxter number and the minimal value equals \(2^{n-1}\).     

Corona problem with data in ideal spaces of sequences

Let E be a Banach lattice on \({\mathbb {Z}}\) with order continuous norm. We show that for any function \(f = \{f_j\}_{j \in {\mathbb {Z}}}\) from the Hardy space \(\mathrm H_{\infty }\left( E \right) \) such that \(\delta \leqslant \Vert f (z)\Vert _E \leqslant 1\) for all z from the unit disk \({\mathbb {D}}\) there exists some solution \(g = \{g_j\}_{j \in {\mathbb {Z}}} \in \mathrm H_{\infty }\left( E' \right) \), \(\Vert g\Vert _{\mathrm H_{\infty }\left( E' \right) } \leqslant C_\delta \) of the Bézout equation \(\sum _j f_j g_j = 1\), also known as the vector-valued corona problem with data in \(\mathrm H_{\infty }\left( E \right) \).     

Central Limit Theorem for Linear Eigenvalue Statistics for a Tensor Product Version of Sample Covariance Matrices

For \(k,m,n\in {\mathbb {N}}\), we consider \(n^k\times n^k\) random matrices of the form

$$\begin{aligned} {\mathcal {M}}_{n,m,k}({\mathbf {y}})=\sum _{\alpha =1}^m\tau _\alpha {Y_\alpha }Y_\alpha ^T,\quad {Y}_\alpha ={\mathbf {y}}_\alpha ^{(1)}\otimes \cdots \otimes {\mathbf {y}}_\alpha ^{(k)}, \end{aligned}$$

where \(\tau _{\alpha }\), \(\alpha \in [m]\), are real numbers and \({\mathbf {y}}_\alpha ^{(j)}\), \(\alpha \in [m]\), \(j\in [k]\), are i.i.d. copies of a normalized isotropic random vector \({\mathbf {y}}\in {\mathbb {R}}^n\). For every fixed \(k\ge 1\), if the Normalized Counting Measures of \(\{\tau _{\alpha }\}_{\alpha }\) converge weakly as \(m,n\rightarrow \infty \), \(m/n^k\rightarrow c\in [0,\infty )\) and \({\mathbf {y}}\) is a good vector in the sense of Definition 1.1, then the Normalized Counting Measures of eigenvalues of \({\mathcal {M}}_{n,m,k}({\mathbf {y}})\) converge weakly in probability to a nonrandom limit found in Marchenko and Pastur (Math USSR Sb 1:457–483, 1967). For \(k=2\), we define a subclass of good vectors \({\mathbf {y}}\) for which the centered linear eigenvalue statistics \(n^{-1/2}{{\mathrm{Tr}}}\varphi ({\mathcal {M}}_{n,m,2}({\mathbf {y}}))^\circ \) converge in distribution to a Gaussian random variable, i.e., the Central Limit Theorem is valid.

     

Absolute continuity and singularity of Palm measures of the Ginibre point process

We prove a dichotomy between absolute continuity and singularity of the Ginibre point process \(\mathsf {G}\) and its reduced Palm measures \(\{\mathsf {G}_{\mathbf {x}}, \mathbf {x} \in \mathbb {C}^{\ell }, \ell = 0,1,2\ldots \}\), namely, reduced Palm measures \(\mathsf {G}_{\mathbf {x}}\) and \(\mathsf {G}_{\mathbf {y}}\) for \(\mathbf {x} \in \mathbb {C}^{\ell }\) and \(\mathbf {y} \in \mathbb {C}^{n}\) are mutually absolutely continuous if and only if \(\ell = n\); they are singular each other if and only if \(\ell \not = n\). Furthermore, we give an explicit expression of the Radon–Nikodym density \(d\mathsf {G}_{\mathbf {x}}/d \mathsf {G}_{\mathbf {y}}\) for \(\mathbf {x}, \mathbf {y} \in \mathbb {C}^{\ell }\).     

Transformation formulae and asymptotic expansions for double holomorphic Eisenstein series of two complex variables

The main object of study in this paper is the double holomorphic Eisenstein series \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) having two complex variables \(\mathbf{s}=(s_1,s_2)\) and two parameters \(\mathbf{z}= (z_1,z_2)\) which satisfies either \(\mathbf{z}\in (\mathfrak {H}^+)^2\) or \(\mathbf{z}\in (\mathfrak {H}^-)^2\), where \(\mathfrak {H}^{\pm }\) denotes the complex upper and lower half-planes, respectively. For \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\), its transformation properties and asymptotic aspects are studied when the distance \(|z_2-z_1|\) becomes both small and large under certain natural settings on the movement of \(\mathbf{z}\in (\mathfrak {H}^{\pm })^2\). Prior to the proofs our main results, a new parameter \(\eta \), which plays a pivotal role in describing our results, is introduced in connection with the difference \(z_2-z_1\). We then establish complete asymptotic expansions for \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) when \(\mathbf{z}\) moves within the poly-sector either \((\mathfrak {H}^+)^2\) or \((\mathfrak {H}^-)^2\), so as to \(\eta \rightarrow 0\) through \(|\arg \eta |<\pi /2\) in the ascending order of \(\eta \) (Theorem 1). This further leads us to show that counterpart expansions exist for \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) in the descending order of \(\eta \) as \(\eta \rightarrow \infty \) through \(|\arg \eta |<\pi /2\) (Theorem 2). Our second main formula in Theorem 2 yields a functional equation for \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) (Corollaries 2.1, 2.2), and also reduces naturally to various expressions of \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) in closed forms for integer lattice point \(\mathbf{s}\in \mathbb {Z}^2\) (Corollaries 2.3–2.17). Most of these results reveal that the particular values of \(\widetilde{\zeta _{\mathbb {Z}^2}}(\mathbf{s};\mathbf{z})\) at \(\mathbf{s}\in \mathbb {Z}^2\) are closely linked to Weierstraß’ elliptic function, the classical Eisenstein series reformulated by Ramanujan, and the Jordan–Kronecker type functions, each associated with the bases \(2\pi (1, z_j)\), \(j=1,2\). The latter two functions were extensively utilized by Ramanujan in the course of developing his theories of Eisenstein series, elliptic functions, and theta functions. As for the methods used, crucial roles in the proofs are played by the Mellin–Barnes type integrals, manipulated with several properties of hypergeometric functions; the transference from Theorem 1 to Theorem 2 is, for instance, achieved by a connection formula for Kummer’s confluent hypergeometric functions.     

Convergence of Martingale and Moderate Deviations for a Branching Random Walk with a Random Environment in Time

We consider a branching random walk on \({\mathbb {R}}\) with a stationary and ergodic environment \(\xi =(\xi _n)\) indexed by time \(n\in {\mathbb {N}}\). Let \(Z_n\) be the counting measure of particles of generation n and \(\tilde{Z}_n(t)=\int \mathrm{e}^{tx}Z_n(\mathrm{d}x)\) be its Laplace transform. We show the \(L^p\) convergence rate and the uniform convergence of the martingale \(\tilde{Z}_n(t)/{\mathbb {E}}[\tilde{Z}_n(t)|\xi ]\), and establish a moderate deviation principle for the measures \(Z_n\).     

On the approximation of dynamical indicators in systems with nonuniformly hyperbolic behavior

Let f be a \(C^{1+\alpha }\) diffeomorphism of a compact Riemannian manifold and \(\mu \) an ergodic hyperbolic measure with positive entropy. We prove that for every continuous potential \(\phi \) there exists a sequence of basic sets \(\Omega _n\) such that the topological pressure \(P(f|\Omega _n,\phi )\) converges to the free energy \(P_{\mu }(\phi ) = h(\mu ) + \int \phi {d\mu }\). We also prove that for a suitable class of potentials \(\phi \) there exists a sequence of basic sets \(\Omega _n\) such that \(P(f|\Omega _n,\phi ) \rightarrow P(\phi )\).     

An Erdös–Révész Type Law of the Iterated Logarithm for Order Statistics of a Stationary Gaussian Process

Let \(\{X(t):t\in \mathbb R_+\}\) be a stationary Gaussian process with almost surely (a.s.) continuous sample paths, \(\mathbb E X(t) = 0, \mathbb E X^2(t) = 1\) and correlation function satisfying (i) \(r(t) = 1 - C|t|^{\alpha } + o(|t|^{\alpha })\) as \(t\rightarrow 0\) for some \(0\le \alpha \le 2\) and \(C>0\); (ii) \(\sup _{t\ge s}|r(t)|<1\) for each \(s>0\) and (iii) \(r(t) = O(t^{-\lambda })\) as \(t\rightarrow \infty \) for some \(\lambda >0\). For any \(n\ge 1\), consider n mutually independent copies of X and denote by \(\{X_{r:n}(t):t\ge 0\}\) the rth smallest order statistics process, \(1\le r\le n\). We provide a tractable criterion for assessing whether, for any positive, non-decreasing function \(f, \mathbb P(\mathscr {E}_f)=\mathbb P(X_{r:n}(t) > f(t)\, \text { i.o.})\) equals 0 or 1. Using this criterion we find, for a family of functions \(f_p(t)\) such that \(z_p(t)=\mathbb P(\sup _{s\in [0,1]}X_{r:n}(s)>f_p(t))=O((t\log ^{1-p} t)^{-1})\), that \(\mathbb P(\mathscr {E}_{f_p})= 1_{\{p\ge 0\}}\). Consequently, with \(\xi _p (t) = \sup \{s:0\le s\le t, X_{r:n}(s)\ge f_p(s)\}\), for \(p\ge 0\) we have \(\lim _{t\rightarrow \infty }\xi _p(t)=\infty \) and \(\limsup _{t\rightarrow \infty }(\xi _p(t)-t)=0\) a.s. Complementarily, we prove an Erdös–Révész type law of the iterated logarithm lower bound on \(\xi _p(t)\), namely, that \(\liminf _{t\rightarrow \infty }(\xi _p(t)-t)/h_p(t) = -1\) a.s. for \(p>1\) and \(\liminf _{t\rightarrow \infty }\log (\xi _p(t)/t)/(h_p(t)/t) = -1\) a.s. for \(p\in (0,1]\), where \(h_p(t)=(1/z_p(t))p\log \log t\).     

Weighted Harmonic Bloch Spaces on the Ball

We study the family of weighted harmonic Bloch spaces \(b_\alpha , \alpha \in {\mathbb {R}}\), on the unit ball of \({\mathbb {R}}^n\). We provide characterizations in terms of partial and radial derivatives and certain radial differential operators that are more compatible with reproducing kernels of harmonic Bergman–Besov spaces. We consider a class of integral operators related to harmonic Bergman projection and determine precisely when they are bounded on \(L^\infty _\alpha \). We define projections from \(L^\infty _\alpha \) to \(b_\alpha \) and as a consequence obtain integral representations. We solve the Gleason problem and provide atomic decomposition for all \(b_\alpha , \alpha \in {\mathbb {R}}\). Finally we give an oscillatory characterization of \(b_\alpha \) when \(\alpha >-1\).     

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 Lipschitz continuity of solutions of hyperbolic Poisson’s equation

In this paper, we investigate solutions of the hyperbolic Poisson equation \(\Delta _{h}u(x)=\psi (x)\), where \(\psi \in L^{\infty }(\mathbb {B}^{n}, {\mathbb R}^n)\) and

$$\begin{aligned} \Delta _{h}u(x)= (1-|x|^2)^2\Delta u(x)+2(n-2)\left( 1-|x|^2\right) \sum _{i=1}^{n} x_{i} \frac{\partial u}{\partial x_{i}}(x) \end{aligned}$$

is the hyperbolic Laplace operator in the n-dimensional space \(\mathbb {R}^n\) for \(n\ge 2\). We show that if \(n\ge 3\) and \(u\in C^{2}(\mathbb {B}^{n},{\mathbb R}^n) \cap C(\overline{\mathbb {B}^{n}},{\mathbb R}^n )\) is a solution to the hyperbolic Poisson equation, then it has the representation \(u=P_{h}[\phi ]-G_{ h}[\psi ]\) provided that \(u\mid _{\mathbb {S}^{n-1}}=\phi \) and \(\int _{\mathbb {B}^{n}}(1-|x|^{2})^{n-1} |\psi (x)|\,d\tau (x)<\infty \). Here \(P_{h}\) and \(G_{h}\) denote Poisson and Green integrals with respect to \(\Delta _{h}\), respectively. Furthermore, we prove that functions of the form \(u=P_{h}[\phi ]-G_{h}[\psi ]\) are Lipschitz continuous.