A reciprocity formula for quadratic forms

LetQ(x) denote a quadratic form over the rational integers in four variables (x=(x₁,...,x₄)). ThenQ is representable as a symmetric matrix. Assume this matrix to be non-singular modp(p≠2 prime); then the “inverse” quadratic formQ ^?1 modp can be defined. Letf:?⁴→? be defined such that the Fourier transformf exists and the sum $$\sum\limits_{x \in \mathbb{Z}^4 } {f(c x), c \in \mathbb{R}, c \ne 0} $$ is convergent. Furthermore, letm=p ₁...p _k be the product ofk distinct primes withm>1, 2×m; let $$\varepsilon = \prod\limits_{i = 1}^k {\left( {\frac{{\det Q}}{{p_i }}} \right)} \ne 0$$ for the Legendre symbol $$\left( {\frac{ \cdot }{p}} \right)$$ ; define $$B_i (Q,x) = \left\{ {\begin{array}{*{20}c} {1 for Q(x) \equiv 0\bmod p_i } \\ , \\ {0 for Q(x)\not \equiv 0\bmod p_i } \\ \end{array} } \right.$$ and forr∈?,r>0, $$F(Q,f,r) = \sum\limits_{x \in \mathbb{Z}^4 } {\left( {\prod\limits_{i = 1}^k {\left( {B_i (Q,x) - \frac{1}{{p_i }}} \right)} } \right)f(r^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} x)} $$ Then we have $$F(Q,f,m) = \varepsilon F(Q^{ - 1} ,\hat f,m)$$      

Symmetry results for systems involving fractional Laplacian

