On ordered-covering mappings and implicit differential inequalities

We define the set of ordered covering of a mapping that acts in partially ordered spaces; we suggest a method for finding the set of ordered covering of vector functions of several variables and the Nemytskii operator acting in Lebesgue spaces. We prove assertions on operator inequalities in arbitrary partially ordered spaces. We obtain conditions that use a set of ordered covering of the corresponding mapping and ensure that the existence of an element u such that f(u) ≥ y implies the solvability of the equation f(x) = y and the estimate x ≤ u for its solution. We study the problem on the existence of the minimal and least solutions. These results are used for the analysis of an implicit differential equation. For the Cauchy problem, we prove a theorem on an inequality of the Chaplygin type.     

Existence of Semilinear Differential Equations with Nonlocal Initial Conditions

In this paper we give the existence of mild solutions for semilinear Cauchy problems u′（t） = Au（t） ＋f（t, u（t））, t ∈ I, a.e. with nonlocal initial condition u（O） = g（u） ＋uo when the map g loses compactness in Banach spaces.     

Convergence of ground state solutions for nonlinear Schrdinger equations on graphs

We consider the nonlinear Schr¨odinger equation-?u +(λa(x) + 1)u = |u|~(p-1) u on a locally finite graph G =(V, E). We prove via the Nehari method that if a(x) satisfies certain assumptions, for any λ 1, the equation admits a ground state solution uλ. Moreover, as λ→∞, the solution uλconverges to a solution of the Dirichlet problem-?u + u = |u|~(p-1) u which is defined on the potential well ?. We also provide a numerical experiment which solves the equation on a finite graph to illustrate our results.     

New characterizations for weighted composition operator from Zygmund type spaces to Bloch type spaces

Let u be a holomorphic function and φ a holomorphic self-map of the open unit disk \(\mathbb{D}\) in the complex plane. We provide new characterizations for the boundedness of the weighted composition operators uC _φ from Zygmund type spaces to Bloch type spaces in \(\mathbb{D}\) in terms of u, φ, their derivatives, and φ ⁿ , the n-th power of φ. Moreover, we obtain some similar estimates for the essential norms of the operators uC _φ , from which sufficient and necessary conditions of compactness of uC _φ follows immediately.     

On calibrated and separating sub-actions

We consider a one-sided transitive subshift of finite type σ: Σ → Σ and a Hölder observable A. In the ergodic optimization model, one is interested in properties of A-minimizing probability measures. If ā denotes the minimizing ergodic value of A, a sub-action u for A is by definition a continuous function such that A ≥ u ○ σ ? u + ā. We call contact locus of u with respect to A the subset of Σ where A = u ○ σ ? u + ā. A calibrated sub-action u gives the possibility to construct, for any point x ε Σ, backward orbits in the contact locus of u. In the opposite direction, a separating sub-action gives the smallest contact locus of A, that we call Ω(A), the set of non-wandering points with respect to A.We prove that separating sub-actions are generic among Hölder sub-actions. We also prove that, under certain conditions on Ω(A), any calibrated sub-action is of the form u(x) = u(x _i ) + h _A (x _i , x) for some x _i ∈ Ω(A), where h _A (x, y) denotes the Peierls barrier of A. We present the proofs in the holonomic optimization model, a formalism which allows to take into account a two-sided transitive subshift of finite type \((\hat \Sigma , \hat \sigma )\).     

Nonexistence of solutions of the dirichlet problem for some quasilinear elliptic equations in a half-space

We prove the monotonicity of nonnegative bounded solutions of the Dirichlet problem for the quasilinear elliptic equation ?Δ_pu = f(u), p ≥ 3, in a half-space. This assertion implies new results on the nonexistence of solutions for the case in which f(u) = u^q with appropriate values of q.     

The defocusing energy-supercritical NLS in higher dimensions

We consider the defocusing nonlinear Schr?dinger equations iu_t +△u =|u|~(p_u) with p being an even integer in dimensions d≥ 5. We prove that an a priori bound of critical norm implies global well-posedness and scattering for the solution.     

Some specific unboundedness property in smoothness Morrey spaces. The non-existence of growth envelopes in the subcritical case

We study smoothness spaces of Morrey type on Rn and characterise in detail those situations when such spaces of type A_(p,q)~(s,r)(R~n) or A_(u,p,q)~s(R~n) are not embedded into L_(∞)(R~n).We can show that in the so-called sub-critical,proper Morrey case their growth envelope function is always infinite which is a much stronger assertion.The same applies for the Morrey spaces M_(u,p)(R~m) with p u.This is the first result in this direction and essentially contributes to a better understanding of the structure of the above spaces.     

