$${\varvec{\mathcal {}}}$$-minimaxness and local cohomology modules

Let R be a commutative Noetherian ring, \({\mathfrak {a}}\) an ideal of R, M a finitely generated R-module, and \({\mathcal {S}}\) a Serre subcategory of the category of R-modules. We introduce the concept of \({\mathcal {S}}\)-minimax R-modules and the notion of the \({\mathcal {S}}\)-finiteness dimension

$$\begin{aligned} f_{\mathfrak {a}}^{{\mathcal {S}}}(M):=\inf \lbrace f_{\mathfrak {a}R_{\mathfrak {p}}}(M_{\mathfrak {p}}) \vert \mathfrak {p}\in {\text {Supp}}_R(M/ \mathfrak {a}M) \text { and } R/\mathfrak {p}\notin {\mathcal {S}} \rbrace \end{aligned}$$

and we will prove that: (i) If \({\text {H}}_{\mathfrak {a}}^{0}(M), \cdots ,{\text {H}}_{\mathfrak {a}}^{n-1}(M)\) are \({\mathcal {S}}\)-minimax, then the set \(\lbrace \mathfrak {p}\in {\text {Ass}}_R( {\text {H}}_{\mathfrak {a}}^{n}(M)) \vert R/\mathfrak {p}\notin {\mathcal {S}}\rbrace \) is finite. This generalizes the main results of Brodmann–Lashgari (Proc Am Math Soc 128(10):2851–2853, 2000), Quy (Proc Am Math Soc 138:1965–1968, 2010), Bahmanpour–Naghipour (Proc Math Soc 136:2359–2363, 2008), Asadollahi–Naghipour (Commun Algebra 43:953–958, 2015), and Mehrvarz et al. (Commun Algebra 43:4860–4872, 2015). (ii) If \({\mathcal {S}}\) satisfies the condition \(C_{\mathfrak {a}}\), then

$$\begin{aligned} f_{\mathfrak {a}}^{{\mathcal {S}}}(M)= \inf \lbrace i\in {\mathbb {N}}_{0} \vert {\text {H}}_{\mathfrak {a}}^{i}(M) \text { is not } {\mathcal {S}}\hbox {-}minimax\rbrace . \end{aligned}$$

This is a formulation of Faltings’ Local-global principle for the \({\mathcal {S}}\)-minimax local cohomology modules. (iii) \( \sup \lbrace i\in {\mathbb {N}}_{0} \vert {\text {H}}_{\mathfrak {a}}^{i}(M) \text { is not } {\mathcal {S}}\text {-minimax} \rbrace = \sup \lbrace i\in {\mathbb {N}}_{0} \vert {\text {H}}_{\mathfrak {a}}^{i}(M) \text { is not in } {\mathcal {S}} \rbrace \).

     

Finite elements in some vector lattices of nonlinear operators

We study the collection of finite elements \(\Phi _{1}\big ({\mathcal {U}}(E,F)\big )\) in the vector lattice \({\mathcal {U}}(E,F)\) of orthogonally additive, order bounded (called abstract Uryson) operators between two vector lattices E and F, where F is Dedekind complete. In particular, for an atomic vector lattice E it is proved that for a finite element in \(\varphi \in {\mathcal {U}}(E,{\mathbb {R}})\) there is only a finite set of mutually disjoint atoms, where \(\varphi \) does not vanish and, for an atomless vector lattice the zero-vector is the only finite element in the band of \(\sigma \)-laterally continuous abstract Uryson functionals. We also describe the ideal \(\Phi _{1}\big ({\mathcal {U}}({\mathbb {R}}^n,{\mathbb {R}}^m)\big )\) for \(n,m\in {\mathbb {N}}\) and consider rank one operators to be finite elements in \({\mathcal {U}}(E,F)\).     

An inverse spectral theorem for Kreĭn strings with a negative eigenvalue

A string is a pair \({(L, \mathfrak{m})}\) where \({L \in[0, \infty]}\) and \({\mathfrak{m}}\) is a positive, possibly unbounded, Borel measure supported on [0, L]; we think of L as the length of the string and of \({\mathfrak{m}}\) as its mass density. To each string a differential operator acting in the space \({L^2(\mathfrak{m})}\) is associated. Namely, the Kre?n–Feller differential operator \({-D_{\mathfrak{m}}D_x}\) ; its eigenvalue equation can be written, e.g., as