In this paper we investigate symmetry results for positive solutions of systems involving the fractional Laplacian (1) $\left\{ \begin{gathered} ( - \Delta )^{\alpha _1 } u_1 (x) = f_1 (u_2 (x)),x \in \mathbb{R}^\mathbb{N} , \hfill \\ ( - \Delta )^{\alpha _2 } u_2 (x) = f_2 (u_1 (x)),x \in \mathbb{R}^\mathbb{N} , \hfill \\ \lim _{|x| \to \infty } u_1 (x) = \lim _{|x| \to \infty } u_2 (x) = 0 \hfill \\ \end{gathered} \right. $ where N ≥ 2 and α ₁, α ₂ ∈ (0, 1). We prove symmetry properties by the method of moving planes.     

Multiple periodic solutions of a superlinear forced wave equation

We study the existence of forced vibrations of nonlinear wave equation: (*) $$\begin{array}{*{20}c} {u_{tt} - u_{xx} + g(u) = f(x,t),} & {(x,t) \in (0,\pi ) \times R,} \\ {\begin{array}{*{20}c} {u(0,t) = u(\pi ,t) = 0,} \\ {u(x,t + 2\pi ) = u(x,t),} \\ \end{array} } & {\begin{array}{*{20}c} {t \in R,} \\ {(x,t) \in (0,\pi ) \times R,} \\ \end{array} } \\ \end{array}$$ whereg(ξ)∈C(R,R)is a function with superlinear growth and f(x, t) is a function which is 2π-periodic in t. Under the suitable growth condition on g(ξ), we prove the existence of infinitely many solution of (*) for any given f(x, t).     

Bang-bang property for Bolza problems in two dimensions

Consider the following Bolza problem: $$\begin{gathered} \min \int {h(x,u) dt,} \hfill \\ \dot x = F(x) + uG(x), \hfill \\ \left| u \right| \leqslant 1, x \in \Omega \subset \mathbb{R}^2 , \hfill \\ x(0) = x_0 , x(1) = x_1 . \hfill \\ \end{gathered} $$ We show that, under suitable assumptions onF, G, h, all optimal trajectories are bang-bang. The proof relies on a geometrical approach that works for every smooth two-dimensional manifold. As a corollary, we obtain existence results for nonconvex optimization problems.     

Criterion of polynomial increase of a function and its derivatives

ДОкАжАНО, ЧтО Дль тОгО, ЧтОБы Дльr РАж ДИФФЕРЕНцИРУЕМОИ НА пРОМЕжУткЕ [А, + ∞) ФУНкцИИf сУЩЕстВОВА л тАкОИ МНОгОЧлЕН (1) $$P(x) = \mathop \Sigma \limits_{\kappa = 0}^{r - 1} a_k x^k ,$$ , ЧтО (2) $$\mathop {\lim }\limits_{x \to + \infty } (f(x) - P(x))^{(k)} = 0,k = 0,1,...,r - 1,$$ , НЕОБхОДИМО И ДОстАтО ЧНО, ЧтОБы схОДИлсь ИН тЕгРАл (3) $$\int\limits_a^{ + \infty } {dt_1 } \int\limits_{t_1 }^{ + \infty } {dt_2 ...} \int\limits_{t_{r - 1} }^{ + \infty } {f^{(r)} (t)dt.}$$ ЕслИ ЁтОт ИНтЕгРАл сх ОДИтсь, тО Дль кОЁФФИц ИЕНтОВ МНОгОЧлЕНА (1) ИМЕУт МЕс тО ФОРМУлы $$\begin{gathered} a_{r - m} = \frac{1}{{(r - m)!}}\left( {\mathop \Sigma \limits_{j = 1}^m \frac{{( - 1)^{m - j} f^{(r - j)} (x_0 )}}{{(m - j)!}}} \right.x_0^{m - j} + \hfill \\ + ( - 1)^{m - 1} \left. {\mathop \Sigma \limits_{l = 0}^{m - 1} \frac{{x_0^l }}{{l!}}\int\limits_a^{ + \infty } {dt_1 } \int\limits_{t_1 }^{ + \infty } {dt_2 ...} \int\limits_{t_{m - l - 1} }^{ + \infty } {f^{(r)} (t_{m - 1} )dt_{m - 1} } } \right),m = 1,2,...,r. \hfill \\ \end{gathered}$$ ДОстАтОЧНыМ, НО НЕ НЕОБхОДИМыМ Усл ОВИЕМ схОДИМОстИ кРА тНОгО ИНтЕгРАлА (3) ьВльЕтсь схОДИМОсть ИНтЕгРАл А \(\int\limits_a^{ + \infty } {x^{r - 1} f^{(r)} (x)dx}\)      

On semilinear dissipative systems of equations with a small parameter that arise in solution of the Navier-Stokes equations,equation of motion of the Oldroyd fluids,and equations of motion of the Kelvin-Voight fluids

Solutions of the two-dimensional initial boundary-value problem for the Navier-Stokes equations are approximated by solutions of the initial boundary-value problem 9 $$\begin{array}{*{20}c} {\frac{{\partial v}}{{\partial t}}^\varepsilon - v\Delta v^\varepsilon + v_k^\varepsilon v_{x_k }^\varepsilon + \frac{1}{2}v^\varepsilon div v^\varepsilon - \frac{1}{\varepsilon }grad div w^\varepsilon = f_1 ,} \\ {\frac{{\partial w^\varepsilon }}{{\partial t}} + \alpha w^\varepsilon = v^\varepsilon ,} \\ \end{array} $$ 10 $$v^\varepsilon \left| {_{t = 0} = v_0^\varepsilon (x), w^\varepsilon } \right|_{t = 0} = 0, x \in \Omega , v^\varepsilon \left| {_{\partial \Omega } = w^\varepsilon } \right|_{\partial \Omega } = 0, t \in \mathbb{R}^ + $$ . We study the proximity of the solutions of these problems in suitable norms and also the proximity of their minimal global B-attractors. Similar results are valid for two-dimensional equations of motion of the Oldroyd fluids (see Eqs. (38) and (41)) and for three-dimensional equations of motion of the Kelvin-Voight fluids (see Eqs. (39) and (43)). Bibliography: 17 titles.     

Heat equation with a singular potential on the boundary and the Kato inequality

This paper is concerned with the heat equation in the half-space ? ₊ ^N with the singular potential function on the boundary, (P) $\left\{ \begin{gathered} \frac{\partial } {{\partial t}}u - \Delta u = 0\operatorname{in} \mathbb{R}_ + ^N \times (0,T), \hfill \\ \frac{\partial } {{\partial x_N }}u + \frac{\omega } {{|x|}}u = 0on\partial \mathbb{R}_ + ^N \times (0,T), \hfill \\ u(x,0) = u_0 (x) \geqslant ()0in\mathbb{R}_ + ^N , \hfill \\ \end{gathered} \right. $ where N ?? 3, ?? > 0, 0 < T ?? ??, and u ₀ ?? C ₀(? ₊ ^N ). We prove the existence of a threshold number ?? _N for the existence and the nonexistence of positive solutions of (P), which is characterized as the best constant of the Kato inequality in ? ₊ ^N .     

Bifurcations of a parametrized family of boundary value problems for second order differential inclusions

We study the existence of non-trivial solutions of the following family of differential inclusions of second order (S) $$\left\{ \begin{gathered} y''(t) \in F(p, t, y(t), y'(t)) t \in [0,a] , \hfill \\ (y(0), y'(0), y(a), y'(a)) \in b(p) , \hfill \\ \end{gathered} \right.$$ where \(F:P \times [0,a] \times \mathbb{R}^n \times \mathbb{R}^n \to 2^{\mathbb{R}^n } \) is a Carathéodory multifunction with non-empty compact convex values and b: P→G_2n(?⁴ⁿ) is a continuous map from a CW-complex P to the Grassmann manifold G_2n(?⁴ⁿ). We show that if (X,A) is a finite CW-pair in P, A contractible in X, b: (X, A)→(G_2n(?⁴ⁿ), pt) is such that and F satisfies the Nagumo growth conditions at some point p₀ ε X, then the system (S) has a bifurcation from infinity in X; i.e. there exists a sequence of non-trivial solutions of S whose norms in the space C¹ tend to infinity.     

Multiplicity and concentration of positive solutions for the Schr?dinger�CPoisson equations

This paper is concerned with the multiplicity and concentration of positive solutions for the nonlinear Schr?dinger?CPoisson equations $$ \left\{ \begin{array}{l@{\quad}l} -\varepsilon^2\triangle u+V(x)u+\phi(x) u=f(u)& {\rm in}\,{\mathbb R}^3, \\ -\varepsilon^2\triangle \phi=u^2 & {\rm in}\,{\mathbb R}^3, \\ u\in H^1({\mathbb R}^3), u(x) > 0,& \forall x\in{\mathbb R}^3, \\ \end{array} \right. $$ where ???>?0 is a parameter, ${V: {\mathbb R}^3\rightarrow{\mathbb R}}$ is a continuous function and ${f: {\mathbb R}\rightarrow {\mathbb R}}$ is a C ¹ function having subcritical growth. The proof of the main result is based on minimax theorems and the Ljusternik?CSchnirelmann theory.     

A Tauberian theorem for ℓ-adic sheaves on \mathbb{A} 1

Let K ∈ L ¹(?) and let f ∈ L ^∞(?) be two functions on ?. The convolution $$ \left( {K*F} \right)\left( x \right) = \int_\mathbb{R} {K\left( {x - y} \right)f\left( y \right)dy} $$ can be considered as an average of f with weight defined by K. Wiener’s Tauberian theorem says that under suitable conditions, if $$ \mathop {\lim }\limits_{x \to \infty } \left( {K*F} \right)\left( x \right) = \mathop {\lim }\limits_{x \to \infty } \int_\mathbb{R} {\left( {K*A} \right)\left( x \right)} $$ for some constant A, then $$ \mathop {\lim }\limits_{x \to \infty } f\left( x \right) = A $$ We prove the following ?-adic analogue of this theorem: Suppose K, F, G are perverse ?-adic sheaves on the affine line $ \mathbb{A} $ over an algebraically closed field of characteristic p (p ≠ ?). Under suitable conditions, if $ \left( {K*F} \right)|_{\eta _\infty } \cong \left( {K*G} \right)|_{\eta _\infty } $ , then $ F|_{\eta _\infty } \cong G|_{\eta _\infty } $ , where η _∞ is the spectrum of the local field of $ \mathbb{A} $ at ∞.     

Eigenvalues of the Dirac operator in the continuous spectrum

Functionsp(x) andq(x) for which the Dirac operator $$Dy = \left( {\begin{array}{*{20}c} {\begin{array}{*{20}c} 0 \\ { - 1} \\ \end{array} } & {\begin{array}{*{20}c} 1 \\ 0 \\ \end{array} } \\ \end{array} } \right)\frac{{dy}}{{dx}} + \left( {\begin{array}{*{20}c} {p(x) q(x)} \\ {q(x) - p(x)} \\ \end{array} } \right)y = \lambda y, y = \left( {\begin{array}{*{20}c} {y_1 } \\ {y_2 } \\ \end{array} } \right), y_1 (0) = 0,$$ has a countable number of eigenvalues in the continuous spectrum are constructed.     

Multilinear Singular Integrals with Rough Kernel

For a class of multilinear singular integral operators T _A ,

Decay estimates for nonlinear nonlocal diffusion problems in the whole space

In this paper, we obtain bounds for the decay rate in the L ^r (? ^d )-norm for the solutions of a nonlocal and nonlinear evolution equation, namely, $$u_t \left( {x,t} \right) = \int_{\mathbb{R}^d } {K\left( {x,y} \right)\left| {u\left( {y,t} \right) - u\left( {x,t} \right)} \right|^{p - 2} \left( {u\left( {y,t} \right) - u\left( {x,t} \right)} \right)dy, x \in \mathbb{R}^d , t > 0.}$$ . We consider a kernel of the form K(x, y) = ψ(y?a(x)) + ψ(x?a(y)), where ψ is a bounded, nonnegative function supported in the unit ball and a is a linear function a(x) = Ax. To obtain the decay rates, we derive lower and upper bounds for the first eigenvalue of a nonlocal diffusion operator of the form $$T\left( u \right) = - \int_{\mathbb{R}^d } {K\left( {x,y} \right)\left| {u\left( y \right) - u\left( x \right)} \right|^{p - 2} \left( {u\left( y \right) - u\left( x \right)} \right)dy, 1 \leqslant p < \infty .}$$ . The upper and lower bounds that we obtain are sharp and provide an explicit expression for the first eigenvalue in the whole space ? ^d : $$\lambda _{1,p} \left( {\mathbb{R}^d } \right) = 2\left( {\int_{\mathbb{R}^d } {\psi \left( z \right)dz} } \right)\left| {\frac{1} {{\left| {\det A} \right|^{1/p} }} - 1} \right|^p .$$ Moreover, we deal with the p = ∞ eigenvalue problem, studying the limit of λ _1,p ^1/p as p→∞.     

On the Lebesgue summability of regularly convergent double trigonometric series

We recall that the Lebesgue summability of the double trigonometric series (*) $$\sum\limits_{m \in \mathbb{Z}} {\sum\limits_{m \in \mathbb{Z}} {c_{m,n} e^{i(mx + ny)} } }$$ is defined in terms of the symmetric differentiability of its formally integrated series with respect to both variables. Under conditions weaker than the known ones in the literature, in this paper we prove that if the series (*) converges regularly at a point (x, y) to the sum s, then it is also Lebesgue summable at (x, y) to s (cf. the conditions (2.6) and ((2.7) in the known Theorem 1 and the conditions (3.1) and (3.2) in our new Theorem 2). This also demonstrates the superiority of the notion of regular convergence over the notion of convergence in Pringsheim’s sense of double series of numbers (see other examples in [5]).     

Über verallgemeinerte Momente additiver Funktionen

In this paper we give characterizations of additive functionsf, for which $$\mathop {\lim \sup }\limits_{x \to \infty } x^{ - 1} \sum\limits_{n \leqslant x} {\varphi (|f(n)|)}$$ is bounded, where φ: ?⁺ → ?⁺ is monotone and or $$\begin{array}{*{20}c} {\varphi (x) = c^x } & {(x \in \mathbb{R}).} \\ \end{array}$$ A typical example is φ (x)=x ^a (a>0) forx≥0.     

On the convergence to infinity of Fourier series along dense subsequences of numbers

В статье доказываетс я Теорема.Какова бы ни была возрастающая последовательность натуральных чисел {H _k } _{k = 1} ^∞ c $$\mathop {\lim }\limits_{k \to \infty } \frac{{H_k }}{k} = + \infty$$ , существует функцияf∈L(0, 2π) такая, что для почт и всех x∈(0, 2π) можно найти возраст ающую последовательность номеров {n_k(x)} _k=1 ^∞ ,удовлетворяющую усл овиям 1) $$n_k (x) \leqq H_k , k = 1,2, ...,$$ 2) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t} (x)} (x,f) = + \infty ,$$ 3) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t - 1} (x)} (x,f) = - \infty$$ .     

