Thue’s inequalities and the hypergeometric method

We establish upper bounds for the number of primitive integer solutions to inequalities of the shape \(0<|F(x, y)| \le h\), where \(F(x , y) =(\alpha x + \beta y)^r -(\gamma x + \delta y)^r \in \mathbb {Z}[x ,y]\), \(\alpha \), \(\beta \), \(\gamma \) and \(\delta \) are algebraic constants with \(\alpha \delta -\beta \gamma \ne 0\), and \(r \ge 5\) and h are integers. As an important application, we pay special attention to binomial Thue’s inequalities \(|ax^r - by^r| \le c\). The proofs are based on the hypergeometric method of Thue and Siegel and its refinement by Evertse.     

Weak type (1, 1) of some operators for the Laplacian with drift

Let \(v = (v_1, \ldots , v_n)\) be a vector in \(\mathbb {R}^n {\setminus } \{ 0 \}\). Consider the Laplacian on \(\mathbb {R}^n\) with drift \(\Delta _{v} = \sum _{i = 1}^n \Big ( \frac{\partial ^2}{\partial x_i^2} + 2 v_i \frac{\partial }{\partial x_i} \Big )\) and the measure \(d\mu (x) = e^{2 \langle v, x \rangle } dx\), with respect to which \(\Delta _{v}\) is self-adjoint. Let d and \(\nabla \) denote the Euclidean distance and the gradient operator on \(\mathbb {R}^n\). Consider the space \((\mathbb {R}^n, d, d\mu )\), which has the property of exponential volume growth. We obtain weak type (1, 1) for the Riesz transform \(\nabla (- \Delta _{v} )^{-\frac{1}{2}}\) and for the heat maximal operator, with respect to \(d\mu \). Further, we prove that the uncentered Hardy–Littlewood maximal operator is bounded on \(L^p\) for \(1 < p \le +\infty \) but not of weak type (1, 1) if \(n \ge 2\).     

A note on Wilson’s functional equation

Let S be a semigroup, and \(\mathbb {F}\) a field of characteristic \(\ne 2\). If the pair \(f,g:S \rightarrow \mathbb {F}\) is a solution of Wilson’s \(\mu \)-functional equation such that \(f \ne 0\), then g satisfies d’Alembert’s \(\mu \)-functional equation.     

Flatness implies smoothness for solutions of the porous medium equation

One of the major problems in the theory of the porous medium equation \(\partial _t\rho =\Delta _x\rho ^m,\,m > 1\), is the regularity of the solutions \(\rho (t,x)\ge 0\) and the free boundaries \(\Gamma =\partial \{(t,x): \rho >0\}\). Here we assume flatness of the solution and derive \(C^\infty \) regularity of the interface after a small time, as well as \(C^\infty \) regularity of the solution in the positivity set and up to the free boundary for some time interval. The proof starts from Caffarelli’s blueprint of an improvement of flatness by rescaling, and combines it with the Carleson measure approach applied to the degenerate subelliptic equation satisfied by the pressure of the porous medium equation in transformed coordinates. The improvement of flatness finally hinges on Gaussian estimates for the subelliptic problem. We use these facts to prove the following eventual regularity result: solutions defined in the whole space with compactly supported initial data are smooth after a finite time \(T_r\) that depends on \(\rho _0\). More precisely, we prove that for \(t \ge T_r\) the pressure \(\rho ^{m-1}\) is \(C^\infty \) in the positivity set and up to the free boundary, which is a \(C^\infty \) hypersurface. Moreover, \(T_r\) can be estimated in terms of only the initial mass and the initial support radius. This regularity result eliminates the assumption of non-degeneracy on the initial data that has been carried on for decades in the literature. Let us recall that regularization for small times is false, and that as \(t\rightarrow \infty \) the solution increasingly resembles a Barenblatt function and the support looks like a ball.     

Spectral analysis for perturbed operators on Carnot groups

