Characterization of the Bernoulli-polynomials,exp andΨ by Nörlund's multiplication formula

The system of functional equations $$\forall p\varepsilon N_ + \forall (x,y)\varepsilon D:f(x,y) = \frac{1}{p}\sum\limits_{k = 0}^{p - 1} {f(x + ky,py)}$$ is suited to characterize the functions $$(x,y) \mapsto y^m B_m \left( {\frac{x}{y}} \right),m\varepsilon N,$$ B _m means them-th Bernoulli-polynomial, $$(x,y) \mapsto \exp (x)y(\exp (y) - 1)^{ - 1}$$ (for these functionsD =R ×R ₊) and $$(x,y) \mapsto \log y + \Psi \left( {\frac{x}{y}} \right)(D = R_ + \times R_ + )$$ as those continuous solutions of this system which allow a certain separation of variables and take on some prescribed function values.     

The formal translation equation for iteration groups of type II

We investigate the translation equation $$F(s+t, x) = F(s, F(t, x)),\quad \quad s,t\in{\mathbb{C}},\qquad\qquad\qquad\qquad({\rm T})$$ in ${\mathbb{C}\left[\kern-0.15em\left[{x}\right]\kern-0.15em\right]}$ , the ring of formal power series over ${\mathbb{C}}$ . Here we restrict ourselves to iteration groups of type II, i.e. to solutions of (T) of the form ${F(s, x) \equiv x + c_k(s)x^k {\rm mod} x^{k + 1}}$ , where k ≥ 2 and c _k ≠ 0 is necessarily an additive function. It is easy to prove that the coefficient functions c _n (s) of $$F(s, x) = x + \sum_{n \ge q k}c_n(s)x^n$$ are polynomials in c _k (s). It is possible to replace this additive function c _k by an indeterminate. In this way we obtain a formal version of the translation equation in the ring ${(\mathbb{C}[y])\left[\kern-0.15em\left[{x}\right]\kern-0.15em\right]}$ . We solve this equation in a completely algebraic way, by deriving formal differential equations or an Aczél–Jabotinsky type equation. This way it is possible to get the structure of the coefficients in great detail which are now polynomials. We prove the universal character (depending on certain parameters, the coefficients of the infinitesimal generator H of an iteration group of type II) of these polynomials. Rewriting the solutions G(y, x) of the formal translation equation in the form ${\sum_{n\geq 0}\phi_n(x)y^n}$ as elements of ${(\mathbb{C}\left[\kern-0.15em\left[{x}\right]\kern-0.15em\right])\left[\kern-0.15em\left[{y}\right]\kern-0.15em\right]}$ , we obtain explicit formulas for ${\phi_n}$ in terms of the derivatives H ^(j)(x) of the generator ${H}$ and also a representation of ${G(y, x)}$ as a Lie–Gröbner series. Eventually, we deduce the canonical form (with respect to conjugation) of the infinitesimal generator ${H}$ as x ^k + hx ^2k-1 and find expansions of the solutions ${G(y, x) = \sum_{r\geq 0} G_r(y, x)h^r}$ of the above mentioned differential equations in powers of the parameter h.     

Root multiplicities of hyperbolic Kac–Moody algebras and Fourier coefficients of modular forms

In this paper we consider the hyperbolic Kac–Moody algebra $\mathcal {F}$ associated with the generalized Cartan matrix . Its connection to Siegel modular forms of genus 2 was first studied by A. Feingold and I. Frenkel. The denominator function of $\mathcal{F}$ is not an automorphic form. However, Gritsenko and Nikulin extended $\mathcal{F}$ to a generalized Kac–Moody algebra whose denominator function is a Siegel modular form. Using the Borcherds denominator identity, the denominator function can be written as an infinite product. The exponents that appear in the product are given by Fourier coefficients of a weak Jacobi form. P. Niemann also constructed a generalized Kac–Moody algebra which contains $\mathcal {F}$ and whose denominator function is related to a product of Dedekind η-functions. In particular, root multiplicities of the generalized Kac–Moody algebra are determined by Fourier coefficients of a modular form. As the main results of this paper, we compute asymptotic formulas for these Fourier coefficients using the method of Hardy–Ramanujan–Rademacher, and obtain an asymptotic bound for root multiplicities of the algebra $\mathcal{F}$ . Our method can be applied to other hyperbolic Kac–Moody algebras and to other modular forms as demonstrated in the later part of the paper.     

