Structure of multiple solutions for nonlinear differential equations

Based on the eigensystem {λ_j,φ_j} of -Δ, the multiple solutions for nonlinear problem Δu + f(u) = 0 in Ω,u = 0 on ?Ω are approximated. A new search-extension method (SEM), which consists of three steps in three level subspaces, is proposed. Numerical simulations for several typical nonlinear cases, i.e. f(u) = u ³, u ², (u - p), u ²(u ² - p), are completed and some conjectures are presented.     

Short cycles in repeated exponentiation modulo a prime

Given a prime p, we consider the dynamical system generated by repeated exponentiations modulo p, that is, by the map \({u \mapsto f_g(u)}\), where f _g (u) ≡ g ^u (mod p) and 0 ≤ f _g (u) ≤ p ? 1. This map is in particular used in a number of constructions of cryptographically secure pseudorandom generators. We obtain nontrivial upper bounds on the number of fixed points and short cycles in the above dynamical system.     

Direct and inverse asymptotic scattering problems for Dirac-Krein systems

The asymptotic scattering matrix s _ε(λ) for a Dirac-Krein system with signature matrix J = diag{ I _p ,-I _p }, integrable potential, and the boundary condition u ₁(0, λ) = u ₂(0, λ)ε(λ) with a coefficient ε(λ) that belongs to the Schur class of holomorphic contractive p × p matrix-valued functions in the open upper half-plane is defined. The inverse asymptotic scattering problem for a given s _ε is analyzed by Krein’s method. Earlier studies by Krein and others focused on the case in which ε = I _p (or a constant unitary matrix).     

A construction for modified generalized Hadamard matrices using QGH matrices

Let G be a group of order mu and U a normal subgroup of G of order u. Let G/U = {U ₁,U ₂, . . . ,U _m } be the set of cosets of U in G. We say a matrix H = [h _ij ] of order k with entries from G is a quasi-generalized Hadamard matrix with respect to the cosets G/U if \({\sum_{1\le t \le k} h_{it}h_{jt}^{-1} = \lambda_{ij1}U_1+\cdots+\lambda_{ijm}U_m (\exists\lambda_{ij1},\ldots, \exists \lambda_{ijm} \in \mathbb{Z})}\) for any i ≠ j. On the other hand, in our previous article we defined a modified generalized Hadamard matrix GH(s, u, λ) over a group G, from which a TD _λ (uλ, u) admitting G as a semiregular automorphism group is obtained. In this article, we present a method for combining quasi-generalized Hadamard matrices and semiregular relative difference sets to produce modified generalized Hadamard matrices.     

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.     

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.     

Matrix polynomial generalizations of the sample variance-covariance matrix when <Emphasis Type="Italic">pn</Emphasis><Superscript>−1</Superscript> → <Emphasis Type="Italic">y</Emphasis> ∈ (0, ∞)

Let {Z _u = ((ε_{u, i, j}))_p×n} be random matrices where {ε_{u, i, j}} are independently distributed. Suppose {A _i }, {B _i } are non-random matrices of order p × p and n × n respectively. Consider all p × p random matrix polynomials \(P = \prod\nolimits_{i = 1}^{k_l } {\left( {n^{ - 1} A_{t_i } Z_{j_i } B_{s_i } Z_{j_i }^* } \right)A_{t_{k_l + 1} } }\). We show that under appropriate conditions on the above matrices, the elements of the non-commutative *-probability space Span {P} with state p^?1ETr converge. As a by-product, we also show that the limiting spectral distribution of any self-adjoint polynomial in Span{P} exists almost surely.     

Shephard–Todd–Chevalley Theorem for Skew Polynomial Rings

We prove the following generalization of the classical Shephard–Todd–Chevalley Theorem. Let G be a finite group of graded algebra automorphisms of a skew polynomial ring \(A:=k_{p_{ij}}[x_1,\cdots,x_n]\). Then the fixed subring A ^G has finite global dimension if and only if G is generated by quasi-reflections. In this case the fixed subring A ^G is isomorphic to a skew polynomial ring with possibly different p _ij ’s. A version of the theorem is proved also for abelian groups acting on general quantum polynomial rings.     

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.     

Fujita type conditions to heat equation with variable source

This paper studies heat equation with variable exponent u _t = Δu + u^p(x) + u ^q in ? ^N × (0, T), where p(x) is a nonnegative continuous, bounded function, 0 < p_? = inf p(x) ≤ p(x) ≤ sup p(x) = p₊. It is easy to understand for the problem that all nontrivial nonnegative solutions must be global if and only if max {p₊, q} ≤ 1. Based on the interaction between the two sources with fixed and variable exponents in the model, some Fujita type conditions are determined that that all nontrivial nonnegative solutions blow up in finite time if 0 < q ≤ 1 with p₊ > 1, or 1 < q < 1 + \(\frac{2}{N}\). In addition, if q > 1 + \(\frac{2}{N}\), then (i) all solutions blow up in finite time with 0 < p_? ≤ p₊ ≤ 1 + \(\frac{2}{N}\); (ii) there are both global and nonglobal solutions for p_? > 1 + \(\frac{2}{N}\); and (iii) there are functions p(x) such that all solutions blow up in finite time, and also functions p(x) such that the problem possesses global solutions when p_? < 1 + \(\frac{2}{N}\) < p₊.     