$$f^{\prime}(x) + z \int_0^L f(y)\,d\mathfrak{m}(y) = 0,\quad x \in\mathbb R,\ f^{\prime}(0-) = 0.$$

A positive Borel measure τ on \({\mathbb R}\) is called a (canonical) spectral measure of the string \({\textsc S[L, \mathfrak{m}]}\) , if there exists an appropriately normalized Fourier transform of \({L^2(\mathfrak{m})}\) onto L ²(τ). In order that a given positive Borel measure τ is a spectral measure of some string, it is necessary that: (1) \({\int_{\mathbb R} \frac{d\tau(\lambda)}{1+|\lambda|} < \infty}\) . (2) Either \({{\rm supp} \tau \subseteq [0, \infty)}\) , or τ is discrete and has exactly one point mass in (?∞, 0). It is a deep result, going back to Kre?n in the 1950’s, that each measure with \({\int_{\mathbb R}\frac{d\tau(\lambda)}{1+|\lambda|} < \infty}\) and \({{\rm supp} \tau \subseteq [0, \infty)}\) is a spectral measure of some string, and that this string is uniquely determined by τ. The question remained open, which conditions characterize whether a measure τ with \({{\rm supp} \tau \not\subseteq [0, \infty)}\) is a spectral measure of some string. In the present paper, we answer this question. Interestingly, the solution is much more involved than the first guess might suggest.

     

Number fields in fibers: the geometrically abelian case with rational critical values

Let X be an algebraic curve over \({\mathbb {Q}}\) and \({t\in {\mathbb {Q}}(X)}\) a non-constant rational function such that \({{\mathbb {Q}}(X)\ne {\mathbb {Q}}(t)}\). For every \({ n \in {\mathbb {Z}}}\) pick \({P_ n \in X(\bar{{\mathbb {Q}}})}\) such that \({t(P_n)=n}\). We conjecture that, for large N, among the number fields \({\mathbb {Q}}(P_1), \ldots , {\mathbb {Q}}(P_N)\) there are at least cN distinct. We prove this conjecture in the special case when \(\bar{{\mathbb {Q}}}(X)/\bar{{\mathbb {Q}}}(t)\) is an abelian field extension and the critical values of t are all rational. This implies, in particular, that our conjecture follows from a more famous conjecture of Schinzel.     

Equilibrium Diffusion on the Cone of Discrete Radon Measures

Let \({\mathbb {K}(\mathbb {R}^{d})}\) denote the cone of discrete Radon measures on \(\mathbb {R}^{d}\). There is a natural differentiation on \(\mathbb {K}(\mathbb {R}^{d})\): for a differentiable function \(F:\mathbb {K}(\mathbb {R}^{d})\to \mathbb {R}\), one defines its gradient \(\nabla ^{\mathbb {K}}F\) as a vector field which assigns to each \(\eta \in \mathbb {K}(\mathbb {R}^{d})\) an element of a tangent space \(T_{\eta }(\mathbb {K}(\mathbb {R}^{d}))\) to \(\mathbb {K}(\mathbb {R}^{d})\) at point η. Let \(\phi :\mathbb {R}^{d}\times \mathbb {R}^{d}\to \mathbb {R}\) be a potential of pair interaction, and let μ be a corresponding Gibbs perturbation of (the distribution of) a completely random measure on \(\mathbb {R}^{d}\). In particular, μ is a probability measure on \(\mathbb {K}(\mathbb {R}^{d})\) such that the set of atoms of a discrete measure \(\eta \in \mathbb {K}(\mathbb {R}^{d})\) is μ-a.s. dense in \(\mathbb {R}^{d}\). We consider the corresponding Dirichlet form

$$\mathcal{E}^{\mathbb{K}}(F,G)={\int}_{\mathbb K(\mathbb{R}^{d})}\langle\nabla^{\mathbb{K}} F(\eta), \nabla^{\mathbb{K}} G(\eta)\rangle_{T_{\eta}(\mathbb{K})}\,d\mu(\eta). $$

