Group analysis of the one-dimensional Boltzmann equation: I. symmetry groups

We consider the one-dimensional Boltzmann equation f _t + cf _x + Ff _c = 0, where the functions f and F are assumed to depend on three variables t, x, and c. We obtain relations defining the symmetry algebra in the general case and also under the additional conditions of conservation of the relations dx = c dt and dc = F dt, which arise from physical considerations. We show that the widest symmetry algebra is obtained in the case of conservation of both relations. This algebra is infinite-dimensional, and its structure is independent of the form of the function F.     

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.     

Singularly perturbed two-dimensional parabolic problem in the case of intersecting roots of the reduced equation

The singularly perturbed parabolic equation ?u _t + ε²Δu ? f(u, x, ε) = 0, x ∈ D ? ?², t > 0 with Robin conditions on the boundary of D is considered. The asymptotic stability as t → ∞ and the global domain of attraction are analyzed for the stationary solution whose limit as ε → 0 is a nonsmooth solution to the reduced equation f(u, x, 0) = 0 that consists of two intersecting roots of this equation.     

Boundary value problem for one evolution equation

The aim of the paper is to investigate the boundary value problem of the evolution equation Lu = K (x,t) _ut - Δu + a (x,t) u = f (x,t). The characteristic property of this type of equations is the failure of the Petrovski’s “A” condition when coefficients are constant [1]. In this case, Cauchy problem is incorrect in the sense of Hadamard. Hence in this paper, the space, guaranteeing the correctness of the boundary value problem in the sense of Hadamard, is selected by adding some additional conditions to the coefficients of the equation.     

An integral geometry lemma and its applications: The nonlocality of the Pavlov equation and a tomographic problem with opaque parabolic objects

