On Landis’ Conjecture in the Plane

In this paper we prove a quantitative form of Landis’ conjecture in the plane. Precisely, let W(z) be a measurable real vector-valued function and V(z) ≥0 be a real measurable scalar function, satisfying ‖W‖ _{L ^∞(R ²)} ≤ 1 and ‖V‖ _{L ^∞(R ²)} ≤ 1. Let u be a real solution of Δu ? ?(Wu) ? Vu = 0 in R ². Assume that u(0) = 1 and |u(z)| ≤exp (C ₀|z|). Then u satisfies inf _{|z 0| =R}  sup _{|z?z 0| <1}|u(z)| ≥exp (?CRlog R), where C depends on C ₀. In addition to the case of the whole plane, we also establish a quantitative form of Landis’ conjecture defined in an exterior domain.     

Model problem for the motion of a compressible, viscous flow with the no-slip boundary condition

We consider the Navier–Stokes equations for the motion of a compressible, viscous, pressureless fluid in the domain W = \mathbbR³₊{\Omega = \mathbb{R}^3_+} with the no-slip boundary conditions. We construct a global in time, regular weak solution, provided that initial density ρ ₀ is bounded and the magnitude of the initial velocity u ₀ is suitably restricted in the norm ||?{r₀(·)}u₀(·)||_L²(W) + ||?u₀(·)||_L²(W){\|\sqrt{\rho_0(\cdot)}{\bf u}_0(\cdot)\|_{L^2(\Omega)} + \|\nabla{\bf u}_0(\cdot)\|_{L^2(\Omega)}}.     

Diffusion approximation for the convection-diffusion equation with random drift

We consider the asymptotic behavior of the solutions ofscaled convection-diffusion equations ∂ _t u _ɛ (t, x) = κΔ _x (t, x) + 1/ɛV(t/ɛ²,xɛ) ·∇ _x u _ɛ (t, x) with the initial condition u _ɛ(0,x) = u ₀(x) as the parameter ɛ↓ 0. Under the assumptions that κ > 0 and V(t, x), (t, x) ∈R ^d is a d-dimensional,stationary, zero mean, incompressible, Gaussian random field, Markovian and mixing in t we show that the laws of u _ɛ(t,·), t≥ 0 in an appropriate functional space converge weakly, as ɛ↓ 0, to a δ-type measureconcentrated on a solution of a certain constant coefficient heat equation. Received: 23 March 2000 / Revised version: 5 March 2001 / Published online: 9 October 2001     

环域上一类拟线性椭圆型方程的正径向解的存在性

The existence of positive radial solutions of the equation -din( |Du|p-2Du)=f(u) is studied in annular domains in Rn,n≥2. It is proved that if f(0)≥0, f is somewherenegative in (0,∞), limu→0^ f‘ (u)=0 and limu→∞ (f(u)/u^p-1)=∞, then there is alarge positive radial solution on all annuli. If f(0)≤0 and satisfies certain conditions, then the equation has no radial solution if the annuli are too wide.     

Periodic and Homoclinic Solutions of Extended Fisher–Kolmogorov Equations

In this paper we study the existence of periodic solutions of the fourth-order equations u^iv − pu″ − a(x)u + b(x)u³ = 0 and u^iv − pu″ + a(x)u − b(x)u³ = 0, where p is a positive constant, and a(x) and b(x) are continuous positive 2L-periodic functions. The boundary value problems (P₁) and (P₂) for these equations are considered respectively with the boundary conditions u(0) = u(L) = u″(0) = u″(L) = 0. Existence of nontrivial solutions for (P₁) is proved using a minimization theorem and a multiplicity result using Clark's theorem. Existence of nontrivial solutions for (P₂) is proved using the symmetric mountain-pass theorem. We study also the homoclinic solutions for the fourth-order equation u^iv + pu″ + a(x)u − b(x)u² − c(x)u³ = 0, where p is a constant, and a(x), b(x), and c(x) are periodic functions. The mountain-pass theorem of Brezis and Nirenberg and concentration-compactness arguments are used.     

On the existence of shock fronts for a Burgers equation with a singular source term

In this paper we consider the Cauchy problem for the equation ∂u/∂t + u ∂u/∂x + u/x = 0 for x > 0, t ⩾ 0, with u(x, 0) = u⁰₋(x) for x < x₀, u(x, 0) = u⁰₊(x) for x > x₀, u⁰₋(x₀) > u⁰₊(x₀). Following the ideas of Majda, 1984 and Lax, 1973, we construct, for smooth u⁰₋ and u⁰₊, a global shock front weak solution u(x, t) = u₋(x, t) for x < ϕ(t), u(x, t) = u₊(x, t) for x > ϕ(t), where u₋ and u₊ are the strong solutions corresponding (respectively) to u⁰₋ and u⁰₊ and the curve t → ϕ(t) is defined by dϕ/dt (t) = 1/2[u₋(ϕ(t), t) + u₊(ϕ(t), t)], t ⩾ 0 and ϕ(0) = x₀. © 1998 B. G. Teubner Stuttgart—John Wiley & Sons, Ltd.     

