Let $𝔻$ denote the unit disk $\{z:|z|<1\}$ in the complex plane $ℂ$. In this paper, we study a family of polynomials $P$ with only one zero lying outside $\overline{𝔻}$.  We establish  criteria for $P$ to satisfy implying that each of $P$ and $P^{\text{'}}$  has exactly one critical point outside $\overline{𝔻}$.

We consider $N$, the number of solutions $(x,y,u,v)$ to the equation ${(-1)}^{u}r{a}^x+{(-1)}^{v}s{b}^y=c$ in nonnegative integers $x,y$ and integers $u,v\in \{0,1\}$, for given integers $a\&gt;1$, $b\&gt;1$, $c\&gt;0$, $r\&gt;0$ and $s\&gt;0$. When $gcd(ra,sb)=1$, we show that $N\le 3$ except for a finite number of cases all of which satisfy $max(a,b,r,s,x,y)\&lt;2·{10}^{15}$ for each solution; when $gcd(a,b)\&gt;1$, we show that $N\le 3$ except for three infinite families of exceptional cases. We find several different ways to generate an infinite number of cases giving $N=3$ solutions.

On the unit disk $B_1\subset {ℝ}^2$ we study the Moser-Trudinger functional $E\left(u\right)={\int }_{B_1}\left(e^{u^2}-1\right)dx,u\in H_0^1\left(B_1\right)$ and its restrictions ${E|}_{M_{\Lambda }}$, where $M_{\Lambda }:=\{u\in H_0^1\left(B_1\right){:\parallel u\parallel }_{H_0^1}^2=\Lambda \}$ for $\Lambda >0$. We prove that if a sequence $u_k$ of positive critical points of ${E|}_{M_{{\Lambda }_k}}$ (for some ${\Lambda }_k>0$) blows up as $k\to \infty$, then ${\Lambda }_k\to 4\pi$, and $u_k\to 0$ weakly in $H_0^1\left(B_1\right)$ and strongly in $C_{\mathrm{loc}}^1({\overline{B}}_1\setminus \left\{0\right\})$. Using this fact we also prove that when $\Lambda$ is large enough, then ${E|}_{M_{\Lambda }}$ has no positive critical point, complementing previous existence results by Carleson-Chang, M. Struwe and Lamm-Robert-Struwe.

We report on results we recently obtained in Hebey and Thizy [11, 12] for critical stationary Kirchhoff systems in closed manifolds. Let $(M^n,g)$ be a closed $n$-manifold, $n\ge 3$. The critical Kirchhoff systems we consider are written as $$\left(a+b\sum _{j=1}^p{\int }_M{\left|\nabla u_j\right|}^{2}d{v}_g\right){\Delta }_g{u}_i+\sum _{j=1}^p{A}_{ij}{u}_j={\left|U\right|}^{2^{☆}-2}{u}_i$$ for all $i=1,\cdots ,p$, where ${\Delta }_g$ is the Laplace-Beltrami operator, $A$ is a $C^1$-map from $M$ into the space $M_s^p\left(ℝ\right)$ of symmetric $p\times p$ matrices with real entries, the $A_{ij}$’s are the components of $A$, $U=(u_1,\cdots ,u_p)$, $\left|U\right|:M\to ℝ$ is the Euclidean norm of $U$, $2^{☆}=\frac{2n}{n-2}$ is the critical Sobolev exponent, and...

For $n=2m\ge 4$, let $\Omega \in {ℝ}^n$ be a bounded smooth domain and $𝒩\subset {ℝ}^L$ a compact smooth Riemannian manifold without boundary. Suppose that $\left\{u_k\right\}\in W^{m,2}(\Omega ,𝒩)$ is a sequence of weak solutions in the critical dimension to the perturbed $m$-polyharmonic maps $$\frac{\mathrm{d}}{\mathrm{d}t}{|}_{t=0}{E}_m\left(\Pi (u+t\xi )\right)=0$$ with ${\Phi }_k\to 0$ in ${\left(W^{m,2}(\Omega ,𝒩)\right)}^{*}$ and $u_k\rightharpoonup u$ weakly in $W^{m,2}(\Omega ,𝒩)$. Then $u$ is an $m$-polyharmonic map. In particular, the space of $m$-polyharmonic maps is sequentially compact for the weak-$W^{m,2}$ topology.

Let $W(m,n;\underline{\psi })$ denote the set of ${\psi }_1,...,{\psi }_n$–approximable points in ${ℝ}^{mn}$. The classical Khintchine–Groshev theorem assumes a monotonicity condition on the approximating functions $\underline{\psi }$. Removing monotonicity from the Khintchine–Groshev theorem is attributed to different authors for different cases of $m$ and $n$. It can not be removed for $m=n=1$ as Duffin–Schaeffer provided the counter example. We deal with the only remaining case $m=2$ and thereby remove all unnecessary conditions from the Khintchine–Groshev theorem. ...

We consider $C^2$ families $t\mapsto f_t$ of $C^4$ unimodal maps $f_t$ whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure ${\mu }_t$ of $f_t$ depends differentiably on $t$, as a distribution of order $1$. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of ${\mu }_t$ for a Benedicks-Carleson map $f_t$, in terms of a single smooth function and the...

We show that the critical nonlinear elliptic Neumann problem $\Delta u-\mu u+u^{7/3}=0$ in $\Omega$, $u>0$ in $\Omega$, $\frac{\partial u}{\partial \nu }=0$ on $\partial \Omega$, where $\Omega$ is a bounded and smooth domain in ${ℝ}^5$, has arbitrarily many solutions, provided that $\mu >0$ is small enough. More precisely, for any positive integer $K$, there exists ${\mu }_K>0$ such that for $0<\mu <{\mu }_K$, the above problem has a nontrivial solution which blows up at $K$ interior points in $\Omega$, as $\mu \to 0$. The location of the blow-up points is related to the domain geometry. The solutions are obtained as critical points of some finite-dimensional...

Let r,m be positive integers with r > 1, m even, and A,B be integers satisfying $A+B\surd (-1)={(m+\surd (-1))}^r$. We prove that the Diophantine equation ${\left|A\right|}^x+{\left|B\right|}^y={(m²+1)}^z$ has no positive integer solutions in (x,y,z) other than (x,y,z) = (2,2,r), whenever $r>{10}^{74}$ or $m>{10}^{34}$. Our result is an explicit refinement of a theorem due to F. Luca.

We consider the Yamabe type family of problems $\left(P_{\epsilon }\right):-\Delta u_{\epsilon }=u_{\epsilon }^{(n+2)/\left(n-2\right)}$, $u_{\epsilon }>0$ in $A_{\epsilon }$, $u_{\epsilon }=0$ on $\partial A_{\epsilon }$, where $A_{\epsilon }$ is an annulus-shaped domain of ${ℝ}^n$, $n\ge 3$, which becomes thinner as $\epsilon \to 0$. We show that for every solution $u_{\epsilon }$, the energy ${\int }_{A_{\epsilon }}|\nabla u_{|}^2$ as well as the Morse index tend to infinity as $\epsilon \to 0$. This is proved through a fine blow up analysis of appropriate scalings of solutions whose limiting profiles are regular, as well as of singular solutions of some elliptic problem on ${ℝ}^n$, a half-space or an infinite strip. Our argument also involves a Liouville...

We study the Diophantine equations ${(k!)}^n-k^n={(n!)}^k-n^k$ and ${(k!)}^n+k^n={(n!)}^k+n^k,$ where $k$ and $n$ are positive integers. We show that the first one holds if and only if $k=n$ or $(k,n)=(1,2),(2,1)$ and that the second one holds if and only if $k=n$.

We study the leading order behaviour of positive solutions of the equation $-\Delta u+ϵu-{\left|u\right|}^{p-2}u+{\left|u\right|}^{q-2}u=0,x\in {ℝ}^N$, where $N\ge 3$, $q>p>2$ and when $ϵ>0$ is a small parameter. We give a complete characterization of all possible asymptotic regimes as a function of $p$, $q$ and $N$. The behavior of solutions depends sensitively on whether $p$ is less, equal or bigger than the critical Sobolev exponent $2^{*}=\frac{2N}{N-2}$. For $p<2^{*}$ the solution asymptotically coincides with the solution of the equation in which the last term is absent. For $p>2^{*}$ the solution asymptotically...

Let β ∈ (1,2) and x ∈ [0,1/(β-1)]. We call a sequence ${\left({ϵ}_i\right)}_{i=1}^{\infty }\in {0,1}^{\mathbb{N}}$ a β-expansion for x if $x={\sum }_{i=1}^{\infty }{ϵ}_i{\beta }^{-i}$. We call a finite sequence ${\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n$ an n-prefix for x if it can be extended to form a β-expansion of x. In this paper we study how good an approximation is provided by the set of n-prefixes. Given $\Psi :\mathbb{N}\to {ℝ}_{\ge 0}$, we introduce the following subset of ℝ: $W_{\beta }\left(\Psi \right):={\bigcap }_{m=1}^{\infty }{\bigcup }_{n=m}^{\infty }{\bigcup }_{{\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n}[{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right),{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)+\Psi \left(n\right)]$In other words, $W_{\beta }\left(\Psi \right)$ is the set of x ∈ ℝ for which there exist infinitely many solutions to the inequalities $0\le x-{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)\le \Psi \left(n\right)$. When ${\sum }_{n=1}^{\infty }{2}^n\Psi \left(n\right)<\infty$, the Borel-Cantelli lemma tells us that the Lebesgue measure...

Given d ≥ 2 consider the family of polynomials $P_c\left(z\right)=z^d+c$ for c ∈ ℂ. Denote by $J_c$ the Julia set of $P_c$ and let ${ℳ}_d=c|J_{c}isconnected$ be the connectedness locus; for d = 2 it is called the Mandelbrot set. We study semihyperbolic parameters $c₀\in \partial {ℳ}_d$: those for which the critical point 0 is not recurrent by $P_{c₀}$ and without parabolic cycles. The Hausdorff dimension of $J_c$, denoted by $HD\left(J_c\right)$, does not depend continuously on c at such $c₀\in \partial {ℳ}_d$; on the other hand the function $c\mapsto HD\left(J_c\right)$ is analytic in $ℂ-{ℳ}_d$. Our first result asserts that there is still some...

The role of the second critical exponent $p=(n+1)/(n-3)$, the Sobolev critical exponent in one dimension less, is investigated for the classical Lane–Emden–Fowler problem $\Delta u+u^p=0$, $u>0$ under zero Dirichlet boundary conditions, in a domain $\Omega$ in ${ℝ}^n$ with bounded, smooth boundary. Given $\Gamma$, a geodesic of the boundary with negative inner normal curvature we find that for $p=(n+1)/(n-3-\epsilon )$, there exists a solution $u_{\epsilon }$ such that $|\nabla u_{\epsilon }{|}^2$ converges weakly to a Dirac measure on $\Gamma$ as $\epsilon \to 0^{+}$, provided that $\Gamma$ is nondegenerate in the sense of second...

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...