Regularity results for a class of obstacle problems in Heisenberg groups

We study regularity results for solutions u ∈ HW ^1,p (Ω) to the obstacle problem $$\int_\Omega \mathcal{A} \left( {x,\nabla _{\mathbb{H}^u } } \right)\nabla _\mathbb{H} \left( {v - u} \right)dx \geqslant 0 \forall v \in \mathcal{K}_{\psi ,u} \left( \Omega \right)$$ such that u ? ψ a.e. in Ω, where $xxx$ , in Heisenberg groups ? ⁿ . In particular, we obtain weak differentiability in the T-direction and horizontal estimates of Calderon-Zygmund type, i.e. $$\begin{gathered} T\psi \in HW_{loc}^{1,p} \left( \Omega \right) \Rightarrow Tu \in L_{loc}^p \left( \Omega \right), \hfill \\ \left| {\nabla _{\mathbb{H}\psi } } \right|^p \in L_{loc}^q \left( \Omega \right) \Rightarrow \left| {\nabla _{\mathbb{H}^u } } \right|^p \in L_{loc}^q \left( \Omega \right), \hfill \\ \end{gathered}$$ where 2 < p < 4, q > 1.     

An Inverse Spectral Problem for a Nonsymmetric Differential Operator: Uniqueness and Reconstruction Formula