Let \(\textsf {G}\) be a Carnot group of homogeneous dimension M and \(\Delta \) its horizontal sublaplacian. For \(\alpha \in (0,M)\) we show that operators of the form \(H_\alpha :=(-\Delta )^\alpha +V\) have no singular spectrum, under generous assumptions on the multiplication operator V. The proof is based on commutator methods and Hardy inequalities.     

On generalized Ramanujan primes

Let \(\Delta = \sum _{m=0}^\infty q^{(2m+1)^2} \in \mathbf {F}_2[[q]]\) be the reduction mod 2 of the \(\Delta \) series. A modular form of level 1, \(f=\sum _{n\geqslant 0} c(n) \,q^n\), with integer coefficients, is congruent modulo \(2\) to a polynomial in \(\Delta \). Let us set \(W_f(x)=\sum _{n\leqslant x,\ c(n)\text { odd }} 1\), the number of odd Fourier coefficients of \(f\) of index \(\leqslant x\). The order of magnitude of \(W_f(x)\) (for \(x\rightarrow \infty \)) has been determined by Serre in the seventies. Here, we give an asymptotic equivalent for \(W_f(x)\). Let \(p(n)\) be the partition function and \(A_0(x)\) (resp. \(A_1(x)\)) be the number of \(n\leqslant x\) such that \(p(n)\) is even (resp. odd). In the preceding papers, the second-named author has shown that \(A_0(x)\geqslant 0.28 \sqrt{x\;\log \log x}\) for \(x\geqslant 3\) and \(A_1(x)>\frac{4.57 \sqrt{x}}{\log x}\) for \(x\geqslant 7\). Here, it is proved that \(A_0(x)\geqslant 0.069 \sqrt{x}\;\log \log x\) holds for \(x>1\) and that \(A_1(x) \geqslant \frac{0.037 \sqrt{x}}{(\log x)^{7/8}}\) holds for \(x\geqslant 2\). The main tools used to prove these results are the determination of the order of nilpotence of a modular form of level-\(1\) modulo \(2\), and of the structure of the space of those modular forms as a module over the Hecke algebra, which have been given in a recent work of Serre and the second-named author.     

Quasilinear equations with natural growth in the gradients in spaces of Sobolev multipliers

We study the existence problem for a class of nonlinear elliptic equations whose prototype is of the form \(-\Delta _p u = |\nabla u|^p + \sigma \) in a bounded domain \(\Omega \subset \mathbb {R}^n\). Here \(\Delta _p\), \(p>1\), is the standard p-Laplacian operator defined by \(\Delta _p u=\mathrm{div}\, (|\nabla u|^{p-2}\nabla u)\), and the datum \(\sigma \) is a signed distribution in \(\Omega \). The class of solutions that we are interested in consists of functions \(u\in W^{1,p}_0(\Omega )\) such that \(|\nabla u|\in M(W^{1,p}(\Omega )\rightarrow L^p(\Omega ))\), a space pointwise Sobolev multipliers consisting of functions \(f\in L^{p}(\Omega )\) such that

$$\begin{aligned} \int _{\Omega } |f|^{p} |\varphi |^p dx \le C \int _{\Omega } (|\nabla \varphi |^p + |\varphi |^p) dx \quad \forall \varphi \in C^\infty (\Omega ), \end{aligned}$$

for some \(C>0\). This is a natural class of solutions at least when the distribution \(\sigma \) is nonnegative and compactly supported in \(\Omega \). We show essentially that, with only a gap in the smallness constants, the above equation has a solution in this class if and only if one can write \(\sigma =\mathrm{div}\, F\) for a vector field F such that \(|F|^{\frac{1}{p-1}}\in M(W^{1,p}(\Omega )\rightarrow L^p(\Omega ))\). As an important application, via the exponential transformation \(u\mapsto v=e^{\frac{u}{p-1}}\), we obtain an existence result for the quasilinear equation of Schrödinger type \(-\Delta _p v = \sigma \, v^{p-1}\), \(v\ge 0\) in \(\Omega \), and \(v=1\) on \(\partial \Omega \), which is interesting in its own right.

     

Elimination of extremal index zeroes from generic paths of closed $$$$-forms