On solutions of Aczél’s equation and some related equations

Let X be a real linear space and ${M: \mathbb{R}\to\mathbb{R}}$ be continuous and multiplicative. We determine the solutions ${f: X \rightarrow \mathbb{R}}$ of the functional equation $$f(x+M(f(x))y) f(x) f(y) [f(x+M(f(x))y) - f(x)f(y)] = 0$$ that are continuous on rays. In this way we generalize our previous results concerning the continuous solutions of this equation. As a consequence we also obtain some results concerning solutions of a functional equation introduced by J. Aczél.     

Classical and Sobolev orthogonality of the nonclassical Jacobi polynomials with parameters \alpha =\beta =-1

In this paper, we consider the second-order differential expression $$\begin{aligned} \ell [y](x)=(1-x^{2})(-(y^{\prime }(x))^{\prime }+k(1-x^{2})^{-1} y(x))\quad (x\in (-1,1)). \end{aligned}$$ This is the Jacobi differential expression with nonclassical parameters $\alpha =\beta =-1$ in contrast to the classical case when $\alpha ,\beta >-1$ . For fixed $k\ge 0$ and appropriate values of the spectral parameter $\lambda ,$ the equation $\ell [y]=\lambda y$ has, as in the classical case, a sequence of (Jacobi) polynomial solutions $\{P_{n}^{(-1,-1)} \}_{n=0}^{\infty }.$ These Jacobi polynomial solutions of degree $\ge 2$ form a complete orthogonal set in the Hilbert space $L^{2}((-1,1);(1-x^{2})^{-1})$ . Unlike the classical situation, every polynomial of degree one is a solution of this eigenvalue equation. Kwon and Littlejohn showed that, by careful selection of this first-degree solution, the set of polynomial solutions of degree $\ge 0$ are orthogonal with respect to a Sobolev inner product. Our main result in this paper is to construct a self-adjoint operator $T$ , generated by $\ell [\cdot ],$ in this Sobolev space that has these Jacobi polynomials as a complete orthogonal set of eigenfunctions. The classical Glazman–Krein–Naimark theory is essential in helping to construct $T$ in this Sobolev space as is the left-definite theory developed by Littlejohn and Wellman.     

Laplace Equation on a Domain With a Cuspidal Point in Little Hölder Spaces

In this paper, we give new results about existence, uniqueness and regularity properties for solutions of Laplace equation $$\Delta u = h \quad {\rm in} \, \Omega$$ where Ω is a cusp domain. We impose nonhomogeneous Dirichlet conditions on some part of ?Ω. The second member h will be taken in the little Hölder space ${h^{2 \sigma}(\bar{\Omega})}$ with ${\sigma \, \in \, ]0, \, 1/2[}$ . Our approach is based essentially on the study of an abstract elliptic differential equation set in an unbounded domain. We will use the continuous interpolation spaces and the generalized analytic semigroup theory.     

Multiple sign-changing solutions for a semilinear Neumann problem and the topology of the configuration space of the domain boundary

We study the existence of multiple sign-changing solutions of the problem $$-d^2 \Delta u + u =f(u)\quad {\rm in}\,\Omega,\quad\dfrac{\partial u}{\partial \nu}=0 \quad {\rm in}\,\partial \Omega,$$ where d > 0 is small enough, Ω is a domain in ${\mathbb{R}^{N}}$ (N ≥ 2) whose boundary is nonempty, compact and smooth and ${f \in C(\mathbb{R},\mathbb{R})}$ is a function satisfying a subcritical growth condition. We give lower estimates of the number of the sign-changing solutions by the category of a set related to the configuration space ${\{(x,y)\in\partial\Omega\times\partial\Omega:x \neq y\}}$ of the boundary ?Ω.     