Integrating by parts with respect to the measure μ, we explicitly find the generator of this Dirichlet form. By using the theory of Dirichlet forms, we prove the main result of the paper: If d ≥ 2, there exists a conservative diffusion process on \(\mathbb {K}(\mathbb {R}^{d})\) which is properly associated with the Dirichlet form \(\mathcal {E}^{\mathbb {K}}\).

     

Some results on Artinian cofinite top local cohomology modules

Let \((R,\mathfrak {m})\) be a Noetherian local ring, I be an ideal of R, and M be a finitely generated R-module such that \({\text {H}}_I^t(M)\) is Artinian and I-cofinite, where \(t={\text {cd}}\,(I,M)\). In this paper, we give some equivalent conditions for the property

$$\begin{aligned} {\text {Ann}}\,_R\left( 0:_{{\text {H}}_I^t (M)} \mathfrak {p}\right) =\mathfrak {p}~\text {for all prime ideals }~ \mathfrak {p}\supseteq {\text {Ann}}\,_R{\text {H}}_I^t(M).(*) \end{aligned}$$

Also, we show that if \({\text {H}}_I^t(M)\) satisfies the property \((*)\), then \({\text {H}}_I^t(M)\cong {\text {H}}_{\mathfrak {m}}^t(M/N)\) for some submodule N of M with \({\text {dim}}\,(M/N)=t\).

     

Some results on the annihilators and attached primes of local cohomology modules

Let \((R, \mathfrak {m})\) be a local ring and M a finitely generated R-module. It is shown that if M is relative Cohen–Macaulay with respect to an ideal \(\mathfrak {a}\) of R, then \({\text {Ann}}_R(H_{\mathfrak {a}}^{{\text {cd}}(\mathfrak {a}, M)}(M))={\text {Ann}}_RM/L={\text {Ann}}_RM\) and \({\text {Ass}}_R (R/{\text {Ann}}_RM)\subseteq \{\mathfrak {p}\in {\text {Ass}}_R M|\,\mathrm{cd}(\mathfrak {a}, R/\mathfrak {p})={\text {cd}}(\mathfrak {a}, M)\},\) where L is the largest submodule of M such that \(\mathrm{cd}(\mathfrak {a}, L)< \mathrm{cd}(\mathfrak {a}, M)\). We also show that if \(H^{\dim M}_{\mathfrak {a}}(M)=0\), then \({\text {Att}}_R(H^{\dim M-1}_{\mathfrak {a}}(M))= \{\mathfrak {p}\in {\text {Supp}}(M)|\mathrm{cd}(\mathfrak {a}, R/\mathfrak {p})=\dim M-1\},\) and so the attached primes of \(H^{\dim M-1}_{\mathfrak {a}}(M)\) depend only on \({\text {Supp}}(M)\). Finally, we prove that if M is an arbitrary module (not necessarily finitely generated) over a Noetherian ring R with \(\mathrm{cd}(\mathfrak {a}, M)=\mathrm{cd}(\mathfrak {a}, R/{\text {Ann}}_RM)\), then \({\text {Att}}_R(H^{\mathrm{cd}(\mathfrak {a}, M)}_{\mathfrak {a}}(M))\subseteq \{\mathfrak {p}\in {\text {V}}({\text {Ann}}_RM)|\,\mathrm{cd}(\mathfrak {a}, R/\mathfrak {p})=\mathrm{cd}(\mathfrak {a}, M)\}.\) As a consequence of this, it is shown that if \(\dim M=\dim R\), then \({\text {Att}}_R(H^{\dim M}_{\mathfrak {a}}(M))\subseteq \{\mathfrak {p}\in {\text {Ass}}_R M|\mathrm{cd}(\mathfrak {a}, R/\mathfrak {p})=\dim M\}\).     

The Schur functor on tensor powers