Let \( \alpha \) be a Morse closed \( 1 \)-form of a smooth \( n \)-dimensional manifold \( M \). The zeroes of \( \alpha \) of index \( 0 \) or \( n \) are called centers. It is known that every non-vanishing de Rham cohomology class \( u \) contains a Morse representative without centers. The result of this paper is the one-parameter analogue of the last statement: every generic path \( (\alpha _t)_{ t\in [0,1] }\) of closed \( 1 \)-forms in a fixed class \( u\ne 0 \) such that \( \alpha _0,\alpha _1 \) have no centers, can be modified relatively to its extremities to another such path \( (\beta _t)_{t \in [0,1]} \) having no center at all.     

Spectral density estimates with partial symmetries and an application to Bahri–Lions-type results

We are concerned with the existence of infinitely many solutions for the problem \(-\Delta u=|u|^{p-2}u+f\) in \(\Omega \), \(u=u_0\) on \(\partial \Omega \), where \(\Omega \) is a bounded domain in \(\mathbb {R}^N\), \(N\ge 3\). This can be seen as a perturbation of the problem with \(f=0\) and \(u_0=0\), which is odd in u. If \(\Omega \) is invariant with respect to a closed strict subgroup of O(N), then we prove infinite existence for all functions f and \(u_0\) in certain spaces of invariant functions for a larger range of exponents p than known before. In order to achieve this, we prove Lieb–Cwikel–Rosenbljum-type bounds for invariant potentials on \(\Omega \), employing improved Sobolev embeddings for spaces of invariant functions.     

Monotonicity and non-monotonicity results for sequential fractional delta differences of mixed order

We consider the discrete fractional sequential difference \(\Delta _{1+a-\mu }^{\nu }\Delta _a^{\mu }f(t)\), where \(t\in \mathbb {N}_{3-\mu -\nu +a}\), in two separate cases, where in each case we require that \(\mu +\nu \in (1,2)\). In the first case, we show that when \(\mu \in (0,1)\) and \(\nu \in (1,2)\) it follows that the condition \(\Delta _{1+a-\mu }^{\nu }\Delta _a^{\mu }f(t)\ge 0\) implies that f is an increasing map when we impose that \(f(a)\ge 0\), \(\Delta f(a)\ge 0\), and \(\Delta f(a+1)\ge 0\). On the other hand, when \(\mu \in (1,2)\) and \(\nu \in (0,1)\) we demonstrate that the situation is very different and that this type of monotonicity result only holds when restricted to a proper subregion of the \((\mu ,\nu )\)-parameter space coupled with some additional auxiliary conditions.     

Some classes of operators with symbol on the Lipschitz space of a tree

In this paper, we expand the study of the multiplication operators on the Lipschitz space of a tree begun in Colonna and Easley (Integral Equ Oper Theory 68:391–411, 2010) by focusing on their adjoint acting on a certain separable subspace of the Lipschitz space whose dual is isometrically isomorphic to \(\mathbf L^1\). We then study the properties of two useful operators \(\nabla \) and \(\Delta \) and use them (along with the multiplicative symbol \(\psi \)) to define the Toeplitz operator \(T_\psi \) on the space \(\mathbf L^p\) for \(1\le p \le \infty \). We give conditions for its boundedness and study its point spectrum.     

Well-Posedness for the Generalized Zakharov–Kuznetsov Equation on Modulation Spaces

We consider the Cauchy problem for the generalized Zakharov–Kuznetzov equation \(\partial _t u + \partial _x \Delta u = \partial _x ( u^{m+1} )\) on two or three space dimensions. We mainly study the two dimensional case and give the local well-posedness and the small data global well-posedness in the modulation space \(M_{2,1}(\mathbb {R}^2)\) for \(m \ge 4\). Moreover, for the quartic case (namely, \(m = 3\)), the local well-posedness in \( M_{2,1}^{1/4}(\mathbb {R}^2)\) is given. The well-posedness on three dimensions is also considered.     

Mean curvature bounds and eigenvalues of Robin Laplacians

We consider the Laplacian with attractive Robin boundary conditions,