Layered solutions with multiple asymptotes for non autonomous Allen–Cahn equations in {\mathbb {R}^{3}}

We consider a class of semilinear elliptic equations of the form $$ \label{eq:abs}-\Delta u(x,y,z)+a(x)W'(u(x,y,z))=0,\quad (x,y,z)\in\mathbb {R}^{3},$$ where ${a:\mathbb {R} \to \mathbb {R}}$ is a periodic, positive, even function and, in the simplest case, ${W : \mathbb {R} \to \mathbb {R}}$ is a double well even potential. Under non degeneracy conditions on the set of minimal solutions to the one dimensional heteroclinic problem $$-\ddot q(x)+a(x)W^{\prime}(q(x))=0,\ x\in\mathbb {R},\quad q(x)\to\pm1\,{\rm as}\, x\to \pm\infty,$$ we show, via variational methods the existence of infinitely many geometrically distinct solutions u of (0.1) verifying u(x, y, z) → ± 1 as x → ± ∞ uniformly with respect to ${(y, z) \in \mathbb {R}^{2}}$ and such that ${\partial_{y}u \not \equiv0, \partial_{z}u \not\equiv 0}$ in ${\mathbb {R}^{3}}$ .     

Nonexistence of Positive Solutions for an Integral Equation Related to the Hardy-Sobolev Inequality

Let α and s be real numbers satisfying 0<s<α<n. We are concerned with the integral equation $$u(x)=\int_{R^n}\frac{u^p(y)}{|x-y|^{n-\alpha}|y|^s}dy, $$ where \(\frac{n-s}{n-\alpha}< p< \alpha^{*}(s)-1\) with \(\alpha^{*}(s)=\frac{2(n-s)}{n-\alpha}\) . We prove the nonexistence of positive solutions for the equation and establish the equivalence between the above integral equation and the following partial differential equation $$\begin{aligned} (-\Delta)^{\frac{\alpha}{2}}u(x)=|x|^{-s}u^p. \end{aligned}$$      

The equivalence of two functional equations involving the arithmetic mean, the geometric mean and their Gauss composition

In this paper, the equivalence of the two functional equations $$f\left(\frac{x+y}{2} \right)+f\left(\sqrt{xy} \right)=f(x)+f(y)$$ and $$2f\left(\mathcal{G}(x,y)\right)=f(x)+f(y)$$ will be proved by showing that the solutions of either of these equations are constant functions. Here I is a nonvoid open interval of the positive real half-line and ${\mathcal{G}}$ is the Gauss composition of the arithmetic and geometric means.     

An alternative Cauchy functional equation on a semigroup

More than 33 years ago M. Kuczma and R. Ger posed the problem of solving the alternative Cauchy functional equation ${f(xy) - f(x) - f(y) \in \{ 0, 1\}}$ where ${f : S \to \mathbb{R}, S}$ is a group or a semigroup. In the case when the Cauchy functional equation is stable on S, a method for the construction of the solutions is known (see Forti in Abh Math Sem Univ Hamburg 57:215–226, 1987). It is well known that the Cauchy functional equation is not stable on the free semigroup generated by two elements. At the 44th ISFE in Louisville, USA, Professor G. L. Forti and R. Ger asked to solve this functional equation on a semigroup where the Cauchy functional equation is not stable. In this paper, we present the first result in this direction providing an answer to the problem of G. L. Forti and R. Ger. In particular, we determine the solutions ${f : H \to \mathbb{R}}$ of the alternative functional equation on a semigroup ${H = \langle a, b| a^2 = a, b^2 = b \rangle }$ where the Cauchy equation is not stable.     

A note on periodic solutions of a differential equation with two parameters

