Properties of the <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-smooth functions with nowhere dense gradient range

One of the main results of the present article is as follows Theorem. Let v: Ω → ? be a C¹-smooth function on a domain Ω ? ?². Suppose that Int?v(Ω) = ?. Then, for every point z ∈ Ω, there is a straight line L ? z such that ?v ≡ const on the connected component of the set L ? Ω containing z.Also, we prove that, under the conditions of the theorem, the range of the gradient ?v(Ω) is locally a curve and this curve has tangents in the weak sense and the direction of these tangents is a function of bounded variation.     

Asymptotic behavior of the solution of a nonlinear integro-differential diffusion equation

We study the asymptotic behavior as t → ∞ of the solution of the initial-boundary value problem for the nonlinear integro-differential equation

$$\frac{{\partial U}}{{\partial t}} = \frac{\partial }{{\partial x}}\left[ {a\left( {\mathop \smallint \limits_0^t \left( {\frac{{\partial U}}{{\partial x}}} \right)^2 d\tau } \right)\frac{{\partial U}}{{\partial x}}} \right],$$

where a(S) = (1 + S) ^p , 0 < p ≤ 1. We consider problems with homogeneous boundary conditions as well as with a nonhomogeneous boundary condition on part of the boundary. The orders of convergence are established.

     

An example of a <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-smooth function whose gradient range is an arc with no tangent at any point

We construct an example of a C ¹-smooth real function of two variables whose gradient range is an arc with no tangent at any point.     

The strong <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-<Emphasis Type="Italic">greedy</Emphasis> property of the Walsh system

For any 0 < ? < 1 one can find a measurable set E ? [0, 1] with the measure |E| > 1 ? ? such that for each function f(x) ε L ¹ (0, 1) a function g(x) ε L ¹ (0, 1) exists such that it coincides with f (x) on E, its Fourier—Walsh series converges to it in the metric of L ¹ (0, 1), and all nonzero terms of the sequence of Fourier coefficients of the new function obtained by the Walsh system have the modulo decreasing order; consequently, the greedy algorithm for this function converges to it in the L ¹ (0, 1)-norm.     

<Emphasis Type="Italic">tt</Emphasis><Superscript>*</Superscript>-Geometry and Pluriharmonic Maps