Let M be a left module for the Schur algebra S(n, r), and let \({s \in \mathbb{Z}^+}\) . Then \({M^{\otimes s}}\) is a \({(S(n,\,rs), F{\mathfrak{S}_{s}})}\) -bimodule, where the symmetric group \({{\mathfrak{S}_s}}\) on s letters acts on the right by place permutations. We show that the Schur functor f _rs sends \({M^{\otimes s}}\) to the \({(F{\mathfrak{S}_{rs}},F{\mathfrak{S}_s})}\) -bimodule \({F\mathfrak{S}_{rs}\otimes_{F(\mathfrak{S}_{r}\wr{\mathfrak{S}_s})} ((f_rM)^{\otimes s}\otimes_{F} F{\mathfrak{S}_s})}\) . As a corollary, we obtain the image under the Schur functor of the Lie power L ^s (M), exterior power \({\bigwedge^s(M)}\) of M and symmetric power S ^s (M).     

Dimensions of fibers of generic continuous maps

In an earlier paper Buczolich, Elekes, and the author described the Hausdorff dimension of the level sets of a generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space K by introducing the notion of topological Hausdorff dimension. Later on, the author extended the theory for maps from K to \({\mathbb {R}}^n\). The main goal of this paper is to generalize the relevant results for topological and packing dimensions and to obtain new results for sufficiently homogeneous spaces K even in the case case of Hausdorff dimension. Let K be a compact metric space and let us denote by \(C(K,{\mathbb {R}}^n)\) the set of continuous maps from K to \({\mathbb {R}}^n\) endowed with the maximum norm. Let \(\dim _{*}\) be one of the topological dimension \(\dim _T\), the Hausdorff dimension \(\dim _H\), or the packing dimension \(\dim _P\). Define

$$\begin{aligned} d_{*}^n(K)=\inf \left\{ \dim _{*}(K{\setminus } F): F\subset K \text { is } \sigma \text {-compact with } \dim _T F<n\right\} . \end{aligned}$$

We prove that \(d^n_{*}(K)\) is the right notion to describe the dimensions of the fibers of a generic continuous map \(f\in C(K,{\mathbb {R}}^n)\). In particular, we show that \(\sup \{\dim _{*}f^{-1}(y): y\in {\mathbb {R}}^n\} =d^n_{*}(K)\) provided that \(\dim _T K\ge n\), otherwise every fiber is finite. Proving the above theorem for packing dimension requires entirely new ideas. Moreover, we show that the supremum is attained on the left hand side of the above equation. Assume \(\dim _T K\ge n\). If K is sufficiently homogeneous, then we can say much more. For example, we prove that \(\dim _{*}f^{-1}(y)=d^n_{*}(K)\) for a generic \(f\in C(K,{\mathbb {R}}^n)\) for all \(y\in {{\mathrm{int}}}f(K)\) if and only if \(d^n_{*}(U)=d^n_{*}(K)\) or \(\dim _T U<n\) for all open sets \(U\subset K\). This is new even if \(n=1\) and \(\dim _{*}=\dim _H\). It is known that for a generic \(f\in C(K,{\mathbb {R}}^n)\) the interior of f(K) is not empty. We augment the above characterization by showing that \(\dim _T \partial f(K)=\dim _H \partial f(K)=n-1\) for a generic \(f\in C(K,{\mathbb {R}}^n)\). In particular, almost every point of f(K) is an interior point. In order to obtain more precise results, we use the concept of generalized Hausdorff and packing measures, too.

     

Harnack Inequality for Non-Local Schrödinger Operators

Let \(x \in \mathbb {R}^{d}\), d ≥ 3, and \(f: \mathbb {R}^{d} \rightarrow \mathbb {R}\) be a twice differentiable function with all second partial derivatives being continuous. For 1 ≤ i, j ≤ d, let \(a_{ij} : \mathbb {R}^{d} \rightarrow \mathbb {R}\) be a differentiable function with all partial derivatives being continuous and bounded. We shall consider the Schrödinger operator associated to

$$\mathcal{L}f(x) = \frac12 \sum\limits_{i=1}^{d} \sum\limits_{j=1}^{d} \frac{\partial}{\partial x_{i}} \left( a_{ij}(\cdot) \frac{\partial f}{\partial x_{j}}\right)(x) + {\int}_{\mathbb{R}^{d}\setminus{\{0\}}} [f(y) - f(x) ]J(x,y)dy $$

where \(J: \mathbb {R}^{d} \times \mathbb {R}^{d} \rightarrow \mathbb {R}\) is a symmetric measurable function. Let \(q: \mathbb {R}^{d} \rightarrow \mathbb {R}.\) We specify assumptions on a, q, and J so that non-negative bounded solutions to