We consider an eigenvalue problem for a system on [0, 1]: $$\left\{ {\begin{array}{*{20}l} {\left[ {\left( {\begin{array}{*{20}c} 0 & 1 \\ 1 & 0 \\ \end{array} } \right)\frac{{\text{d}}} {{{\text{d}}x}} + \left( {\begin{array}{*{20}c} {p_{11} (x)} & {p_{12} (x)} \\ {p_{21} (x)} & {p_{22} (x)} \\ \end{array} } \right)} \right]\left( {\begin{array}{*{20}c} {\varphi ^{(1)} (x)} \\ {\varphi ^{(2)} (x)} \\ \end{array} } \right) = \lambda \left( {\begin{array}{*{20}c} {\varphi ^{(1)} (x)} \\ {\varphi ^{(1)} (x)} \\ \end{array} } \right)} \\ {\varphi ^{(2)} (0)\cosh \mu - \varphi ^{(1)} (0)\sinh \mu = \varphi ^{(2)} (1)\cosh \nu + \varphi ^{(1)} (1)\sinh \nu = 0} \\ \end{array} } \right.$$ with constants $$\mu ,\nu \in \mathbb{C}.$$ Under the assumption that p₂₁, p₂₂ are known, we prove a uniqueness theorem and provide a reconstruction formula for p₁₁ and p₁₂ from the spectral characteristics consisting of one spectrum and the associated norming constants.