In this paper we use the real differential geometric definition of a metric (a unimodular oriented metric) tt^*-bundle of Cortés and the author (Topological-anti-topological fusion equations, pluriharmonic maps and special Kähler manifolds) to define a map Φ from the space of metric (unimodular oriented metric) tt^*-bundles of rank r over a complex manifold M to the space of pluriharmonic maps from M to {GL}(r)/O(p,q) (respectively {SL}(r)/SO(p,q)), where (p,q) is the signature of the metric. In the sequel the image of the map Φ is characterized. It follows, that in signature (r,0) the image of Φ is the whole space of pluriharmonic maps. This generalizes a result of Dubrovin (Comm. Math. Phys. 152 (1992; S539–S564).     

Divergent solutions to the <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-supercritical NLS equations

We investigate the nonlinear Schrödinger equation iu _t +Δu+|u| ^p?1 u = 0with 1+ 4/N < p < 1+ 4/N?2 (when N = 1, 2, 1 + 4/N < p < ∞) in energy space H ¹ and study the divergent property of infinite-variance and nonradial solutions. If \(M{\left( u \right)^{\frac{{1 - {s_C}}}{{{s_C}}}}}E\left( u \right) \prec M{\left( Q \right)^{\frac{{1 - {s_C}}}{{{s_C}}}}}E\left( Q \right)\) and \(\left\| {{u_0}} \right\|_2^{\frac{{1 - {s_c}}}{{{s_c}}}}\left\| {\nabla {u_0}} \right\|_2^{\frac{{1 - {s_c}}}{{{s_c}}}}{\left\| {\nabla Q} \right\|_2}\), then either u(t) blows up in finite forward time or u(t) exists globally for positive time and there exists a time sequence t _n → +∞ such that \({\left\| {\nabla u\left( {{t_n}} \right)} \right\|_2} \to + \infty \). Here Q is the ground state solution of ?(1?s _c )Q+ΔQ+Q ^p?1 Q = 0. A similar result holds for negative time. This extend the result of the 3D cubic Schrödinger equation obtained by Holmer to the general mass-supercritical and energy-subcritical case.     

Construction of characteristic functions for the system of Navier-Stokes-Voigt equations and the BBM equation

For the system of Navier-Stokes-Voigt equations $$\frac{{\partial \vec v}}{{\partial t}} - v\Delta \vec v - \aleph \frac{{\partial \Delta \vec v}}{{\partial t}} + v_\kappa \frac{{\partial \Delta \vec v}}{{\partial x_\kappa }} + grad \rho = 0, div \vec v = 0$$ and the BBM equation $$\frac{{\partial v}}{{\partial t}} + v\frac{{\partial \Delta v}}{{\partial x}} - \frac{{\partial ^3 v}}{{\partial t\partial x^2 }} = 0$$ characteristic functions \(\mathcal{F}\left( {\vec \theta ;t} \right)\) of the measure μ_t(ω)=μ(V _?1 ^t (ω)), describing the evolution in time of the probability measure μ(ω) defined on the set of initial conditions for the first initial boundary-value problem for system (1) or Eq. (2) are constructed and investigated. It is shown that the characteristic functions \(\mathcal{F}\left( {\vec \theta ;t} \right)\) constructed satisfy partial differential equations with an infinite number of independent variables (t; θ₁,θ₂,...) [the statistical equations of E. Hopf for the system (1) or Eq. (2)].     

Aubry–Mather Sets for Relativistic Oscillators with Anharmonic Potentials

In this paper, by the Aubry–Mather theory, it is proved that there are many periodic solutions and usual or generalized quasiperiodic solutions for relativistic oscillator with anharmonic potentials models d/dt(x/(1-|x|~2~(1/2))+ |x|~(α-1)x=p(t),where p(t) ∈ C~0(R~1) is 1-periodic and α 0.     

Difference scheme for the Samarskii-Ionkin problem with a parameter

We consider a weighted difference scheme approximating the heat equation with the nonlocal boundary conditions

$$u(0,t) = 0, \frac{{\partial u}}{{\partial x}}(0,t) + \frac{{\partial u}}{{\partial x}}(1,t) = 0$$

. We show that in this case the system of eigenfunctions of the main difference operator is not a basis but can be supplemented with associated functions to form a basis. Using the method of expansions in the basis of eigenfunctions and associated functions, we find a necessary and sufficient condition for stability with respect to the initial data in some energy norm. We show that this stability condition cannot be weakened by choosing a different norm. The above-mentioned energy norm is shown to be equivalent to the grid L ₂-norm.

     

<Emphasis Type="Italic">L</Emphasis>-Approximation of a linear combination of the poisson kernel and its conjugate kernel by trigonometric polynomials

A linear combination Π _q,α = cos(απ/2)P + sin(απ/2)Q of the Poisson kernel P(t) = 1/2 + q cos t + q ² cos 2t + ... and its conjugate kernel Q(t) = q sin t + q ² sin 2t + ... is considered for α ∈ ? and |q| < 1. A new explicit formula is found for the value E _n?1(Π _q,α ) of the best approximation in the space L = L _2π of the function Π _q,α by the subspace of trigonometric polynomials of order at most n ? 1. More exactly, it is proved that \(E_{n - 1} \left( {\prod _{q,\alpha } } \right) = \left. {\frac{{\left| q \right|^n \left( {1 - q^2 } \right)}}{{1 - q^{4n} }}} \right\|\left. {\frac{{\cos \left( {nt - {{\alpha \pi } \mathord{\left/ {\vphantom {{\alpha \pi } 2}} \right. \kern-\nulldelimiterspace} 2}} \right) - q^{2n} \cos \left( {nt + {{\alpha \pi } \mathord{\left/ {\vphantom {{\alpha \pi } 2}} \right. \kern-\nulldelimiterspace} 2}} \right)}}{{1 - q^2 - 2q \cos t}}} \right\|_L\). In addition, the value E _n?1(Π _q,α ) is represented as a rapidly convergent series.     

Generalized <Emphasis Type="Italic">n</Emphasis>-Laplacian: boundedness of weak solutions to the Dirichlet problem with nonlinearity in the critical growth range

Let n ≥ 2 and let Ω ? ? ⁿ be an open set. We prove the boundedness of weak solutions to the problem

$$u \in W_0^1 L^\Phi \left( \Omega \right) and - div\left( {\Phi '\left( {\left| {\nabla u} \right|} \right)\frac{{\nabla u}}{{\left| {\nabla u} \right|}}} \right) + V\left( x \right)\Phi '\left( {\left| u \right|} \right)\frac{u}{{\left| u \right|}} = f\left( {x,u} \right) + \mu h\left( x \right) in \Omega ,$$

where ? is a Young function such that the space W ₀ ¹ L ^Φ(Ω) is embedded into an exponential or multiple exponential Orlicz space, the nonlinearity f(x, t) has the corresponding critical growth, V(x) is a continuous potential, h ∈ L ^Φ(Ω) is a non-trivial continuous function and µ ≥ 0 is a small parameter. We consider two classical cases: the case of Ω being an open bounded set and the case of Ω = ? ⁿ .

     

A REALIZATION OF CERTAIN MODULES FOR THE <Emphasis Type="Italic">N</Emphasis> = 4 SUPERCONFORMAL ALGEBRA AND THE AFFINE LIE ALGEBRA <Emphasis Type="Italic">A</Emphasis><Stack><Subscript>2</Subscript><Superscript>(1)</Superscript></Stack>

We shall first present an explicit realization of the simple N = 4 superconformal vertex algebra L _c ^N?=?4 with central charge c = ?9. This vertex superalgebra is realized inside of the bcβγ system and contains a subalgebra isomorphic to the simple affine vertex algebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). Then we construct a functor from the category of L _c ^N?=?4 -modules with c = ?9 to the category of modules for the admissible affine vertex algebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). By using this construction we construct a family of weight and logarithmic modules for L _c ^N?=?4 and L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). We also show that a coset subalgebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \) is a logarithmic extension of the W(2; 3)-algebra with c = ?10. We discuss some generalizations of our construction based on the extension of affine vertex algebra L _A1 (kΛ ₀) such that k + 2 = 1/p and p is a positive integer.     