$$\mathcal{L}f + qf = 0 $$

satisfy a Harnack inequality. As tools we also prove a Carleson estimate, a uniform Boundary Harnack Principle and a 3G inequality for solutions to \(\mathcal {L}f = 0.\)

     

On the additivity of block designs

We show that symmetric block designs \({\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})\) can be embedded in a suitable commutative group \({\mathfrak {G}}_{\mathcal {D}}\) in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of \({\mathrm {PG}}(d,2)\) and \({\mathrm {AG}}(d,3)\). In both cases, the blocks can be characterized as the only k-subsets of \(\mathcal {P}\) whose elements sum to zero. It follows that the group of automorphisms of any such design \(\mathcal {D}\) is the group of automorphisms of \({\mathfrak {G}}_\mathcal {D}\) that leave \(\mathcal {P}\) invariant. In some special cases, the group \({\mathfrak {G}}_\mathcal {D}\) can be determined uniquely by the parameters of \(\mathcal {D}\). For instance, if \(\mathcal {D}\) is a 2-\((v,k,\lambda )\) symmetric design of prime order p not dividing k, then \({\mathfrak {G}}_\mathcal {D}\) is (essentially) isomorphic to \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\), and the embedding of the design in the group can be described explicitly. Moreover, in this case, the blocks of \(\mathcal {B}\) can be characterized also as the v intersections of \(\mathcal {P}\) with v suitable hyperplanes of \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\).     

Superization of homogeneous spin manifolds and geometry of homogeneous supermanifolds

Let M ₀=G ₀/H be a (pseudo)-Riemannian homogeneous spin manifold, with reductive decomposition \(\mathfrak {g}_{0}=\mathfrak {h}+\mathfrak {m}\) and let S(M ₀) be the spin bundle defined by the spin representation \(\tilde{ \operatorname {Ad}}:H\rightarrow \mathrm {GL}_{\mathbb {R}}(S)\) of the stabilizer H. This article studies the superizations of M ₀, i.e. its extensions to a homogeneous supermanifold M=G/H whose sheaf of superfunctions is isomorphic to the sheaf of sections of Λ(S ^*(M ₀)). Here G is the Lie supergroup associated with a certain extension of the Lie algebra of symmetry \(\mathfrak {g}_{0}\) to an algebra of supersymmetry \(\mathfrak {g}=\mathfrak {g}_{\overline {0}}+\mathfrak {g}_{\overline {1}}=\mathfrak {g}_{0}+S\) via the Kostant-Koszul construction. Each algebra of supersymmetry naturally determines a flat connection \(\nabla^{\mathcal {S}}\) in the spin bundle S(M ₀). Killing vectors together with generalized Killing spinors (i.e. \(\nabla^{\mathcal {S}}\)-parallel spinors) are interpreted as the values of appropriate geometric symmetries of M, namely even and odd Killing fields. An explicit formula for the Killing representation of the algebra of supersymmetry is obtained, generalizing some results of Koszul. The generalized spin connection \(\nabla^{\mathcal {S}}\) defines a superconnection on M, via the super-version of a theorem of Wang.     

Notes on the Kazhdan–Lusztig Theorem on Equivalence of the Drinfeld Category and the Category of $\boldsymbol{U}_{\!\boldsymbol q}{\boldsymbol {\mathfrak g}}$-Modules

We discuss the proof of Kazhdan and Lusztig of the equivalence of the Drinfeld category \({\mathcal D}({\mathfrak g},\hbar)\) of \({\mathfrak g}\)-modules and the category of finite dimensional \(U_q{\mathfrak g}\)-modules, \(q=e^{\pi i\hbar}\), for \(\hbar\in{\mathbb C}\setminus{\mathbb Q}^*\). Aiming at operator algebraists the result is formulated as the existence for each \(\hbar\in i{\mathbb R}\) of a normalized unitary 2-cochain \({\mathcal F}\) on the dual \(\hat G\) of a compact simple Lie group G such that the convolution algebra of G with the coproduct twisted by \({\mathcal F}\) is *-isomorphic to the convolution algebra of the q-deformation G _q of G, while the coboundary of \({\mathcal F}^{-1}\) coincides with Drinfeld’s KZ-associator defined via monodromy of the Knizhnik–Zamolodchikov equations.     