$$\begin{aligned} Q^\Omega _\alpha u=-\Delta u, \quad \dfrac{\partial u}{\partial n}=\alpha u \text { on } \partial \Omega , \end{aligned}$$

in a class of bounded smooth domains \(\Omega \in \mathbb {R}^\nu \); here \(n\) is the outward unit normal and \(\alpha >0\) is a constant. We show that for each \(j\in \mathbb {N}\) and \(\alpha \rightarrow +\infty \), the \(j\)th eigenvalue \(E_j(Q^\Omega _\alpha )\) has the asymptotics

$$\begin{aligned} E_j(Q^\Omega _\alpha )=-\alpha ^2 -(\nu -1)H_\mathrm {max}(\Omega )\,\alpha +{\mathcal O}(\alpha ^{2/3}), \end{aligned}$$

where \(H_\mathrm {max}(\Omega )\) is the maximum mean curvature at \(\partial \Omega \). The discussion of the reverse Faber-Krahn inequality gives rise to a new geometric problem concerning the minimization of \(H_\mathrm {max}\). In particular, we show that the ball is the strict minimizer of \(H_\mathrm {max}\) among the smooth star-shaped domains of a given volume, which leads to the following result: if \(B\) is a ball and \(\Omega \) is any other star-shaped smooth domain of the same volume, then for any fixed \(j\in \mathbb {N}\) we have \(E_j(Q^B_\alpha )>E_j(Q^\Omega _\alpha )\) for large \(\alpha \). An open question concerning a larger class of domains is formulated.

     

Regularity for Inhomogeneous Dirichlet Problems of Some Schrödinger Equations on Domains

Let \(n\ge 3, \Omega \) be a bounded, simply connected and semiconvex domain in \({\mathbb {R}}^n\) and \(L_{\Omega }:=-\Delta +V\) a Schrödinger operator on \(L^2 (\Omega )\) with the Dirichlet boundary condition, where \(\Delta \) denotes the Laplace operator and the potential \(0\le V\) belongs to the reverse Hölder class \(RH_{q_0}({\mathbb {R}}^n)\) for some \(q_0\in (\max \{n/2,2\},\infty ]\). Assume that the growth function \(\varphi :\,{\mathbb {R}}^n\times [0,\infty ) \rightarrow [0,\infty )\) satisfies that \(\varphi (x,\cdot )\) is an Orlicz function and \(\varphi (\cdot ,t)\in {\mathbb {A}}_{\infty }({\mathbb {R}}^n)\) (the class of uniformly Muckenhoupt weights). Let \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) be the Musielak–Orlicz–Hardy space whose elements are restrictions of elements of the Musielak–Orlicz–Hardy space, associated with \(L_{{\mathbb {R}}^n}:=-\Delta +V\) on \({\mathbb {R}}^n\), to \(\Omega \). In this article, the authors show that the operators \(VL^{-1}_\Omega \) and \(\nabla ^2L^{-1}_\Omega \) are bounded from \(L^1(\Omega )\) to weak-\(L^1(\Omega )\), from \(L^p(\Omega )\) to itself, with \(p\in (1,2]\), and also from \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) to the Musielak–Orlicz space \(L^\varphi (\Omega )\) or to \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) itself. As applications, the boundedness of \(\nabla ^2{\mathbb {G}}_D\) on \(L^p(\Omega )\), with \(p\in (1,2]\), and from \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) to \(L^\varphi (\Omega )\) or to \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) itself is obtained, where \({\mathbb {G}}_D\) denotes the Dirichlet Green operator associated with \(L_\Omega \). All these results are new even for the Hardy space \(H^1_{L_{{\mathbb {R}}^n},\,r}(\Omega )\), which is just \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) with \(\varphi (x,t):=t\) for all \(x\in {\mathbb {R}}^n\) and \(t\in [0,\infty )\).     

Partial regularity and smooth topology-preserving approximations of rough domains

