Homoclinic Solutions for a Class of Second Order Hamiltonian Systems

In this paper we consider the existence of homoclinic solutions for the following second order non-autonomous Hamiltonian system $${\ddot q}-L(t)q+\nabla W(t,q)=0, \quad\quad\quad\quad\quad\quad\quad (\rm HS)$$ where ${L\in C({\mathbb R},{\mathbb R}^{n^2})}$ is a symmetric and positive definite matrix for all ${t\in {\mathbb R}}$ , W(t, q)?=?a(t)U(q) with ${a\in C({\mathbb R},{\mathbb R}^+)}$ and ${U\in C^1({\mathbb R}^n,{\mathbb R})}$ . The novelty of this paper is that, assuming L is bounded from below in the sense that there is a constant M?>?0 such that (L(t)q, q)?≥ M |q|² for all ${(t,q)\in {\mathbb R}\times {\mathbb R}^n}$ , we establish one new compact embedding theorem. Subsequently, supposing that U satisfies the global Ambrosetti–Rabinowitz condition, we obtain a new criterion to guarantee that (HS) has one nontrivial homoclinic solution using the Mountain Pass Theorem, moreover, if U is even, then (HS) has infinitely many distinct homoclinic solutions. Recent results from the literature are generalized and significantly improved.     

Existence of Solutions for the Debye-Hückel System with Low Regularity Initial Data

In this paper we study existence of solutions for the Cauchy problem of the Debye-Hückel system with low regularity initial data. By using the Chemin-Lerner time-space estimate for the heat equation, we prove that there exists a unique local solution if the initial data belongs to the Besov space $\dot{B}^{s}_{p,q}(\mathbb{R}^{n})$ for $-\frac{3}{2}<s\leq-2+\frac{n}{2}$ , $p=\frac{n}{s+2}$ and 1≤q≤∞, and furthermore, if the initial data is sufficiently small then the solution is global. This result improves the regularity index of the initial data space in previous results on this system. The blow-up criterion of solutions is also established.     

A priori estimates for a class of degenerate elliptic equations