Hausdorffness for Lie algebra homology of Schwartz spaces and applications to the comparison conjecture

Let H be a real algebraic group acting equivariantly with finitely many orbits on a real algebraic manifold X and a real algebraic bundle \({\mathcal {E}}\) on X. Let \(\mathfrak {h}\) be the Lie algebra of H. Let \(\mathcal {S}(X,{\mathcal {E}})\) be the space of Schwartz sections of \({\mathcal {E}}\). We prove that \(\mathfrak {h}\mathcal {S}(X,{\mathcal {E}})\) is a closed subspace of \(\mathcal {S}(X,{\mathcal {E}})\) of finite codimension. We give an application of this result in the case when H is a real spherical subgroup of a real reductive group G. We deduce an equivalence of two old conjectures due to Casselman: the automatic continuity and the comparison conjecture for zero homology. Namely, let \(\pi \) be a Casselman–Wallach representation of G and V be the corresponding Harish–Chandra module. Then the natural morphism of coinvariants \(V_{\mathfrak {h}}\rightarrow \pi _{\mathfrak {h}}\) is an isomorphism if and only if any linear \(\mathfrak {h}\)-invariant functional on V is continuous in the topology induced from \(\pi \). The latter statement is known to hold in two important special cases: if H includes a symmetric subgroup, and if H includes the nilradical of a minimal parabolic subgroup of G.     

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.

     

Solutions of perturbed Schrödinger equations with critical nonlinearity

We consider the perturbed Schrödinger equation

$\left\{\begin{array}{ll}{- \varepsilon ^2 \Delta u + V(x)u = P(x)|u|^{p - 2} u + k(x)|u|^{2* - 2} u} &; {\text{for}}\, x \in {\mathbb{R}}^N\\ \qquad \qquad \quad {u(x) \rightarrow 0} &; \text{as}\, {|x| \rightarrow \infty} \end{array} \right.$

where \(N\geq 3, \ 2^*=2N/(N-2)\) is the Sobolev critical exponent, \(p\in (2, 2^*)\) , P(x) and K(x) are bounded positive functions. Under proper conditions on V we show that it has at least one positive solution provided that \(\varepsilon\leq{\mathcal{E}}\) ; for any \(m\in{\mathbb{N}}\) , it has m pairs of solutions if \(\varepsilon\leq{\mathcal{E}}_{m}\) ; and suppose there exists an orthogonal involution \(\tau:{\mathbb{R}}^{N}\to{\mathbb{R}}^{N}\) such that V(x), P(x) and K(x) are τ -invariant, then it has at least one pair of solutions which change sign exactly once provided that \(\varepsilon\leq{\mathcal{E}}\) , where \({\mathcal{E}}\) and \({\mathcal{E}}_{m}\) are sufficiently small positive numbers. Moreover, these solutions \(u_\varepsilon\to 0\) in \(H^1({\mathbb{R}}^N)\) as \(\varepsilon\to 0\) .

     

Approximation orders of the unit in the <Emphasis Type="Italic">β</Emphasis>-dynamical systems

For any real number β > 1, let S _n (β) be the partial sum of the first n items of the β-expansion of 1. It was known that the approximation order of 1 by S _n (β) is β ^?n for Lebesgue almost all β > 1. We consider the size of the set of β > 1 for which 1 can be approximated with the other orders \({\beta^{-\varphi(n)}}\) , where \({\varphi}\) is a positive function defined on \({\mathbb N}\) . More precisely, the size of the sets

$$\left\{\beta\in \mathfrak{B}:\limsup_{n\rightarrow\infty}\frac{\log_{\beta}(1-S_n(\beta))}{\varphi(n)}=-1\right\}$$

and

$$\left\{\beta\in \mathfrak{B}:\liminf_{n\rightarrow\infty}\frac{\log_{\beta}(1-S_n(\beta))}{\varphi(n)}=-1\right\}$$

are determined, where \({\mathfrak{B}=\{ \beta>1:\beta \text{ is not a simple Parry number}\}}\) .

     

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.