Q-curves of degree 5 and jacobian surfaces of GL2-type

We construct a parametric family {E ^(±)(s,t,u)} of minimal Q-curves of degree 5 over the quadratic fields Q , and the family {C(s,t,u)} of genus two curves over Q covering E ^{(+)(s,t,u) whose jacobians are abelian surfaces of GL₂-type. We also discuss the modularity for them and the sign change between E ^{(+)(s,t,u) and its twist E ⁽⁻⁾(s,t,u), which correspond by modularity to cusp forms of trivial and non-trivial Neben type characters, respectively. We find in {C(s,t,u)} concrete equations of curves over Q whose jacobians are isogenous over cyclic quartic fields to Shimura's abelian surfaces A _f attached to cusp forms of Neben type character of level N= 29, 229, 349, 461, and 509. Received: 23 September 1997 / Revised version: 26 May 1998     

Global behavior of the branch of positive solutions for nonlinear Sturm–Liouville problems

We consider the nonlinear Sturm–Liouville problem

A Threshold Result for a Non-local Parabolic Equation

In this paper, we consider the Cauchy problem: (ECP) u_t−Δu+p(x)u=u(x,t)∫u²(y,t)/∣x−y∣dy; x∈ℝ³, t>0, u(x, 0)=u₀(x)⩾0 x∈ℝ³, (0.2) The stationary problem for (ECP) is the famous Choquard–Pekar problem, and it has a unique positive solution ū(x) as long as p(x) is radial, continuous in ℝ³, p(x)⩾ā>0, and lim_{∣x∣→∞}p(x)=p¯>0. In this paper, we prove that if the initial data 0⩽u₀(x)⩽(≢)ū(x), then the corresponding solution u(x, t) exists globally and it tends to the zero steady-state solution as t→∞, if u₀(x)⩾(≢)ū(x), then the solution u(x,t) blows up in finite time. © 1997 B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

Existence and Uniqueness of Strong Solutions for a Class of Quasi‐Linear Hyperbolic Equations with Order Degeneration

Let k(y) > 0, 𝓁(y) > 0 for y > 0, k(0) = 𝓁(0) = 0 and lim_{y → 0}k(y)/𝓁(y) exists; then the equation L(u) ≔ k(y)u_xx – ∂_y(𝓁(y)u_y) + a(x, y)u_x = f(x, y, u) is strictly hyperbolic for y > 0 and its order degenerates on the line y = 0. Consider the boundary value problem Lu = f(x, y, u) in G, u|_AC = 0, where G is a simply connected domain in ℝ² with piecewise smooth boundary ∂G = AB∪AC∪BC; AB = {(x, 0) : 0 ≤ x ≤ 1}, AC : x = F(y) = ∫^y₀(k(t)/𝓁(t))^1/2dt and BC : x = 1 – F(y) are characteristic curves. Existence of generalized solution is obtained by a finite element method, provided f(x, y, u) satisfies Carathéodory condition and |f(x, y, u)| ≤ Q(x, y) + b|u| with Q ∈ L²(G), b = const > 0. It is shown also that each generalized solution is a strong solution, and that fact is used to prove uniqueness under the additional assumption |f(x, y, u₁) – f(x, y, u₂| ≤ C|u₁ – u₂|, where C = const > 0.     

Petersen Graph Decompositions of Complete Multipartite Graphs

Let P be the Petersen graph, and K _u(h) the complete multipartite graph with u parts of size h. A decomposition of K _u(h) into edge-disjoint copies of the Petersen graph P is called a P-decomposition of K _u(h) or a P-group divisible design of type h ^u . In this paper, we show that there exists a P-decomposition of K _u(h) if and only if h²u(u-1) o 0 mod 30{h^2u(u-1)\equiv 0 \pmod {30}} , h(u-1) o 0 mod 3{h(u-1)\equiv 0\pmod 3} , and u ≥ 3 with a definite exception (h, u) = (1, 10).     

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.     

Basic Results of Gabor Frame on Local Fields

Basic facts for Gabor frame {Eu(m)bTu(n)ag}m,n∈p on local field are investigated. Accurately, that the canonical dual of frame {Eu(m)bTu(n)ag}m,n∈p also has the Gabor structure is showed; that the product ab decides whether it is possible for {Eu(m)bTu(n)ag}m,n∈p to be a frame for L2(K) is discussed; some necessary conditions and two sufficient conditions of Gabor frame for L2(K) are established. An example is finally given.     

Exact solution of one boundary-value problem

We study the boundary-value perlodic problem u _tt −u _xx =F(x, t), u(0, t)=u(π, t)=0, u(x, t+T)=u(x, t), (x, t) ∈ R ². By using the Vejvoda-Shtedry operator, we determine a solution of this problem. Ternopol Pedagogical Institute, Temopol. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 7, pp. 998–1001, July, 1997.     

Spectral Criteria of Abstract Sequences; Application to Difference Equations

We suppose that M is a closed subspace of l ^∞(J, X), the space of all bounded sequences {x(n)} _n?J ? X, where J ? {Z⁺,Z} and X is a complex Banach space. We define the M-spectrum σ_M (u) of a sequence u ? l ^∞(J,X). Certain conditions will be supposed on both M and σ_M (u) to insure the existence of u ? M. We prove that if u is ergodic, such that σ_M (u,) is at most countable and, for every λ ? σ_M (u), the sequence e^?iλnu(n) is ergodic, then u ? M. We apply this result to the operator difference equationu(n + 1) = Au(n) + ψ(n), n ? J,and to the infinite order difference equation Σ ^r _k=1 a_k (u(n + k) ? u(n)) + Σ _{s ? Z}?(n ? s)u(s) = h(n), n?J, where ψ?l ^∞(Z,X) such that ψ| _J ? M, A is the generator of a C ₀-semigroup of linear bounded operators {T(t)} _t>0 on X, h ? M, ? ? l ¹(Z) and a_k ?C. Certain conditions will be imposed to guarantee the existence of solutions in the class M.     

On point to point reflection of harmonic functions across real-analytic hypersurfaces in ℝ n

Let Γ be a non-singular real-analytic hypersurface in some domainU ⊂ ℝ ⁿ and let Har₀(U, Γ) denote the linear space of harmonic functions inU that vanish on Γ. We seek a condition onx ⁰,x ¹ ∈U/Γ such that the reflection law (RL)u(x ⁰)+Ku(x ¹)=0, ∀u∈Har₀(U, Γ) holds for some constantK. This is equivalent to the class Har₀ (U, Γ) not separating the pointsx ⁰,x ¹. We find that in odd-dimensional spaces (RL)never holds unless Γ is a sphere or a hyperplane, in which case there is a well known reflection generalizing the celebrated Schwarz reflection principle in two variables. In even-dimensional spaces the situation is different. We find a necessary and sufficient condition (denoted the SSR—strong Study reflection—condition), which we described both analytically and geometrically, for (RL) to hold. This extends and complements previous work by e.g. P.R. Garabedian, H. Lewy, D. Khavinson and H. S. Shapiro.     

Lp Decay problem for the dissipative wave equation in even dimensions

We study L^p decay estimates of the solution to the Cauchy problem for the dissipative wave equation in even dimensions: (□+?_t)u=0 in ?^N × (0,∞) for even N=2n?2 with initial data (u,?_tu)∣_t=0 =(u₀,u₁). The representation formulas of the solution u(t)=?_tS(t)u₀ + S(t)(u₀+u₁) provide the sharp estimates on L^p norms with p?1. Copyright © 2004 John Wiley & Sons, Ltd.     

On the Elementary Retarded,Ultrahyperbolic Solution of the Klein-Gordon Operator,Iterated k Times

Let t = (t₁,…,t_n) be a point of ?ⁿ. We shall write . We put, by the definition, W_α(u, m) = (m^?2u)^{(α ? n)/4}[π^{(n ? 2)/2}2^{(α + n ? 2)/2}Г(α/2)]J_{(α ? n)/2}(m²u)^1/2; here α is a complex parameter, m a real nonnegative number, and n the dimension of the space. W_α(u, m), which is an ordinary function if Re α ≥ n, is an entire distributional function of α. First we evaluate {□ + m²}W_{α + 2}(u, m) = W_α(u, m), where {□ + m²} is the ultrahyperbolic operator. Then we express W_α(u, m) as a linear combination of R_α(u) of differntial orders; R_α(u) is Marcel Riesz's ultrahyperbolic kernel. We also obtain the following results: W_?2k(u, m) = {□ + m²}^kδ, k = 0, 1,…; W₀(u, m) = δ; and {□ + m²}^kW_2k(u, m) = δ. Finally we prove that W_α(u, m = 0) = R_α(u). Several of these results, in the particular case µ = 1, were proved earlier by a completely different method.     

decay problem for the dissipative wave equation in odd dimensions

Consider the Cauchy problem in odd dimensions for the dissipative wave equation: (□+∂_t)u=0 in with (u,∂_tu)|_t=0=(u₀,u₁). Because the L² estimates and the L^∞ estimates of the solution u(t) are well known, in this paper we pay attention to the L^p estimates with 1p<2 (in particular, p=1) of the solution u(t) for t0. In order to derive L^p estimates we first give the representation formulas of the solution u(t)=∂_tS(t)u₀+S(t)(u₀+u₁) and then we directly estimate the exact solution S(t)g and its derivative ∂_tS(t)g of the dissipative wave equation with the initial data (u₀,u₁)=(0,g). In particular, when p=1 and n1, we get the L¹ estimate: u(t)_L¹Ce^−t/4(u_0W^n,1+u_1W^n−1,1)+C(u_0L¹+u_1L¹) for t0.