Existence of Nonnegative Solutions for a Class of Systems Involving Fractional (p,q)-Laplacian Operators

The authors study the following Dirichlet problem of a system involving fractional (p, q)-Laplacian operators:

$$\left\{ {\begin{array}{*{20}{c}} {\left( { - \Delta } \right)_p^su = \lambda a\left( x \right){{\left| u \right|}^{p - 2}}u + \lambda b\left( x \right){{\left| u \right|}^{\alpha - 2}}{{\left| v \right|}^\beta }u + \frac{{\mu \left( x \right)}}{{\alpha \delta }}{{\left| u \right|}^{\gamma - 2}}{{\left| v \right|}^\delta }uin\Omega ,} \\ {\left( { - \Delta } \right)_q^sv = \lambda c\left( x \right){{\left| v \right|}^{q - 2}}v + \lambda b\left( x \right){{\left| u \right|}^\alpha }{{\left| v \right|}^{\beta - 2}}v + \frac{{\mu \left( x \right)}}{{\beta \gamma }}{{\left| u \right|}^\gamma }{{\left| v \right|}^{\delta - 2}}vin\Omega ,} \\ {u = v = 0on{\mathbb{R}^N}\backslash \Omega ,} \end{array}} \right.$$

where λ > 0 is a real parameter, Ω is a bounded domain in R ^N , with boundary ?Ω Lipschitz continuous, s ∈ (0, 1), 1 < p ≤ q < ∞, sq < N, while (?Δ) _p ^s u is the fractional p-Laplacian operator of u and, similarly, (?Δ) _q ^s v is the fractional q-Laplacian operator of v. Since possibly p ≠ q, the classical definitions of the Nehari manifold for systems and of the Fibering mapping are not suitable. In this paper, the authors modify these definitions to solve the Dirichlet problem above. Then, by virtue of the properties of the first eigenvalue λ₁ for a related system, they prove that there exists a positive solution for the problem when λ < λ₁ by the modified definitions. Moreover, the authors obtain the bifurcation property when λ → λ₁^-. Finally, thanks to the Picone identity, a nonexistence result is also obtained when λ ≥ λ₁.

     

Distance-Regular Shilla Graphs with <Emphasis Type="Italic">b</Emphasis><Subscript>2</Subscript> = <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript>

A Shilla graph is defined as a distance-regular graph of diameter 3 with second eigen-value θ₁ equal to a₃. For a Shilla graph, let us put a = a₃ and b = k/a. It is proved in this paper that a Shilla graph with b₂ = c₂ and noninteger eigenvalues has the following intersection array:

$$\left\{ {\frac{{{b^2}\left( {b - 1} \right)}}{2},\frac{{\left( {b - 1} \right)\left( {{b^2} - b + 2} \right)}}{2},\frac{{b\left( {b - 1} \right)}}{4};1,\frac{{b\left( {b - 1} \right)}}{4},\frac{{b{{\left( {b - 1} \right)}^2}}}{2}} \right\}$$

If Γ is a Q-polynomial Shilla graph with b₂ = c₂ and b = 2r, then the graph Γ has intersection array

$$\left\{ {2tr\left( {2r + 1} \right),\left( {2r + 1} \right)\left( {2rt + t + 1} \right),r\left( {r + t} \right);1,r\left( {r + t} \right),t\left( {4{r^2} - 1} \right)} \right\}$$

and, for any vertex u in Γ, the subgraph Γ₃(u) is an antipodal distance-regular graph with intersection array

$$\left\{ {t\left( {2r + 1} \right),\left( {2r - 1} \right)\left( {t + 1} \right),1;1,t + 1,t\left( {2r + 1} \right)} \right\}$$

The Shilla graphs with b₂ = c₂ and b = 4 are also classified in the paper.

     

Some <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Rigidity Results for Complete Manifolds with Harmonic Curvature

Let (M ⁿ , g)(n ≥ 3) be an n-dimensional complete Riemannian manifold with harmonic curvature and positive Yamabe constant. Denote by R and R m? the scalar curvature and the trace-free Riemannian curvature tensor of M, respectively. The main result of this paper states that R m? goes to zero uniformly at infinity if for \(p\geq \frac n2\), the L ^p -norm of R m? is finite. Moreover, If R is positive, then (M ⁿ , g) is compact. As applications, we prove that (M ⁿ , g) is isometric to a spherical space form if for \(p\geq \frac n2\), R is positive and the L ^p -norm of R m? is pinched in [0, C ₁), where C ₁ is an explicit positive constant depending only on n, p, R and the Yamabe constant. We give an isolation theorem of the trace-free Ricci curvature tensor of compact locally conformally flat Riemannian n-manifolds with constant positive scalar curvature, which extends Theorem 1 of Hebey and M. Vaugon (J. Geom. Anal. 6, 531–553, 1996). This result is sharp, and we can precisely characterize the case of equality. In particular, when n = 4, we recover results by Gursky (Indiana Univ. Math. J. 43, 747–774, 1994; Ann. Math. 148, 315–337, 1998).     

On stabilizability of evolution systems of partial differential equations on ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>×[0,+∞) by time-delayed feedback controlsby time-delayed feedback controls

In this work we obtain sufficient conditions for stabilizability by time-delayed feedback controls for the system

$\frac{{\partial w\left( {x,t} \right)}}{{\partial t}} = A(D_x )w(x,t) - A(D_x )u(x,t), x \in \mathbb{R}^n , t > h, $

where D _x =(-i?/?x ₁,...-i?/?x _n ), A(σ) and B(σ) are polynomial matrices (m×m), det B(σ)≡0 on ? ⁿ , w is an unknown function, u(·,t)=P(D _x )w(·,t?h) is a control, h>0. Here P is an infinite differentiable matrix (m×m), and the norm of each of its derivatives does not exceed Γ(1+|σ|²)^γ for some Γ, γ∈? depending on the order of this derivative. Necessary conditions for stabilizability of this system are also obtained. In particular, we study the stabilizability problem for the systems corresponding to the telegraph equation, the wave equation, the heat equation, the Schrödinger equation and another model equation. To obtain these results we use the Fourier transform method, the Lojasiewicz inequality and the Tarski—Seidenberg theorem and its corollaries. To choose an appropriate P and stabilize this system, we also prove some estimates of the real parts of the zeros of the quasipolynomial det {Iλ-A(σ)+B(σ)P(σ)e ^-hλ.

     

A priori estimates and continuous dependence of solutions of mixed problems for parabolic equations as nonlocal boundary conditions pass into local ones

In the rectangle G = (0, 1) × (0, T), we consider the family of problems

$$\begin{gathered} \frac{1}{{a(x,t)}}\frac{{\partial u_\alpha }}{{\partial t}} - \frac{{\partial ^2 u_\alpha }}{{\partial x^2 }} = f(x,t), u_\alpha (x,0) = \phi _\alpha (x), u_\alpha (0,t) = 0, 0 \leqslant \alpha \leqslant 1, \hfill \\ u_0 (1,t) = h(t), \frac{{\partial u_1 (1,t)}}{{\partial x}} = h(t), \frac{{u_\alpha (1,t) - u_\alpha (\alpha ,t)}}{{1 - \alpha }} = h(t), 0 < \alpha < 1, \hfill \\ a_1 \geqslant a(x,t) \geqslant a_0 > 0, h \in W_2^1 (0,T), \phi _\alpha \in W_2^1 (0,T), \phi _\alpha (0) = 0, 0 \leqslant \alpha \leqslant 1, \hfill \\ \phi _0 (1) = h(0), \phi '_1 (1) = h(0), \frac{{\phi _\alpha (1) - \phi _\alpha (0)}}{{1 - \alpha }} = h(0), 0 < \alpha < 1, f \in L_2 (G) \hfill \\ \end{gathered} $$

. It is well known that, for α = 0 and α = 1, the corresponding problems with local conditions are solvable, and the solutions are unique and belong to W ₂ ^2,1 (G).

We prove the existence and uniqueness of solutions of the family of problems with nonlocal conditions for each α ∈ (0, 1). For the differences u _α ? u ₀ and u _α ? u ₁ (0 < α < 1), we establish a priori estimates and use them to prove that if ? _α → ? ₀ as α → 0, then u _α → u ₀ and if ? _α → ? ₁ as α → 1, then u _α → u ₁.     

On the density of image of differential operators generated by polynomials

The main result of this work is the following theorem: LetE denote the ring of entire functions on C². LetP∈C[x, y]. Forf∈E, set 1 $$D_P (f) = \frac{{\partial P}}{{\partial x}}\frac{{\partial f}}{{\partial y}} - \frac{{\partial P}}{{\partial y}}\frac{{\partial f}}{{\partial x}}$$ .Theorem.The image of D _p is dense in E if and only ifP=σ(x), where σ is an automorphism of C[x, y].     

Approximation of entire functions of exponential type by exponential sums<Superscript>*</Superscript>

Let K be a compact set in \( {{\mathbb R}^n} \). For \( 1 \leqslant p \leqslant \infty \), the Bernstein space \( B_K^p \) is the Banach space of all functions \( f \in {L^p}\left( {{{\mathbb R}^n}} \right) \)such that their Fourier transform in a distributional sense is supported on K. If \( f \in B_K^p \), then f is continuous on \( {{\mathbb R}^n} \) and has an extension onto the complex space \( {{\mathbb C}^n} \) to an entire function of exponential type K. We study the approximation of functions in \( B_K^p \) by finite τ -periodic exponential sums of the form

$ \sum\limits_m {{c_m}{e^{2\pi {\text{i}}\left( {x,m} \right)/\tau }}} $

in the \( {L^p}\left( {\tau {{\left[ { - 1/2,1/2} \right]}^n}} \right) \)-norm as τ → ∞ when K is a polytope in \( {{\mathbb R}^n} \).