Criterion for the Solvability of the Weighted Cauchy Problem for an Abstract Euler–Poisson–Darboux Equation

In a Banach space E, we consider the abstract Euler–Poisson–Darboux equation u″(t) + kt^?1u′(t) = Au(t) on the half-line. (Here k ∈ ? is a parameter, and A is a closed linear operator with dense domain on E.) We obtain a necessary and sufficient condition for the solvability of the Cauchy problem u(0) = 0, lim _t→0+t ^k u′(t) = u₁, k < 0, for this equation. The condition is stated in terms of an estimate for the norms of the fractional power of the resolvent of A and its derivatives. We introduce the operator Bessel function with negative index and study its properties.     

An indefinite concave-convex equation under a Neumann boundary condition I

We investigate the problem (P _λ) ?Δu = λb(x)|u| ^q?2 u + a(x)|u| ^p?2 u in Ω, ?u/?n = 0 on ?Ω, where Ω is a bounded smooth domain in R ^N (N ≥ 2), 1 < q < 2 < p, λ ∈ R, and a, b ∈ \({C^\alpha }\left( {\overline \Omega } \right)\) with 0 < α < 1. Under certain indefinite type conditions on a and b, we prove the existence of two nontrivial nonnegative solutions for small |λ|. We then characterize the asymptotic profiles of these solutions as λ → 0, which in some cases implies the positivity and ordering of these solutions. In addition, this asymptotic analysis suggests the existence of a loop type component in the non-negative solutions set. We prove the existence of such a component in certain cases, via a bifurcation and a topological analysis of a regularized version of (P _λ).     

Minimum implicit degree condition restricted to claws for hamiltonian cycles

Let id(v) denote the implicit degree of a vertex v in a graph G. We define G to be implicit 1-heavy (implicit 2-heavy) if at least one (two) of the end vertices of each induced claw has (have) implicit degree at least n/2. In this paper, we prove that: (a) Let G be a 2-connected graph of order n ≥ 3. If G is implicit 2-heavy and |N(u) ∩ N(v)| ≥ 2 for every pair of vertices u and v with d(u, v) = 2 and max{id(u), id(v)} < n/2, then G is hamiltonian. (b) Let G be a 3-connected graph of order n ≥ 3. If G is implicit 1-heavy and |N(u) ∩ N(v)| ≥ 2 for each pair of vertices u and v with d(u, v) = 2 and max{id(u), id(v)} < n/2, then G is hamiltonian.     

Factorization of the reaction-diffusion equation,the wave equation,and other equations

We investigate equations of the form D _t u = Δu + ξ? _u for an unknown function u(t, x), t ∈ ?, x ∈ X, where D _t u = a ₀(u, t) + Σ _k=1 ^r a _k (t, u)? _t ^k u, Δ is the Laplace-Beltrami operator on a Riemannian manifold X, and ξ is a smooth vector field on X. More exactly, we study morphisms from this equation within the category PDE of partial differential equations, which was introduced by the author earlier. We restrict ourselves to morphisms of a special form—the so-called geometric morphisms, which are given by maps of X to other smooth manifolds (of the same or smaller dimension). It is shown that a map f: X → Y defines a morphism from the equation D _t u = Δu + ξ? _u if and only if, for some vector field Ξ and a metric on Y, the equality (Δ + ξ?)f*v = f*(Δ + Ξ?)v holds for any smooth function v: Y → ?. In this case, the quotient equation is D _t v = Δv + Ξ?v for an unknown function v(t, y), y ∈ Y. It is also shown that, if a map f: X → Y is a locally trivial bundle, then f defines a morphism from the equation D _t u = Δu if and only if fibers of f are parallel and, for any path γ on Y, the expansion factor of a fiber translated along the horizontal lift γ to X depends on γ only.     

Coverings over lax integrable equations and their nonlocal symmetries

We consider the three-dimensional rdDym equation u_ty = u_xu_xy ?u_yu_xx. Using the known Lax representation with a nonremovable parameter and two hierarchies of nonlocal conservation laws associated with it, we describe the algebras of nonlocal symmetries in the corresponding coverings.     

Unique solvability of the stationary Fokker-Planck equation in a class of positive functions

We study the stationary Focker-Planck equation Δu ? div(u f) = 0 with a given vector field f of the class C ₀ ^∞ (R ⁿ ) on the basis of a fixed point principle that generalizes the contraction mapping method. Next, we introduce a parameter in the equation and prove the unique solvability of the equation Δu ? div(uγ f) = 0 with the parameter in the class of positive slowly increasing functions. We reveal the analytic dependence of the positive solution u on the parameter γ. Pointwise estimates for positive solutions are proved.     