Positive solutions of <Emphasis Type="Italic">p</Emphasis>-th Yamabe type equations on graphs

Let G = (V,E) be a finite connected weighted graph, and assume 1 ? α ? p ? q. In this paper, we consider the p-th Yamabe type equation ―?_pu+hu^q―1 = λfu^α―1 on G, where ?_p is the p-th discrete graph Laplacian, h < 0 and f > 0 are real functions defined on all vertices of G. Instead of H. Ge’s approach [Proc. Amer. Math. Soc., 2018, 146(5): 2219–2224], we adopt a new approach, and prove that the above equation always has a positive solution u > 0 for some constant λ ∈ ?. In particular, when q = p, our result generalizes Ge’s main theorem from the case of α ? p > 1 to the case of 1 ? α ? p, It is interesting that our new approach can also work in the case of α ? p > 1.     

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].

     

Orthogonality Relations for a Stationary Flow of an Ideal Fluid

For a real solution (u, p) to the Euler stationary equations for an ideal fluid, we derive an infinite series of the orthogonality relations that equate some linear combinations of mth degree integral momenta of the functions u_iu_j and p to zero (m = 0, 1,... ). In particular, the zeroth degree orthogonality relations state that the components ui of the velocity field are L²-orthogonal to each other and have coincident L²-norms. Orthogonality relations of degree m are valid for a solution belonging to a weighted Sobolev space with the weight depending on m.     

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.     

Existence of saddle solutions of a nonlinear elliptic equation involving <Emphasis Type="Italic">p</Emphasis>-Laplacian in more even-dimensional spaces

We show that there exist saddle solutions of the nonlinear elliptic equation involving the p-Laplacian, p > 2, -Δ _p u = f(u) in R^2m for all dimensions satisfying 2m ≥ p, by using sub-supersolution method. The existence of saddle solutions of the above problem was known only in dimensions 2m ≥ 2p.     

Differences of weighted composition operations on the unit polydisk

Let φ ₁ and φ ₂ be holomorphic self-maps of the unit polydisk \(\mathbb{D}^N\), and let u ₁ and u ₂ be holomorphic functions on \(\mathbb{D}^N\). We characterize the boundedness and compactness of the difference of weighted composition operators W _{φ1, u1} and W _{φ2, u2} from the weighted Bergman space \(A_{\vec \alpha }^p\), 0 < p < ∞, \(\vec \alpha = \left( {\alpha _1 , \ldots ,\alpha _{\rm N} } \right)\), α _j > ?1, j = 1,..., N, to the weighted-type space H _υ ^∞ of holomorphic functions on the unit polydisk \(\mathbb{D}^N\) in terms of inducing symbols φ ₁, φ ₂, u ₁, and u ₂.     

Blow-up of critical norms for the 3-D Navier-Stokes equations

Let u =(uh, u3) be a smooth solution of the 3-D Navier-Stokes equations in R3× [0, T). It was proved that if u3 ∈ L∞(0, T;˙B-1+3/p p,q(R3)) for 3 p, q ∞ and uh∈ L∞(0, T; BMO-1(R3)) with uh(T) ∈ VMO-1(R3), then u can be extended beyond T. This result generalizes the recent result proved by Gallagher et al.(2016), which requires u ∈ L∞(0, T;˙B-1+3/pp,q(R3)). Our proof is based on a new interior regularity criterion in terms of one velocity component, which is independent of interest.     

On the Classification of <Emphasis Type="Italic">p</Emphasis>-Adic UHF Banach Algebras

For any prime number p let Ω_p be the p-adic counterpart of the complex numbers C. In this paper we investigate the class of p-adic UHF Banach algebras. A p-adic UHF Banach algebra is any unital p-adic Banach algebra A of the form \(A = \overline {U{M_n}} \), where (M_n) is an increasing sequence of p-adic Banach subalgebras of M such that each M_n is generated over Ω_p by an algebraic system of matrix units {e _ij ^{( n)} | 1 ≤ i, j ≤ p_n }. The main result is that the supernatural number associated to a p-adic TUHF Banach algebra is an invariant of the algebra.     

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}}\).     

Polynomial dynamical systems and the Korteweg—de Vries equation

We explicitly construct polynomial vector fields L_k, k = 0, 1, 2, 3, 4, 6, on the complex linear space C⁶ with coordinates X = (x₂, x₃, x₄) and Z = (z₄, z₅, z₆). The fields L_k are linearly independent outside their discriminant variety Δ ? C⁶ and are tangent to this variety. We describe a polynomial Lie algebra of the fields L_k and the structure of the polynomial ring C[X,Z] as a graded module with two generators x₂ and z₄ over this algebra. The fields L₁ and L₃ commute. Any polynomial P(X,Z) ∈ C[X,Z] determines a hyperelliptic function P(X,Z)(u₁, u₃) of genus 2, where u₁ and u₃ are the coordinates of trajectories of the fields L₁ and L₃. The function 2x₂(u₁, u₃) is a two-zone solution of the Korteweg–de Vries hierarchy, and ?z₄(u₁, u₃)/?u₁ = ?x₂(u₁, u₃)/?u₃.