Interior regularity results for zeroth order operators approaching the fractional Laplacian

In this article we are interested in interior regularity results for the solution \({\mu _ \in } \in C(\bar \Omega )\) of the Dirichlet problem

$$\{ _{\mu = 0in{\Omega ^c},}^{{I_ \in }(\mu ) = {f_ \in }in\Omega }$$

where Ω is a bounded, open set and \({f_ \in } \in C(\bar \Omega )\) for all ? ∈ (0, 1). For some σ ∈ (0, 2) fixed, the operator \(\mathcal{I}_{\in}\) is explicitly given by

$${I_ \in }(\mu ,x) = \int_{{R^N}} {\frac{{[\mu (x + z) - \mu (x)]dz}}{{{ \in ^{N + \sigma }} + |z{|^{N + \sigma }}}}} ,$$

which is an approximation of the well-known fractional Laplacian of order σ, as ? tends to zero. The purpose of this article is to understand how the interior regularity of u? evolves as ? approaches zero. We establish that u_? has a modulus of continuity which depends on the modulus of f_?, which becomes the expected Hölder profile for fractional problems, as ? → 0. This analysis includes the case when f? deteriorates its modulus of continuity as ? → 0.

     

The Cauchy–Kowalewski Theorem in the Space of Pseudo Q-holomorphic Functions

In this work, we prove the Cauchy–Kowalewski theorem for the initial-value problem

$$\begin{aligned} \frac{\partial w}{\partial t}= & {} Lw \\ w(0,z)= & {} w_{0}(z) \end{aligned}$$

where

$$\begin{aligned} Lw:= & {} E_{0}(t,z)\frac{\partial }{\partial \overline{\phi }}\left( \frac{ d_{E}w}{dz}\right) +F_{0}(t,z)\overline{\left( \frac{\partial }{\partial \overline{\phi }}\left( \frac{d_{E}w}{dz}\right) \right) }+C_{0}(t,z)\frac{ d_{E}w}{dz} \\&+G_{0}(t,z)\overline{\left( \frac{d_{E}w}{dz}\right) } +A_{0}(t,z)w+B_{0}(t,z)\overline{w}+D_{0}(t,z) \end{aligned}$$

in the space \(P_{D}\left( E\right) \) of Pseudo Q-holomorphic functions.

     

The identification problem for complex-valued Ornstein–Uhlenbeck operators in $$L^p(\mathbb {R}^d,\mathbb {C}^N)$$

In this paper we study perturbed Ornstein–Uhlenbeck operators

$$\begin{aligned} \left[ \mathcal {L}_{\infty } v\right] (x)=A\triangle v(x) + \left\langle Sx,\nabla v(x)\right\rangle -B v(x),\,x\in \mathbb {R}^d,\,d\geqslant 2, \end{aligned}$$

for simultaneously diagonalizable matrices \(A,B\in \mathbb {C}^{N,N}\). The unbounded drift term is defined by a skew-symmetric matrix \(S\in \mathbb {R}^{d,d}\). Differential operators of this form appear when investigating rotating waves in time-dependent reaction diffusion systems. We prove under certain conditions that the maximal domain \(\mathcal {D}(A_p)\) of the generator \(A_p\) belonging to the Ornstein–Uhlenbeck semigroup coincides with the domain of \(\mathcal {L}_{\infty }\) in \(L^p(\mathbb {R}^d,\mathbb {C}^N)\) given by

$$\begin{aligned} \mathcal {D}^p_{\mathrm {loc}}(\mathcal {L}_0)=\left\{ v\in W^{2,p}_{\mathrm {loc}}\cap L^p\mid A\triangle v + \left\langle S\cdot ,\nabla v\right\rangle \in L^p\right\} ,\,1<p<\infty . \end{aligned}$$

One key assumption is a new \(L^p\)-dissipativity condition

$$\begin{aligned} |z|^2\mathrm {Re}\,\left\langle w,Aw\right\rangle + (p-2)\mathrm {Re}\,\left\langle w,z\right\rangle \mathrm {Re}\,\left\langle z,Aw\right\rangle \geqslant \gamma _A |z|^2|w|^2\;\forall \,z,w\in \mathbb {C}^N \end{aligned}$$

for some \(\gamma _A>0\). The proof utilizes the following ingredients. First we show the closedness of \(\mathcal {L}_{\infty }\) in \(L^p\) and derive \(L^p\)-resolvent estimates for \(\mathcal {L}_{\infty }\). Then we prove that the Schwartz space is a core of \(A_p\) and apply an \(L^p\)-solvability result of the resolvent equation for \(A_p\). In addition, we derive \(W^{1,p}\)-resolvent estimates. Our results may be considered as extensions of earlier works by Metafune, Pallara and Vespri to the vector-valued complex case.

     

Arithmetic properties of overpartition triples

Let p_3(n) be the number of overpartition triples of n. By elementary series manipulations,we establish some congruences for p_3(n) modulo small powers of 2, such as p_3(16 n + 14) ≡ 0(mod 32), p_3(8 n + 7) ≡ 0(mod 64).We also find many arithmetic properties for p_3(n) modulo 7, 9 and 11, involving the following infinite families of Ramanujan-type congruences: for any integers α≥ 1 and n ≥ 0, we have p_3 (3~(2α+1)(3n + 2))≡ 0(mod 9 · 2~4), p_3(4~(α-1)(56 n + 49)) ≡ 0(mod 7),p_3 (7~(2α+1)(7 n + 3))≡ p_3 (7~(2α+1)(7 n + 5))≡ p_3 (7~(2α+1)(7 n + 6))≡ 0(mod 7),and for r ∈ {1, 2, 3, 4, 5, 6},p_3(11 · 7~(4α-1)(7 n + r)≡ 0(mod 11).     

On the stability of the generalized Cauchy–Jensen set-valued functional equations

In this paper, we prove the Hyers–Ulam–Rassias stability of the generalized Cauchy–Jensen set-valued functional equation defined by

$$\begin{aligned} \alpha f\left( \frac{x+y}{\alpha } + z\right) = f(x) \oplus f(y)\oplus \alpha f(z) \end{aligned}$$

for all \(x,y,z \in X\) and \(\alpha \ge 2\) on a Banach space by using the fixed point alternative theorem.

     

Restriction of the Fourier Transform to Some Oscillating Curves

Let \(\phi \) be a smooth function on a compact interval I. Let

$$\begin{aligned} \gamma (t)=\left( t,t^2,\ldots ,t^{n-1},\phi (t)\right) . \end{aligned}$$

In this paper, we show that

$$\begin{aligned} \left( \int _I \big |\hat{f}(\gamma (t))\big |^q \big |\phi ^{(n)}(t)\big |^{\frac{2}{n(n+1)}} \mathrm{{d}}t\right) ^{1/q}\le C\Vert f\Vert _{L^p(\mathbb R^n)} \end{aligned}$$

holds in the range

$$\begin{aligned} 1\le p<\frac{n^2+n+2}{n^2+n},\quad 1\le q<\frac{2}{n^2+n}p'. \end{aligned}$$

This generalizes an affine restriction theorem of Sjölin (Stud Math 51:169–182, 1974) for \(n=2\). Our proof relies on ideas of Sjölin (Stud Math 51:169–182, 1974) and Drury (Ann Inst Fourier (Grenoble) 35(1):117–123, 1985), and more recently Bak, Oberlin and Seeger (J Aust Math Soc 85(1):1–28, 2008) and Stovall (Am J Math 138(2):449–471, 2016), as well as a variation bound for smooth functions.

     

Dynamics of Some Three-Dimensional Lotka–Volterra Systems

We characterize the dynamics of the following two Lotka–Volterra differential systems:

$$\begin{aligned} \begin{array}{lll} \dot{x}=x(r+a y+b z), &{} &{} \dot{x}=x(r+ax+b y+c z),\\ \dot{y}=y(r-a x+c z), &{} \quad \text{ and }\quad \quad &{} \dot{y}=y(r+a x+dy+e z),\\ \dot{z}=z(r-b x-c y), &{} &{} \dot{z}=z(r+a x+d y+fz). \end{array} \end{aligned}$$

We analyze the biological meaning of the dynamics of these Lotka–Volterra systems

     

Sum of divisors of a quaternary quadratic form with almost equal variables

In this paper, we obtain an asymptotic formula of the sum

$$\begin{aligned} \sum _{|m_i-x|\le x^{\theta }}d\big (m_1^2+m_2^2+m_3^2+m_4^2\big ) \quad (i=1,2,3,4) \end{aligned}$$

with \(\theta =\frac{1}{3}+\epsilon \). Moreover, if \(\theta =\frac{4}{5}+\epsilon \), we obtain a more refined asymptotic formula of this sum.

     

Sharp Inequalities Involving $$(n!)^{1/n}$$

We prove that, for all integers \(n\ge 1\),

$$\begin{aligned} \Big (\sqrt{2\pi n}\Big )^{\frac{1}{n(n+1)}}\left( 1-\frac{1}{n+a}\right) <\frac{\root n \of {n!}}{\root n+1 \of {(n+1)!}}\le \Big (\sqrt{2\pi n}\Big )^{\frac{1}{n(n+1)}}\left( 1-\frac{1}{n+b}\right) \end{aligned}$$

and

$$\begin{aligned} \big (\sqrt{2\pi n}\big )^{1/n}\left( 1-\frac{1}{2n+\alpha }\right) <\left( 1+\frac{1}{n}\right) ^{n}\frac{\root n \of {n!}}{n}\le \big (\sqrt{2\pi n}\big )^{1/n}\left( 1-\frac{1}{2n+\beta }\right) , \end{aligned}$$

with the best possible constants

$$\begin{aligned}&a=\frac{1}{2},\quad b=\frac{1}{2^{3/4}\pi ^{1/4}-1}=0.807\ldots ,\quad \alpha =\frac{13}{6} \\&\text {and}\quad \beta =\frac{2\sqrt{2}-\sqrt{\pi }}{\sqrt{\pi }-\sqrt{2}}=2.947\ldots . \end{aligned}$$

     

Root and critical point behaviors of certain sums of polynomials

It is known that no two roots of the polynomial equation

$$\begin{aligned} \begin{aligned} \prod _{j=1}^n (x-r_j) + \prod _{j=1}^n (x+r_j) =0, \end{aligned} \end{aligned}$$

(1)

where \(0 < r_1 \le r_2 \le \cdots \le r_n\), can be equal and the gaps between the roots of (1) in the upper half-plane strictly increase as one proceeds upward, and for \(0< h< r_k\), the roots of

$$\begin{aligned} (x-r_k-h)\prod _{\begin{array}{c} j=1\\ j\ne k \end{array}}^n(x-r_j) + (x+r_k+h)\prod _{\begin{array}{c} j=1\\ j\ne k \end{array} }^n (x+r_j) = 0 \end{aligned}$$

(2)

and the roots of (1) in the upper half-plane lie alternatively on the imaginary axis. In this paper, we study how the roots and the critical points of (1) and (2) are located.

     

A new application method for nonoscillation criteria of Hille-Wintner type

The present paper deals with nonoscillation problem for the Sturm–Liouville half-linear differential equation

$$\begin{aligned} \big (r(t)\phi _p(x')\big )' + c(t)\phi _p(x) = 0, \end{aligned}$$

where r, \(c\!:[a,\infty ) \rightarrow \mathbb {R}\) are continuous functions, \(r(t) > 0\) for \(t \ge a\), and \(\phi _p(z) = |z|^{p-2}z\) with \(p > 1\). The purpose of this paper is to show that it is possible to broaden the application range of Hille-Wintner type nonoscillation criteria. To this end, we derive a comparison theorem by means of Riccati’s technique. Our result is new even in the linear case that \(p = 2\). By the obtained result, we can compare two differential equations having a different power p of the above-mentioned type. To illustrate our comparison theorem, we present two examples of which all non-trivial solutions of the Sturm-Liouville linear differential equation are nonoscillatory even if \(\int _a^t\!\frac{1}{r(s)}ds\int _t^\infty \!\!c(s)ds\) or \(\int _t^\infty \!\!\frac{1}{r(s)}ds\int _a^t\!c(s)ds\) is less than the lower bound \(-3/4\).

     

Some Zygmund type inequalities for the <Emphasis Type="Italic">s</Emphasis>th derivative of polynomials

For a polynomial P(z) of degree n having no zeros in |z| < 1, it was recently proved in [9] that

$$\left| {{z^s}{P^{\left( s \right)}}\left( z \right) + \beta \frac{{n\left( {n - 1} \right)...\left( {n - s + 1} \right)}}{{{2^s}}}P\left( z \right)} \right| \leqslant \frac{{n\left( {n - 1} \right)...\left( {n - s + 1} \right)}}{2}\left( {\left| {1 + \frac{\beta }{{{2^s}}}} \right| + \left| {\frac{\beta }{{{2^s}}}} \right|} \right)\mathop {\max }\limits_{\left| z \right| = 1} \left| {P\left( z \right)} \right|$$

for every β ∈ C with |β| ≤ 1, 1 ≤ s ≤ n and |z| = 1. In this paper, we obtain the L _p mean extension of the above and other related results for the sth derivative of polynomials.

     

Analysing the Wu metric on a class of eggs in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> – I

We study the Wu metric on convex egg domains of the form

$$E_{2m} = \big\{ z \in \mathbb{C}^{n}: \vert{z_{1}} \vert^{2m} + \vert {z_{2}} \vert^{2} + {\cdots} + \vert {z_{n-1}} \vert^{2} + \vert {z_{n}} \vert^{2} <1 \big\}, $$

where m ≥ 1/2,m ≠ 1. The Wu metric is shown to be real analytic everywhere except on a lower dimensional subvariety where it fails to be C ²-smooth. Overall however, the Wu metric is shown to be continuous when m = 1/2 and even C ¹-smooth for each m > 1/2, and in all cases, a non-Kähler Hermitian metric with its holomorphic curvature strongly negative in the sense of currents. This gives a natural answer to a conjecture of S. Kobayashi and H. Wu for such E _2m .     

On 3-regular partitions with odd parts distinct

We consider \(\text {pod}_3(n)\), the number of 3-regular partitions with odd parts distinct, whose generating function is

$$\begin{aligned} \sum _{n\ge 0}\text {pod}_3(n)q^n=\frac{(-q;q^2)_\infty (q^6;q^6)_\infty }{(q^2;q^2)_\infty (-q^3;q^3)_\infty }=\frac{\psi (-q^3)}{\psi (-q)}, \end{aligned}$$

where

$$\begin{aligned} \psi (q)=\sum _{n\ge 0}q^{(n^2+n)/2}=\sum _{-\infty }^\infty q^{2n^2+n}. \end{aligned}$$

For each \(\alpha >0\), we obtain the generating function for

$$\begin{aligned} \sum _{n\ge 0}\text {pod}_3\left( 3^{\alpha }n+\delta _\alpha \right) q^n, \end{aligned}$$

where \(4\delta _\alpha \equiv {-1}\pmod {3^{\alpha }}\) if \(\alpha \) is even, \(4\delta _\alpha \equiv {-1}\pmod {3^{\alpha +1}}\) if \(\alpha \) is odd.

We show that the sequence {\(\text {pod}_3(n)\)} satisfies the internal congruences

$$\begin{aligned} \text {pod}_3(9n+2)\equiv \text {pod}_3(n)\pmod 9, \end{aligned}$$

(0.1)

$$\begin{aligned} \text {pod}_3(27n+20)\equiv \text {pod}_3(3n+2)\pmod {27} \end{aligned}$$

(0.2)

and

$$\begin{aligned} \text {pod}_3(243n+182)\equiv \text {pod}_3(27n+20)\pmod {81}. \end{aligned}$$

(0.3)

     

Adaptive Fourier series—a variation of greedy algorithm

We study decomposition of functions in the Hardy space \(H^2(\mathbb{D} )\) into linear combinations of the basic functions (modified Blaschke products) in the system

$\label{Walsh like} {B}_n(z)= \frac{\sqrt{1-|a_n|^2}}{1-\overline{a}_{n}z}\prod\limits_{k=1}^{n-1}\frac{z-a_k}{1-\overline{a}_{k}z}, \quad n=1,2,..., $

(1)

where the points a _n ’s in the unit disc \(\mathbb{D}\) are adaptively chosen in relation to the function to be decomposed. The chosen points a _n ’s do not necessarily satisfy the usually assumed hyperbolic non-separability condition

$\label{condition} \sum\limits_{k=1}^\infty (1-|a_k|)=\infty $

(2)

in the traditional studies of the system. Under the proposed procedure functions are decomposed into their intrinsic components of successively increasing non-negative analytic instantaneous frequencies, whilst fast convergence is resumed. The algorithm is considered as a variation and realization of greedy algorithm.

     

Inequalities for the derivative of a polynomial

Let P(z) be a polynomial of degreen which does not vanish in ¦z¦ <k, wherek > 0. Fork ≤ 1, it is known that

$$\mathop {\max }\limits_{|z| = 1} |P'(z)| \leqslant \frac{n}{{1 + k^n }}\mathop {\max }\limits_{|z| = 1} |P(z)|$$

, provided ¦P’(z)¦ and ¦Q’(z)¦ become maximum at the same point on ¦z¦ = 1, where\(Q(z) = z^n \overline {P(1/\bar z)} \). In this paper we obtain certain refinements of this result. We also present a refinement of a generalization of the theorem of Tu?an.

     

On a problem of Bourgain concerning the $$L_p$$ norms of exponential sums

For \(n \ge 1\) let

$$\begin{aligned} {\mathcal {A}}_n := \bigg \{ P: P(z) = \sum \limits _{j=1}^n{z^{k_j}}: 0 \le k_1 < k_2 < \cdots < k_n, k_j \in {\mathbb {Z}} \bigg \}, \end{aligned}$$

that is, \({\mathcal {A}}_n\) is the collection of all sums of \(n\) distinct monomials. These polynomials are also called Newman polynomials. Let

$$\begin{aligned} M_{p}(Q) := \left( \int _{0}^{1}{\left| Q(e^{i2\pi t}) \right| ^p\,dt} \right) ^{1/p}, \qquad p > 0. \end{aligned}$$

We define

$$\begin{aligned} S_{n,p} := \sup _{Q \in {\mathcal {A}}_n}{\frac{M_p(Q)}{\sqrt{n}}} \qquad \text{ and } \qquad S_p := \liminf _{n \rightarrow \infty }{S_{n,p}} \le \Sigma _p := \limsup _{n \rightarrow \infty }{S_{n,p}}. \end{aligned}$$

We show that

$$\begin{aligned} \Sigma _p \ge \Gamma (1+p/2)^{1/p}, \qquad p \in (0,2). \end{aligned}$$

The special case \(p=1\) recaptures a recent result of Aistleitner [1], the best known lower bound for \(\Sigma _1\).

     

Maximal Area Integral Problem for Certain Class of Univalent Analytic Functions

One of the classical problems concerns the class of analytic functions f on the open unit disk |z| < 1 which have finite Dirichlet integral Δ(1, f), where

$$\Delta(r ,f) = \iint_{|z| < r} |f' (z)| ^ 2 \, {\rm d} x {\rm d}y \quad (0 < r \leq 1)$$

The class \({\mathcal{S} ^*(A,B)}\) of normalized functions f analytic in |z| < 1 and satisfies the subordination condition \({zf'(z)/f(z)\prec (1+Az)/(1+Bz)}\) in |z| < 1 and for some \({-1\leq B\leq 0}\) , \({A \in \mathbb{C}}\) with \({A\neq B}\) , has been studied extensively. In this paper, we solve the extremal problem of determining the value of

$$\max_{f\in \mathcal{S}^*(A,B)}\Delta(r,z/f)$$

as a function of r. This settles the question raised by Ponnusamy and Wirths (Ann Acad Sci Fenn Ser AI Math 39:721–731, 2014). One of the particular cases includes solution to a conjecture of Yamashita which was settled recently by Obradovi? et al. (Comput Methods Funct Theory 13:479–492, 2013).

     

Smoothness and Asymptotic Properties of Functions with General Monotone Fourier Coefficients

In this paper we study trigonometric series with general monotone coefficients, i.e., satisfying

$$\begin{aligned} \sum \limits _{k=n}^{2n} |a_k - a_{k+1}| \le C \sum \limits _{k=[{n}/{\gamma }]}^{[\gamma n]} \frac{|a_k|}{k}, \quad n\in \mathbb {N}, \end{aligned}$$

for some \(C \ge 1\) and \(\gamma >1\). We first prove the Lebesgue-type inequalities for such series

$$\begin{aligned} n|a_n|\le C \omega (f,1/n). \end{aligned}$$

Moreover, we obtain necessary and sufficient conditions for the sum of such series to belong to the generalized Lipschitz, Nikolskii, and Zygmund spaces. We also prove similar results for trigonometric series with weak monotone coefficients, i.e., satisfying

$$\begin{aligned} |a_n | \le C \sum \limits _{k=[{n}/{\gamma }]}^{\infty } \frac{|a_k|}{k}, \quad n\in \mathbb {N}, \end{aligned}$$

for some \(C \ge 1\) and \(\gamma >1\). Sharpness of the obtained results is given. Finally, we study the asymptotic results of Salem–Hardy type.

     

Ladders and canonical varieties of completely regular semigroups

A completely regular semigroup is a (disjoint) union of its (maximal) subgroups. We consider it here with the unary operation of inversion within its maximal subgroups. Their totality \(\mathcal {C}\mathcal {R}\) forms a variety whose lattice of subvarieties is denoted by \(\mathcal {L}(\mathcal {C}\mathcal {R})\). On it, one defines the relations \(\mathbf {B}^\wedge \) and \(\mathbf {B}^\vee \) by

$$\begin{aligned} \begin{array}{lll} \mathcal {U}\ \mathbf {B}^\wedge \ \mathcal {V}&{} \Longleftrightarrow &{} \mathcal {U}\cap \mathcal {B} =\mathcal {V}\cap \mathcal {B}, \\ \mathcal {U}\ \mathbf {B}^\vee \ \mathcal {V}&{} \Longleftrightarrow &{} \mathcal {U}\vee \mathcal {B} =\mathcal {V}\vee \mathcal {B} , \end{array} \end{aligned}$$

respectively, where \(\mathcal {B}\) denotes the variety of all bands. This is a study of the interplay between the \(\cap \)-subsemilatice \(\triangle \) of \(\mathcal {L}(\mathcal {C}\mathcal {R})\) of upper ends of \(\mathbf {B}^\wedge \)-classes and their \(\mathbf {B}^\vee \)-classes. The main tool is the concept of a ladder and their \(\mathbf {B}^\vee \)-classes, an indispensable part of the important Polák’s theorem providing a construction for the join of varieties of completely regular semigroups. The paper includes the tables of ladders of the upper ends of most \(\mathbf {B}^\wedge \)-classes. Canonical varieties consist of two ascending countably infinite chains which generate most of the upper ends of \(\mathbf {B}^\wedge \)-classes.