In this paper we investigate the regularity of solutions for the following degenerate partial differential equation $$\left \{\begin{array}{ll} -\Delta_p u + u = f \qquad {\rm in} \,\Omega,\\ \frac{\partial u}{\partial \nu} = 0 \qquad \qquad \,\,\,\,\,\,\,\,\,\, {\rm on} \,\partial \Omega, \end{array}\right.$$ when ${f \in L^q(\Omega), p > 2}$ and q ≥ 2. If u is a weak solution in ${W^{1, p}(\Omega)}$ , we obtain estimates for u in the Nikolskii space ${\mathcal{N}^{1+2/r,r}(\Omega)}$ , where r = q(p ? 2) + 2, in terms of the L ^q norm of f. In particular, due to imbedding theorems of Nikolskii spaces into Sobolev spaces, we conclude that ${\|u\|^r_{W^{1 + 2/r - \epsilon, r}(\Omega)} \leq C(\|f\|_{L^q(\Omega)}^q + \| f\|^{r}_{L^q(\Omega)} + \|f\|^{2r/p}_{L^q(\Omega)})}$ for every ${\epsilon > 0}$ sufficiently small. Moreover, we prove that the resolvent operator is continuous and compact in ${W^{1,r}(\Omega)}$ .     

On permutations of central quadrics which preserve an inner distance

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume dimV ≥ 4 and ¦ $\mathbb{F}$ ¦ ≥ 4. We consider a permutation ? of the central affine quadric $\mathcal{F}$ := {x εV ¦q(x) = 1} such that $$(*)x \cdot y = \mu \Leftrightarrow x^\varphi \cdot y^\varphi = \mu \forall x,y\varepsilon \mathcal{F}$$ holds true, where μ is a fixed element of $\mathbb{F}$ and where “·” is the scalar product associated withq. We prove that ? is induced (in a certain sense) by a semi-linear bijection (σ,?): (V, $\mathbb{F}$ ) → (V, $\mathbb{F}$ ) such thatq o ?o q, provided $\mathcal{F}$ contains lines and the pair (μ, $\mathbb{F}$ ) has additional properties if there ar no planes in $\mathcal{F}$ . The cases μ,≠ 0 and μ = 0 require different techniques.     

New upper bounds on the smallest size of a complete arc in a finite Desarguesian projective plane

In the projective planes PG(2, q), more than 1230 new small complete arcs are obtained for ${q \leq 13627}$ and ${q \in G}$ where G is a set of 38 values in the range 13687,..., 45893; also, ${2^{18} \in G}$ . This implies new upper bounds on the smallest size t ₂(2, q) of a complete arc in PG(2, q). From the new bounds it follows that $$t_{2}(2, q) < 4.5\sqrt{q} \, {\rm for} \, q \leq 2647$$ and q = 2659,2663,2683,2693,2753,2801. Also, $$t_{2}(2, q) < 4.8\sqrt{q} \, {\rm for} \, q \leq 5419$$ and q = 5441,5443,5449,5471,5477,5479,5483,5501,5521. Moreover, $$t_{2}(2, q) < 5\sqrt{q} \, {\rm for} \, q \leq 9497$$ and q = 9539,9587,9613,9623,9649,9689,9923,9973. Finally, $$t_{2}(2, q) <5 .15\sqrt{q} \, {\rm for} \, q \leq 13627$$ and q = 13687,13697,13711,14009. Using the new arcs it is shown that $$t_{2}(2, q) < \sqrt{q}\ln^{0.73}q {\rm for} 109 \leq q \leq 13627\, {\rm and}\, q \in G.$$ Also, as q grows, the positive difference ${\sqrt{q}\ln^{0.73} q-\overline{t}_{2}(2, q)}$ has a tendency to increase whereas the ratio ${\overline{t}_{2}(2, q)/(\sqrt{q}\ln^{0.73} q)}$ tends to decrease. Here ${\overline{t}_{2}(2, q)}$ is the smallest known size of a complete arc in PG(2,q). These properties allow us to conjecture that the estimate ${t_{2}(2,q) < \sqrt{q}\ln ^{0.73}q}$ holds for all ${q \geq 109.}$ The new upper bounds are obtained by finding new small complete arcs in PG(2,q) with the help of a computer search using randomized greedy algorithms. Finally, new forms of the upper bound on t ₂(2,q) are proposed.     

Small Divisor Problem in Dynamical Systems and Analytic Solutions of a q-Difference Equation with a Singularity at the Origin

In this paper, we consider a q-difference equation $$\sum_{j=0}^{k}\sum_{t=1}^{\infty}C_{t,j}(z)(y(q^jz))^{t}=G(z)$$ in the complex field ${\mathbb C,}$ where C _t,j (z) and G(z) have a h ₁ order pole and a h ₂ order pole at z = 0, respectively. Under the case 0 < |q| < 1 or |q| = 1, we give the existence of local analytic solutions for the above equation by using small divisor theory in dynamical systems.     

The \bar \partial -problem on q-pseudoconvex domains with applications

For a q-pseudoconvex domain Ω in ? ⁿ , 1 ≤ q ≤ n, with Lipschitz boundary, we solve the $\bar \partial $ -problem with exact support in Ω. Moreover, we solve the $\bar \partial $ -problem with solutions smooth up to the boundary over Ω provided that it has smooth boundary. Applications are given to the solvability of the tangential Cauchy-Riemann equations on the boundary.     

On the Oscillation of nth Order Dynamic Equations on Time-Scales

We present some new criteria for the oscillation of even order dynamic equation $$\left(a(t)({x^\Delta}^{n-1}(t))^\alpha\right)^\Delta +q(t)(x^\sigma(t))^\lambda = 0$$ on an unbounded above time scale ${\mathbb{T}}$ , where α and λ are the ratios of positive odd integers, a and q is a real valued positive rd-continuous functions defined on ${\mathbb{T}}$ .     

Transcendence of solutions of q-Painlev�� equation of type {A^{(1)}_{6}}

In this paper we prove the transcendence of the solutions of the q-Painlevé equation of type ${A_6^{(1)}}$ . The q-Painlevé equation of type ${A_6^{(1)}}$ is also called d-P _II or q-P _II and has a continuous limit to the Painlevé equation of type II. Its symmetry is (A ₁?+?A ₁)⁽¹⁾.     

Partitions involving D.H. Lehmer numbers

Let n ≥ 2 be a fixed integer, let q and c be two integers with q > n and (n, q) = (c, q) = 1. For every positive integer a which is coprime with q we denote by ${\overline{a}_{c}}$ the unique integer satisfying ${1\leq\overline{a}_{c} \leq{q}}$ and ${a\overline{a}_{c} \equiv{c}({\rm mod}\, q)}$ . Put $$L(q)=\{a\in{Z^{+}}: (a,q)=1, n {\not\hskip0.1mm|} a+\overline{a}_{c} \}.$$ The elements of L(q) are called D.H. Lehmer numbers. The main purpose of this paper is to prove that (under natural conditions) every sufficiently large integer can be expressed as the sum of three D.H. Lehmer numbers.     

Colourful and Fractional (p,q)-theorems

Let p≥q≥d+1 be positive integers and let ${\mathcal{F}}$ be a finite family of convex sets in ${\mathbb{R}}^{d}$ . Assume that the elements of ${\mathcal{F}}$ are coloured with p colours. A p-element subset of ${\mathcal{F}}$ is heterochromatic if it contains exactly one element of each colour. The family ${\mathcal{F}}$ has the heterochromatic (p,q)-property if in every heterochromatic p-element subset there are at least q elements that have a point in common. We show that, under the heterochromatic (p,q)-condition, some colour class can be pierced by a finite set whose size we estimate from above in terms of d,p, and q. This is a colourful version of the famous (p,q)-theorem. (We prove a colourful variant of the fractional Helly theorem along the way.) A fractional version of the same problem is when the (p,q)-condition holds for all but an α fraction of the p-tuples in ${\mathcal{F}}$ . We show that, in the case that d=1, all but a β fraction of the elements of ${\mathcal{F}}$ can be pierced by p?q+1 points. Here β depends on α and p,q, and β→0 as α goes to zero.     

Minimizing and maximizing the Euclidean norm of the product of two polynomials

We consider the problem of minimizing or maximizing the quotient $$f_{m,n}(p,q):=\frac{\|{pq}\|}{\|{p}\|\|{q}\|} \ ,$$ where $p=p_0+p_1x+\dots+p_mx^m$ , $q=q_0+q_1x+\dots+q_nx^n\in{\mathbb K}[x]$ , ${\mathbb K}\in\{{\mathbb R},{\mathbb C}\}$ , are non-zero real or complex polynomials of maximum degree $m,n\in{\mathbb N}$ respectively and $\|{p}\|:=(|p_0|^2+\dots+|p_m|^2)^{\frac{1}{2}}$ is simply the Euclidean norm of the polynomial coefficients. Clearly f _m,n is bounded and assumes its maximum and minimum values min f _m,n ?=?f _m,n (p _min, q _min) and max f _m,n ?=?f(p _max, q _max). We prove that minimizers p _min, q _min for ${\mathbb K}={\mathbb C}$ and maximizers p _max, q _max for arbitrary ${\mathbb K}$ fulfill $\deg(p_{\min})=m=\deg(p_{\max})$ , $\deg(q_{\min})=n=\deg(q_{\max})$ and all roots of p _min, q _min, p _max, q _max have modulus one and are simple. For ${\mathbb K}={\mathbb R}$ we can only prove the existence of minimizers p _min, q _min of full degree m and n respectively having roots of modulus one. These results are obtained by transferring the optimization problem to that of determining extremal eigenvalues and corresponding eigenvectors of autocorrelation Toeplitz matrices. By the way we give lower bounds for min f _m,n for real polynomials which are slightly better than the known ones and inclusions for max f _m,n .     

Stability of blowup for a parabolic p-Laplace equation with nonlinear source

In this paper, we mainly consider the stability of blowup of solutions for the p-Laplace equation with nonlinear source ${u_t = {div}(|\nabla u|^{p-2}\nabla u) + u^q,\;\;(x,t)\in\mathbb{R}^N \times (0,T)}$ , with the initial value ${u(x,0) = u_0(x) \geq 0}$ , where ${\|u_0 (x)\|_{L^\infty} \leq M}$ and T < ∞ is the blowup time. Under a small oscillation around the radial initial value, we can prove the solution blows up in finite time and obtain the blowup rate estimate of the form ${\|u(\cdot,t)\|_{L^\infty}\leq C(T-t)^{-\frac{1}{q-1}}}$ , where the constant C > 0 is dependent only on N, p, q, and the parameters q and p are expected to be ${p > 2, p-1 < q < \frac{Np}{(N-p)}_+ -1}$ .     

Blow-up rates and uniqueness of large solutions for elliptic equations with nonlinear gradient term and singular or degenerate weights

This paper deals with the blow-up rate and uniqueness of large solutions of the elliptic equation ${\Delta u = b(x)f(u)+c(x)g(u)|\nabla u|^q}$ in ${\Omega \subset \mathbb{R}^N}$ , where q > 0, f(u) and g(u) are regularly varying functions at infinity, and the weight functions ${b(x),\,c(x) \in C^\alpha(\Omega,\,\mathbb{R}^+)}$ , 0 < α < 1, may be singular or degenerate on the boundary ${\partial\Omega}$ . Combining the regular variation theoretic approach of Cîrstea–R?dulescu and the systematic approach of Bandle–Giarrusso, we are able to improve and generalize most of the previously available results in the literature.     

A construction for infinite families of semisymmetric graphs revealing their full automorphism group

We give a general construction leading to different non-isomorphic families $\varGamma_{n,q}(\mathcal{K})$ of connected q-regular semisymmetric graphs of order 2q ⁿ⁺¹ embedded in $\operatorname{PG}(n+1,q)$ , for a prime power q=p ^h , using the linear representation of a particular point set $\mathcal{K}$ of size q contained in a hyperplane of $\operatorname{PG}(n+1,q)$ . We show that, when $\mathcal{K}$ is a normal rational curve with one point removed, the graphs $\varGamma_{n,q}(\mathcal{K})$ are isomorphic to the graphs constructed for q=p ^h in Lazebnik and Viglione (J. Graph Theory 41, 249–258, 2002) and to the graphs constructed for q prime in Du et al. (Eur. J. Comb. 24, 897–902, 2003). These graphs were known to be semisymmetric but their full automorphism group was up to now unknown. For q≥n+3 or q=p=n+2, n≥2, we obtain their full automorphism group from our construction by showing that, for an arc $\mathcal{K}$ , every automorphism of $\varGamma_{n,q}(\mathcal{K})$ is induced by a collineation of the ambient space $\operatorname{PG}(n+1,q)$ . We also give some other examples of semisymmetric graphs $\varGamma _{n,q}(\mathcal{K})$ for which not every automorphism is induced by a collineation of their ambient space.     

Optimal Sobolev Type Inequalities in Lorentz Spaces

It is well known that the classical Sobolev embeddings may be improved within the framework of Lorentz spaces L ^p,q : the space $\mathcal{D}^{1,p}(\mathbb R^n)$ , 1?<?p?<?n, embeds into $L^{p^*,q}(\mathbb R^n)$ , p?≤?q?≤?∞. However, the value of the best possible embedding constants in the corresponding inequalities is known just in the case $L^{p^*,p}(\mathbb R^n)$ . Here, we determine optimal constants for the embedding of the space $\mathcal{D}^{1,p}(\mathbb R^n)$ , 1?<?p?<?n, into the whole Lorentz space scale $L^{p^{\ast}, q}(\mathbb R^n)$ , p?≤?q?≤?∞, including the limiting case q?=?p of which we give a new proof. We also exhibit extremal functions for these embedding inequalities by solving related elliptic problems.     

On 1-isometries of affine quadrics over finite fields

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume $4 \leqslant dim V \leqslant \infty \wedge |\mathbb{F}| \in \mathbb{N}$ . A 1-isometry of the central quadric $\mathcal{F}: = \{ x \in V|q(x) = 1\}$ is a permutation ? of $\mathcal{F}$ such that (*) $$q(x - y) = \nu \Leftrightarrow q(x^\varphi - y^\varphi ) = \nu \forall x,y \in \mathcal{F}$$ holds true for a fixed element ν of $\mathbb{F}$ . For arbitraryν ∈ $\mathbb{F}$ we prove that? is induced (in a certain sense) by a semi-linear bijection $(\sigma ,\varrho ):(V,\mathbb{F}) \to (V,\mathbb{F})$ such thatq oσ =? oq, provided $\mathcal{F}$ contains lines and the exceptional case $(\nu = 2 \Lambda |\mathbb{F}| = 3 \Lambda \dim V = 4 \Lambda |\mathcal{F}| = 24)$ is excluded. In the exceptional case and as well in case of dim V = 3 there are counterexamples. The casesν ≠ 2 and v=2 require different techniques.     

Singular limits solution for two-dimensional elliptic problems involving exponential nonlinearities with nonlinear gradient terms and singular weights

Given Ω bounded open regular set of ${\mathbb{R}^2}$ , ${q_1,\ldots, q_K \in \Omega}$ , ${\varrho : \Omega \longrightarrow [0,+\infty)}$ a regular bounded function and ${V: \Omega \longrightarrow [0,+\infty)}$ a bounded fuction. We give a sufficient condition for the model problem $$(P):\qquad-{\Delta}u -{\lambda}\varrho(x)|{\nabla}u|^2 = \varepsilon^{2}V(x)e^u$$ to have a positive weak solution in Ω with u = 0 on ?Ω, which is singular at each q _i as the parameters ${\varepsilon}$ and λ tend to 0, essentially when the set of concentration points q _i and the set of zeros of V are not necessarily disjoint.     

Sign-definiteness of q-eigenfunctions for a super-linear p-Laplacian eigenvalue problem

We consider the following q-eigenvalue problem for the p-Laplacian $$\left\{\begin{array}{ll}-{\rm div}\big( |\nabla u|^{p-2}\nabla u\big) = \lambda \|u\|_{L^{q}(\Omega)}^{p-q}|u|^{q-2}u \quad \quad\, {\rm in} \,\,\,\, \Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,\,{\rm on } \,\,\,\, \partial\Omega,\end{array}\right.$$ where \({\lambda\in\mathbb{R},}\) p > 1, Ω is a bounded and smooth domain of \({\mathbb{R}^{N},}\) N > 1, \({1\leq q < p^{\star}}\) , \({p^{\star}=\frac{Np}{N-p}}\) if p < N and \({p^{\star}=\infty}\) if \({p\geq N.}\) Let λ _q denote the first q-eigenvalue. We prove that in the super-linear case, \({p < q < p^{\star},}\) there exists \({\epsilon_{q}>0}\) such that if \({\lambda\in(\lambda_{q},\lambda _{q}+\epsilon_{q})}\) is a q-eigenvalue, then any corresponding q-eigenfunction does not change sign in Ω. As a consequence of this result we obtain, in the super-linear case, the isolatedness of λ _q for those Ω such that the Lane–Emden problem $$\left\{\begin{array}{ll}-{\rm div}\big(|\nabla u|^{p-2}\nabla u\big) = |u|^{q-2}u \qquad\quad\quad\quad \,\,{\rm in}\,\,\,\Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,{\rm on } \,\,\, \partial\Omega,\end{array}\right.$$ has exactly one positive solution.