On the equiconvergence rate of trigonometric series expansions and eigenfunction expansions for the Sturm-Liouville operator with a distributional potential

We study the Sturm-Liouville operator L = ?d ²/dx ² + q(x) in the space L ₂[0, π] with the Dirichlet boundary conditions. We assume that the potential has the form q(x) = u′(x), u ∈ W ₂ ^θ [0, π], 0 < θ < 1/2. We consider the problem on the uniform (on the entire interval [0, π]) equiconvergence of the expansion of a function f(x) in a series in the system of root functions of the operator L with its Fourier expansion in the system of sines. We show that if the antiderivative u(x) of the potential belongs to any of the spaces W ₂ ^θ [0, π], 0 < θ < 1/2, then the equiconvergence rate can be estimated uniformly over the ball u(x) ∈ B _R = {v(x) ∈ W ₂ ^θ [0, π] | ∥v∥_{W 2} ^θ ≤ R} for any function f(x) ∈ L ₂[0, π].     

The one dimensional parabolic <Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">x</Emphasis>)-Laplace equation

The Dirichlet problem for the degenerate and singular parabolic p(x)-Laplace equation with one spatial variable is considered. We prove the existence of the unique weak solution such that the derivatives u _t and u _x of a solution u belong to \({L_{\infty}}\). Moreover for the singular case we prove the existence of the strong solution i.e. such that u _t , u _x and u _xx belong to \({L_{\infty}}\).     

Spatially nonlocal problems with integral conditions for third-order differential equations

We obtain sufficient conditions for the existence of regular solutions of some nonlocal problems for the equation u _ttt + u _xx + μu = f(x, t) with conditions containing integrals with respect to the spatial variable.     

Elliptic function of level 4

The article is devoted to the theory of elliptic functions of level n. An elliptic function of level n determines a Hirzebruch genus called an elliptic genus of level n. Elliptic functions of level n are also of interest because they are solutions of the Hirzebruch functional equations. The elliptic function of level 2 is the Jacobi elliptic sine function, which determines the famous Ochanine–Witten genus. It is the exponential of the universal formal group of the form F(u, v) = (u² ? v²)/(uB(v) ? vB(u)), B(0) = 1. The elliptic function of level 3 is the exponential of the universal formal group of the form F(u, v) = (u²A(v) ? v²A(u))/(uA(v)² ? vA(u)²), A(0) = 1, A″(0) = 0. In the present study we show that the elliptic function of level 4 is the exponential of the universal formal group of the form F(u, v) = (u²A(v) ? v²A(u))/(uB(v) ? vB(u)), where A(0) = B(0) = 1 and for B′(0) = A″(0) = 0, A′(0) = A₁, and B″(0) = 2B₂ the following relation holds: (2B(u) + 3A₁u)² = 4A(u)³ ? (3A₁² ? 8B₂)u²A(u)². To prove this result, we express the elliptic function of level 4 in terms of the Weierstrass elliptic functions.     

Asymptotic expansion of the solution of the initial value problem for a singularly perturbed ordinary differential equation

We consider the Cauchy problem for the nonlinear differential equation

$$\varepsilon \frac{{du}}{{dx}} = f(x,u),u(0,\varepsilon ) = R_0 ,$$

where ? > 0 is a small parameter, f(x, u) ∈ C ^∞ ([0, d] × ?), R ₀ > 0, and the following conditions are satisfied: f(x, u) = x ? u ^p + O(x ² + |xu| + |u|^p+1) as x, u → 0, where p ∈ ? \ {1} f(x, 0) > 0 for x > 0; f _u ²(x, u) < 0 for (x, u) ∈ [0, d] × (0, + ∞); Σ ₀ ^+∞ f _u ²(x, u) du = ?∞. We construct three asymptotic expansions (external, internal, and intermediate) and prove that the matched asymptotic expansion approximates the solution uniformly on the entire interval [0, d].

     

Solvability of Mixed Problems for the Klein–Gordon–Fock Equation in the Class <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> for <Emphasis Type="Italic">p</Emphasis> ≥ 1

We prove that the mixed problem for the Klein–Gordon–Fock equation u _tt (x, t) ? u _xx (x, t) + au(x, t) = 0, where a ≥ 0, in the rectangle Q _T = [0 ≤ x ≤ l] × [0 ≤ t ≤ T] with zero initial conditions and with the boundary conditions u(0, t) = μ(t) ∈ L _p [0, T ], u(l, t) = 0, has a unique generalized solution u(x, t) in the class L _p (Q _T ) for p ≥ 1. We construct the solution in explicit analytic form.