For a bounded domain \(\Omega \subset {\mathbb R}^m, m\ge 2,\) of class \(C^0\), the properties are studied of fields of ‘good directions’, that is the directions with respect to which \(\partial \Omega \) can be locally represented as the graph of a continuous function. For any such domain there is a canonical smooth field of good directions defined in a suitable neighbourhood of \(\partial \Omega \), in terms of which a corresponding flow can be defined. Using this flow it is shown that \(\Omega \) can be approximated from the inside and the outside by diffeomorphic domains of class \(C^\infty \). Whether or not the image of a general continuous field of good directions (pseudonormals) defined on \(\partial \Omega \) is the whole of \(S^{m-1}\) is shown to depend on the topology of \(\Omega \). These considerations are used to prove that if \(m=2,3\), or if \(\Omega \) has nonzero Euler characteristic, there is a point \(P\in \partial \Omega \) in the neighbourhood of which \(\partial \Omega \) is Lipschitz. The results provide new information even for more regular domains, with Lipschitz or smooth boundaries.     

Associate space with respect to a locally $$\sigma $$-finite measure on a $$\delta $$δ-ring and applications to spaces of integrable functions defined by a vector measure

We show that for a locally \(\sigma \)-finite measure \(\mu \) defined on a \(\delta \)-ring, the associate space theory can be developed as in the \(\sigma \)-finite case, and corresponding properties are obtained. Given a saturated \(\sigma \)-order continuous \(\mu \)-Banach function space E, we prove that its dual space can be identified with the associate space \(E ^\times \) if, and only if, \(E^\times \) has the Fatou property. Applying the theory to the spaces \(L^p (\nu )\) and \(L_w^p (\nu )\), where \(\nu \) is a vector measure defined on a \(\delta \)-ring \(\mathcal {R}\) and \(1 \le p < \infty \), we establish results corresponding to those of the case when the vector measure is defined on a \(\sigma \)-algebra.     

On Some New Inequalities For Continuous Fusion Frames in Hilbert Spaces

Continuous frames and fusion frames were considered recently as generalizations of frames in Hilbert spaces. In this paper, for any continuous fusion frame, we obtain a new family of inequalities which are parametrized by a parameter \(\lambda \in \mathbb {R}\). By suitable choices of \(\lambda \), one obtains the previous results as special cases. Moreover, these new inequalities involve the expressions \(\langle S_Yh,h \rangle \), \(\Vert S_Yh\Vert \), etc., where \(S_Y\) is a “truncated form” of the continuous fusion frame operator.     

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}\).     

Quadratic properties of least-squares solutions of linear matrix equations with statistical applications

Assume that a quadratic matrix-valued function \(\psi (X) = Q - X^{\prime }PX\) is given and let \(\mathcal{S} = \left\{ X\in {\mathbb R}^{n \times m} \, | \, \mathrm{trace}[\,(AX - B)^{\prime }(AX - B)\,] = \min \right\} \) be the set of all least-squares solutions of the linear matrix equation \(AX = B\). In this paper, we first establish explicit formulas for calculating the maximum and minimum ranks and inertias of \(\psi (X)\) subject to \(X \in {\mathcal S}\), and then derive from the formulas the analytic solutions of the two optimization problems \(\psi (X) =\max \) and \(\psi (X)= \min \) subject to \(X \in \mathcal{S}\) in the Löwner partial ordering. As applications, we present a variety of results on equalities and inequalities of the ordinary least squares estimators of unknown parameter vectors in general linear models.     

Nonlinear Evolution Equations with Infinitely Many Derivatives

We study the nonlinear evolutionary euclidean bosonic string equation

$$\begin{aligned} u_t = \Delta e^{-c \Delta }\,u + U(t,u) , \quad c > 0 \; \end{aligned}$$

on the Euclidean space \({\mathbb {R}}^n\). We interpret the nonlocal operator \(\Delta e^{-c\,\Delta }\) using entire vectors of \(\Delta \) in \(L^2({\mathbb {R}}^n)\). We prove that it generates a bounded holomorphic \(C_0\)-semigroup on \(L^2({\mathbb {R}}^n)\) (so that it also satisfies maximal \(L^p\) regularity) and we show the well-posedness of the corresponding nonlinear Cauchy problem.