In [1] (p. 215), the authors Andronov, Leontovich-Andronova, Gordon, and Maier, consider the following equation: $$\left\{ \begin{gathered} \tfrac{{dx}}{{dt}} = y, \hfill \\ \tfrac{{dy}}{{dt}} = x + x^2 - \left( {\varepsilon _1 + \varepsilon _2 x} \right)y, \hfill \\ \end{gathered} \right.$$ whereε ₁ andε ₂ are real constants andε ₁ andε ₂ are not both zero. They proved that there are no non-trivial periodic solutions except possibly for the case $0< \tfrac{{\varepsilon _1 }}{{\varepsilon _2 }}< \tfrac{3}{2}$ . They left that case as an open problem. In this note we prove that there are indeed no non-trivial periodic solutions in the case $0< \tfrac{{\varepsilon _1 }}{{\varepsilon _2 }}< \tfrac{3}{2}$ either. Our method of proof consists essentially of constructing a Dulac function (see [6] and [9]) and using the conception of Duff's rotated vector field (see [4], [7], [8], [10], and [11]).     

Necessary and Sufficient Conditions for Associated Differential Operators in Quaternionic Analysis and Applications to Initial Value Problems

This paper deals with the initial value problem of type $$\begin{array}{ll} \qquad \frac{\partial u}{\partial t} = \mathcal{L} u := \sum \limits^3_{i=0} A^{(i)} (t, x) \frac{\partial u}{\partial x_{i}} + B(t, x)u + C(t, x)\\ u (0, x) = u_{0}(x)\end{array}$$ in the space of generalized regular functions in the sense of Quaternionic Analysis satisfying the differential equation $$\mathcal{D}_{\lambda}u := \mathcal{D} u + \lambda u = 0,$$ where ${t \in [0, T]}$ is the time variable, x runs in a bounded and simply connected domain in ${\mathbb{R}^{4}, \lambda}$ is a real number, and ${\mathcal{D}}$ is the Cauchy-Fueter operator. We prove necessary and sufficient conditions on the coefficients of the operator ${\mathcal{L}}$ under which ${\mathcal{L}}$ is associated with the operator ${\mathcal{D}_{\lambda}}$ , i.e. ${\mathcal{L}}$ transforms the set of all solutions of the differential equation ${\mathcal{D}_{\lambda}u = 0}$ into solutions of the same equation for fixedly chosen t. This criterion makes it possible to construct operators ${\mathcal{L}}$ for which the initial value problem is uniquely soluble for an arbitrary initial generalized regular function u ₀ by the method of associated spaces constructed by W. Tutschke (Teubner Leipzig and Springer Verlag, 1989) and the solution is also generalized regular for each t.     

Symmetry and regularity of extremals of an integral equation related to the Hardy�CSobolev inequality

Let ?? be a real number satisfying 0?<????<?n, ${0\leq t<\alpha, \alpha{^\ast}(t)=\frac{2(n-t)}{n-\alpha}}$ . We consider the integral equation $$u(x)=\int\limits_{{\mathbb{R}^n}}\frac{u^{{\alpha{^\ast}(t)}-1}(y)}{|y|^t|x-y|^{n-\alpha}}\,dy,\quad\quad\quad\quad\quad\quad\quad(1)$$ which is closely related to the Hardy?CSobolev inequality. In this paper, we prove that every positive solution u(x) is radially symmetric and strictly decreasing about the origin by the method of moving plane in integral forms. Moreover, we obtain the regularity of solutions to the following integral equation $$u(x)=\int\limits_{{\mathbb{R}^n}}\frac{|u(y)|^{p}u(y)}{|y|^t|x-y|^{n-\alpha}}\, dy\quad\quad\quad\quad\quad\quad\quad(2)$$ that corresponds to a large class of PDEs by regularity lifting method.     

Translation invariant diffusions in the space of tempered distributions

In this paper we prove existence and pathwise uniqueness for a class of stochastic differential equations (with coefficients σ _ij , b _i and initial condition y in the space of tempered distributions) that may be viewed as a generalisation of Ito’s original equations with smooth coefficients. The solutions are characterized as the translates of a finite dimensional diffusion whose coefficients σ _ij $\tilde y$ , b _i $\tilde y$ are assumed to be locally Lipshitz.Here denotes convolution and $\tilde y$ is the distribution which on functions, is realised by the formula $\tilde y\left( r \right): = y\left( { - r} \right)$ . The expected value of the solution satisfies a non linear evolution equation which is related to the forward Kolmogorov equation associated with the above finite dimensional diffusion.     

Hyperbolic Laplace Operator and the Weinstein Equation in {\mathbb{R}^3}

We study the Weinstein equation $$\Delta u - \frac{k}{{x}_{2}} \frac{\partial}{\partial{x}_{2}} + \frac{l}{x^{2}_{2}}u = 0$$ , on the upper half space ${\mathbb{R}^3_{+} = \{ (x_{0}, x_{1}, x_{2}) \in \mathbb{R}^{3} | x_2 > 0\}}$ in case ${4l \leq (k + 1)^{2}}$ . If l =  0 then the operator ${x^{2k}_{2} (\Delta - \frac{k}{x_{2}} \frac{\partial}{\partial{x}_{2}})}$ is the Laplace- Beltrami operator of the Riemannian metric ${ds^2 = x^{-2k}_{2} (\sum^{2}_{i = 0} dx^{2}_{i})}$ . The general case ${\mathbb{R}^{n}_{+}}$ has been studied earlier by the authors, but the results are improved in case ${\mathbb{R}^3_{+}}$ . If k =  1 then the Riemannian metric is the hyperbolic distance of Poincaré upper half-space. The Weinstein equation is connected to the axially symmetric potentials. We compute solutions of the Weinstein equation depending only on the hyperbolic distance and x ₂. The solutions of the Weinstein equation form a socalled Brelot harmonic space and therefore it is known that they satisfy the mean value properties with respect to the harmonic measure. However, without using the theory of Brelot harmonic spaces, we present the explicit mean value properties which give a formula for a harmonic measure evaluated in the center point of the hyperbolic ball. Earlier these results were proved only for k =  1 and l =  0 or k =  1 and l =  1. We also compute the fundamental solutions. The main tools are the hyperbolic metric and its invariance properties. In the consecutive papers, these results are applied to find explicit kernels for k-hypermonogenic functions that are higher dimensional generalizations of complex holomorphic functions.     

On the Equality Problem of Conjugate Means

Let ${I\subset\mathbb{R}}$ be a nonvoid open interval and let L : I ²→ I be a fixed strict mean. A function M : I ²→ I is said to be an L-conjugate mean on I if there exist ${p,q\in\,]0,1]}$ and ${\varphi\in CM(I)}$ such that $$M(x,y):=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q) \varphi(L(x,y)))=:L_\varphi^{(p,q)}(x,y),$$ for all ${x,y\in I}$ . Here L(x, y) : = A _χ(x, y) ${(x,y\in I)}$ is a fixed quasi-arithmetic mean with the fixed generating function ${\chi\in CM(I)}$ . We examine the following question: which L-conjugate means are weighted quasi-arithmetic means with weight ${r\in\, ]0,1[}$ at the same time? This question is a functional equation problem: Characterize the functions ${\varphi,\psi\in CM(I)}$ and the parameters ${p,q\in\,]0,1]}$ , ${r\in\,]0,1[}$ for which the equation $$L_\varphi^{(p,q)}(x,y)=L_\psi^{(r,1-r)}(x,y)$$ holds for all ${x,y\in I}$ .     

The equality problem in the class of conjugate means

Let ${I\subset\mathbb{R}}$ be a nonempty open interval and let ${L:I^2\to I}$ be a fixed strict mean. A function ${M:I^2\to I}$ is said to be an L-conjugate mean on I if there exist ${p,q\in{]}0,1]}$ and a strictly monotone and continuous function φ such that $$M(x,y):=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q)\varphi(L(x,y)))=:L_\varphi^{(p,q)}(x,y),$$ for all ${x,y\in I}$ . Here L(x, y) is a fixed quasi-arithmetic mean. We will solve the equality problem in this class of means.