Written in the evolutionary form, the multidimensional integrable dispersionless equations, exactly like the soliton equations in 2+1 dimensions, become nonlocal. In particular, the Pavlov equation is brought to the form v_t = v_xv_y - ?_x^-1?_y[v_y + v_x²], where the formal integral ?_x^?1 becomes the asymmetric integral \( - \int_x^\infty {dx'} \). We show that this result could be guessed using an apparently new integral geometry lemma. It states that the integral of a sufficiently general smooth function f(X, Y) over a parabola in the plane (X, Y) can be expressed in terms of the integrals of f(X, Y) over straight lines not intersecting the parabola. We expect that this result can have applications in two-dimensional linear tomography problems with an opaque parabolic obstacle.     

On Dark Computably Enumerable Equivalence Relations

We study computably enumerable (c.e.) relations on the set of naturals. A binary relation R on ω is computably reducible to a relation S (which is denoted by R ≤ _c S) if there exists a computable function f(x) such that the conditions (xRy) and (f(x)Sf(y)) are equivalent for all x and y. An equivalence relation E is called dark if it is incomparable with respect to ≤ _c with the identity equivalence relation. We prove that, for every dark c.e. equivalence relation E there exists a weakly precomplete dark c.e. relation F such that E ≤ _c F. As a consequence of this result, we construct an infinite increasing ≤ _c -chain of weakly precomplete dark c.e. equivalence relations. We also show the existence of a universal c.e. linear order with respect to ≤ _c .     

Asymptotics of the Codimensions <Emphasis Type="Italic">c</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> in the Algebra <Emphasis Type="Italic">F</Emphasis><Superscript>(7)</Superscript>

The paper studies the additive structure of the algebra F⁽⁷⁾, i.e., a relatively free associative countably generated algebra with the identity [x₁,..., x₇] = 0 over an infinite field of characteristic ≠ 2, 3. First, the space of proper multilinear polynomials in this algebra is investigated. As an application, estimates for the codimensions c_n = dimF_n⁽⁷⁾ are obtained, where F_n⁽⁷⁾ stands for the subspace of multilinear polynomials of degree n in the algebra F⁽⁷⁾.     

Inverse problem with nonlocal observation of finding the coefficient multiplying <Emphasis Type="Italic">u</Emphasis> <Subscript> <Emphasis Type="Italic">t</Emphasis> </Subscript> in the parabolic equation

We study the inverse problem of the reconstruction of the coefficient ?(x, t) = ?⁰(x, t) + r(x) multiplying u_t in a nonstationary parabolic equation. Here ?⁰(x, t) ≥ ?⁰ > 0 is a given function, and r(x) ≥ 0 is an unknown function of the class L_∞(Ω). In addition to the initial and boundary conditions (the data of the direct problem), we pose the problem of nonlocal observation in the form ∫₀^Tu(x, t) dμ(t) = χ(x) with a known measure dμ(t) and a function χ(x). We separately consider the case dμ(t) = ω(t)dt of integral observation with a smooth function ω(t). We obtain sufficient conditions for the existence and uniqueness of the solution of the inverse problem, which have the form of ready-to-verify inequalities. We suggest an iterative procedure for finding the solution and prove its convergence. Examples of particular inverse problems for which the assumptions of our theorems hold are presented.     

Möbius bilipschitz homogeneous arcs on the plane

A möbius bilipschitz mapping is an η-quasimöbius mapping with the linear distortion function η(t) = Kt. We show that if an open Jordan arc γ ? C with distinct endpoints a and b is homogeneous with respect to the family F_K of möbius bilipschitz automorphisms of the sphere C with K specified then γ has bounded turning RT(γ) in the sense of Rickman and, consequently, γ is a quasiconformal image of a rectilinear segment. The homogeneity of γ with respect to F_K means that for all x, y ∈ γ {a, b} there exists f ∈ F_K with f(γ) = γ and f(x) = y. In order to estimate RT(γ) from above, we introduce the condition BR(δ) of bounded rotation of γ, and then the explicit bound depends only on K and δ.     

A tracing of the fractional temperature field

This paper is devoted to a study of L~q-tracing of the fractional temperature field u(t, x)—the weak solution of the fractional heat equation(?_t +(-?_x)~α)u(t, x) = g(t, x) in L~p(R_+~(1+n)) subject to the initial temperature u(0, x) = f(x) in L~p(R~n).     

Two-Sided Estimates of Fourier Sums Lebesgue Functions with Respect to Polynomials Orthogonal on Nonuniform Grids

Let Ω = {t₀, t₁, …, t_N} and Ω_N = {x₀, x₁, …, x_N–1}, where x_j = (t_j + t_{j + 1})/2, j = 0, 1, …, N–1 be arbitrary systems of distinct points of the segment [–1, 1]. For each function f(x) continuous on the segment [–1, 1], we construct discrete Fourier sums S_{n, N}( f, x) with respect to the system of polynomials {p?_k,N(x)} _k=0 ^N–1 , forming an orthonormal system on nonuniform point systems Ω_N consisting of finite number N of points from the segment [–1, 1] with weight Δt_j = t_{j + 1}–t_j. We find the growth order for the Lebesgue function L_n,N (x) of the considered partial discrete Fourier sums S_n,N ( f, x) as n = O(δ _N ^?2/7 ), δ_N = max_{0≤ j≤N?1} Δt_j More exactly, we have a two-sided pointwise estimate for the Lebesgue function L_{n, N}(x), depending on n and the position of the point x from [–1, 1].     

On blow-up regimes in one nonlinear parabolic equation

A nonlinear heat equation with a special source on a straight line is considered. The family of exact solutions to this equation that have the form p(t) + q(t)cosx/√2, where functions p(t) and q(t) satisfy a certain dynamic system, is constructed. The system is comprehensively analyzed, and the behavior of p(t) and q(t) depending on initial data is revealed. It is found that some of the unbounded solutions from the aforementioned family are close, in a certain sense, to an analytical solution to the heat equation with power nonlinearities. The Cauchy problem for the equations considered is studied as well. It is proved that, depending on the initial solution function, solutions may develop in a blow-up regime or decay.     

Sharpened forms of the generalized Schwarz inequality on the boundary

In this paper, a boundary version of the Schwarz inequality is investigated. We obtain more general results at the boundary. If we know the second coefficient in the expansion of the function f(z) = 1 + c_pz^p + c_{p + 1}z^{p + 1}…, then we obtain new inequalities of the Schwarz inequality at boundary by taking into account c_{p + 1} and zeros of the function f(z) ? 1. The sharpness of these inequalities is also proved.     

Normal families of meromorphic functions and shared functions

The paper is devoted to the normal families of meromorphic functions and shared functions. Generalizing a result of Chang (2013), we prove the following theorem. Let h (≠≡ 0,∞) be a meromorphic function on a domain D and let k be a positive integer. Let F be a family of meromorphic functions on D, all of whose zeros have multiplicity at least k + 2, such that for each pair of functions f and g from F, f and g share the value 0, and f^(k) and g^(k) share the function h. If for every f ∈ F, at each common zero of f and h the multiplicities m_f for f and m_h for h satisfy m_f ≥ m_h + k + 1 for k > 1 and m_f ≥ 2m_h + 3 for k = 1, and at each common pole of f and h, the multiplicities nf for f and nh for h satisfy n_f ≥ n_h + 1, then the family F is normal on D.     

Tangential polynomials and matrix KdV elliptic solitons

Let (X, q) be an elliptic curve marked at the origin. Starting from any cover π: Γ → X of an elliptic curve X marked at d points {π _i } of the fiber π ^?1(q) and satisfying a particular criterion, Krichever constructed a family of d × d matrix KP solitons, that is, matrix solutions, doubly periodic in x, of the KP equation. Moreover, if Γ has a meromorphic function f: Γ → P¹ with a double pole at each p _i , then these solutions are doubly periodic solutions of the matrix KdV equation U _t = 1/4(3UU _x + 3U _x U + U _xxx ). In this article, we restrict ourselves to the case in which there exists a meromorphic function with a unique double pole at each of the d points {p _i }; i.e. Γ is hyperelliptic and each pi is a Weierstrass point of Γ. More precisely, our purpose is threefold: (1) present simple polynomial equations defining spectral curves of matrix KP elliptic solitons; (2) construct the corresponding polynomials via the vector Baker–Akhiezer function of X; (3) find arbitrarily high genus spectral curves of matrix KdV elliptic solitons.     

Method of generalized integral guiding functions in the problem of the existence of periodic solutions for functional-differential inclusions

We suggest new methods for the solution of a periodic problem for a nonlinear object described by the differential inclusion x′(t) ∈ F(t, x_t) under the assumption that the multimapping F has convex compact values and satisfies the upper Carathéodory conditions. We also study the case in which this multimapping is not convex-valued but is normal. The class of normal multimappings includes, for example, bounded almost lower semicontinuous multimappings with compact values and mappings satisfying the Carathéodory conditions. In both cases, a generalized integral guiding function is used to study the problem.     

On the sectionwise connectedness of a contingent

Let X be a real normed space and let f: ? → X be a continuous mapping. Let T _f (t ₀) be the contingent of the graph G(f) at a point (t ₀, f(t ₀)) and let S ⁺ ? (0,∞) × X be the “right” unit hemisphere centered at (0, 0 _X ). We show that

1. 1.
   If dimX < ∞ and the dilation D(f, t ₀) of f at t ₀ is finite then T _f (t ₀) ∩ S ⁺ is compact and connected. The result holds for \(T_f (t_0 ) \cap \overline {S^ + } \) even with infinite dilation in the case f: [0,∞) → X.
    
2. 2.
   If dimX = ∞, then, given any compact set F ? S ⁺, there exists a Lipschitz mapping f: ? → X such that T _f (t ₀) ∩ S ⁺ = F.
    
3. 3.
   But if a closed set F ? S ⁺ has cardinality greater than that of the continuum then the relation T _f (t ₀) ∩ S ⁺ = F does not hold for any Lipschitz f: ? → X.
    

     

Cauchy problem for the Korteweg-de Vries equation in the case of a nonsmooth unbounded initial function

In the strip П = (?1, 0) × ?, we establish the existence of solutions of the Cauchy problem for the Korteweg-de Vries equation u _t + u _xxx + uu _x = 0 with initial condition either 1) u(?1, x) = ?xθ(x), or 2) u(?1, x) = ?xθ(?x), where θ is the Heaviside function. The solutions constructed in this paper are infinitely smooth for t ∈ (?1, 0) and rapidly decreasing as x → +∞. For the case of the first initial condition, we also establish uniqueness in a certain class. Similar special solutions of the KdV equation arise in the study of the asymptotic behavior with respect to small dispersion of the solutions of certain model problems in a neighborhood of lines of weak discontinuity.