On well-posedness of the initial boundary-value problem for the derivative nonlinear Schrödinger equation

This paper deals with an initial boundary-value problem for the generalized derivative nonlinear Schrödinger equation. The cases of zero Dirichlet and generalized periodic boundary conditions are considered. The global existence of a solution inL _∞(0,∞;H _b ¹) is proved. The uniqueness inL _∞(0,T;H _b ¹)∩{u: ?u/?x εL _∞(Ω×(0,T))} is also established.     

Homothetic interval orders

We give a characterization of the non-empty binary relations ? on a N^*-set A such that there exist two morphisms of N^*-sets u₁,u₂:A→R₊ verifying u₁?u₂ and x?y⇔u₁(x)>u₂(y). They are called homothetic interval orders. If ? is a homothetic interval order, we also give a representation of ? in terms of one morphism of N^*-sets u:A→R₊ and a map such that x?y⇔σ(x,y)u(x)>u(y). The pairs (u₁,u₂) and (u,σ) are “uniquely” determined by ?, which allows us to recover one from each other. We prove that ? is a semiorder (resp. a weak order) if and only if σ is a constant map (resp. σ=1). If moreover A is endowed with a structure of commutative semigroup, we give a characterization of the homothetic interval orders ? represented by a pair (u,σ) so that u is a morphism of semigroups.     

Asymptotic behaviour of three-dimensional singularly perturbed convection-diffusion problems with discontinuous data

We consider three singularly perturbed convection-diffusion problems defined in three-dimensional domains: (i) a parabolic problem −?(uxx+uyy)+ut+v₁ux+v₂uy=0 in an octant, (ii) an elliptic problem −?(uxx+uyy+uzz)+v₁ux+v₂uy+v₃uz=0 in an octant and (iii) the same elliptic problem in a half-space. We consider for all of these problems discontinuous boundary conditions at certain regions of the boundaries of the domains. For each problem, an asymptotic approximation of the solution is obtained from an integral representation when the singular parameter ?→⁰⁺. The solution is approximated by a product of two error functions, and this approximation characterizes the effect of the discontinuities on the small ?− behaviour of the solution and its derivatives in the boundary layers or the internal layers.     

Control problems governed by Sobolev partial differential equations

Let G be a bounded subset of Rⁿ with a smooth boundary and Q = G × (0, T]. We consider a control problem governed by the Sobolev initial-value problem My_t(u) + Ly(u) = u in L²(Q), y(·, 0; u) = 0 in L₂(G), where M = M(x) and L = L(x) are symmetric uniformly strongly elliptic operators of orders 2m and 2l, respectively. The problem is to find the control u₀ of L²(Q)-norm at most b that steers to within a prescribed tolerance ? of a given function Z in L²(G) and that minimizes a certain energy functional. Our main results establish regularity properties of u₀. We also give results concerning the existence and uniqueness of the optimal control, the controllability of Sobolev initial-value problems, and properties of the Lagrange multipliers associated with the problem constraints.     

On an optimization problem of Bellman

This paper considers a problem proposed by Bellman in 1970: given a continuous kernel K(x, y) defined on I × I, find a pair of continuous functions f and g such that f(x) + g(y) ? K(x, y) on I × I and ∝_I (f + g) is minimum. The notion of basic decomposition of K is defined, and it is shown that whenever K(x, y) or K(x, a + b ? y), I = [a, b], admits a basic decomposition, Bellman's problem has a unique differentiable solution, provided K is differentiable. Explicit formulas for such solutions are given. More generally, there are kernels which admit basic decompositions on subintervals which can be “pasted together” to define a unique piecewise differentiable solution.     

Weak solution of (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0))u′(0) = ku(0), r(L, u(L))u′ (L) = hu(L) and k, h are suitable elements of [0, ∞]

We consider weak solutions to the nonlinear boundary value problem (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0)) u′(0) = ku(0), r(L, u(L)) u′(L) = hu(L) and k, h are suitable elements of [0, ∞]. In addition to studying some new boundary conditions, we also relax the constraints on r(x, u) and (Fu)(x). r(x, u) > 0 may have a countable set of jump discontinuities in u and r(x, u)^?1?L_q((0, L) × (0, p)). F is an operator from a suitable set of functions to a subset of L_p(0, L) which have nonnegative values. F includes, among others, examples of the form (Fu)(x) = (1 ? H(x ? x₀)) u(x₀), (Fu)(x) = ∫_x^Lf(y, u(y)) dy where f(y, u) may have a countable set of jump discontinuities in u or F may be chosen so that (Fu)′(x) = ? g(x, u(x)) u′(x) ? q(x) u(x) ? f(x, u(x)) where q is a distributional derivative of an L₂(0, L) function.     

Remarks on the global regularity and time decay of the 2D MHD equations with partial dissipation

This paper focuses on a system of the two‐dimensional (2D) magnetohydrodynamic (MHD) equations with the partial kinematic dissipation (?_yyu₁,?_xxu₂) and the partial magnetic diffusion (?_yyb₁,?_xxb₂). Based on the basic energy estimates only, we are able to show that this system always possesses a unique global smooth solution when the initial data are sufficiently smooth. Moreover, we obtain optimal large‐time decay rates of both solutions and their higher order derivatives by developing the classic Fourier splitting methods together with the auxiliary decay estimates of the first derivative of solutions and induction technique.     

A practical choice of parameters in improved SOR-Newton method with orderings

In this paper, on the basis of the results of Ishihara et al. (1997), we first discuss global convergence theorems for the improved SOR-Newton and block SOR-Newton methods with orderings applied to a system of mildly nonlinear equations, which includes as a special case the discretized version of the Dirichlet problem, for the equation ϵΔu + p(x)u_x + q(y)u_y = f(x, y, u), where f is continuously differentiable and fu(x, y, u) ⩾ 0. Moreover, we propose a practical choice of the multiple relaxation parameters {ω_i} for them. Numerical examples are also given.     

Global existence,asymptotic behaviour,and global non‐existence of solutions for damped non‐linear wave equations of Kirchhoff type in the whole space

We study the global existence, asymptotic behaviour, and global non‐existence (blow‐up) of solutions for the damped non‐linear wave equation of Kirchhoff type in the whole space: u_tt+u_t=(a+b∥∇u∥^2γ)Δu+∣u∣^αu in ℝ^N×ℝ₊ for a, b⩾0, a+b>0, γ⩾1, and α>0, with initial data u(x, 0)=u₀(x) and u_t(x, 0)=u₁(x). Copyright © 2000 John Wiley & Sons, Ltd.     

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.     

Nonlocal initial-boundary-value problems for a degenerate hyperbolic equation

We consider the equation y ^m u _xx − u _yy − b ² y ^m u = 0 in the rectangular area {(x, y) | 0 < x < 1, 0 < y < T}, where m < 0, b ≥ 0, T > 0 are given real numbers. For this equation we study problems with initial conditions u(x, 0) = τ(x), u _y (x, 0) = ν(x), 0 ≤ x ≤ 1, and nonlocal boundary conditions u(0, y) = u(1, y), u _x (0, y) = 0 or u _x (0, y) = u _x (1, y), u(1, y) = 0 with 0≤y≤T. Using the method of spectral analysis, we prove the uniqueness and existence theorems for solutions to these problems     

Commutative Rings Whose Cozero-Divisor Graphs are Unicyclic or of Bounded Degree

Let R be a commutative ring with unity. The cozero-divisor graph of R, denoted by Γ′(R), is a graph with vertex set W*(R), where W*(R) is the set of all nonzero and nonunit elements of R, and two distinct vertices a and b are adjacent if and only if a ? Rb and b ? Ra, where Rc is the ideal generated by the element c in R. Recently, it has been proved that for every nonlocal finite ring R, Γ′(R) is a unicyclic graph if and only if R ? ?₂ × ?₄, ?₃ × ?₃, ?₂ × ?₂[x]/(x ²). We generalize the aforementioned result by showing that for every commutative ring R, Γ′(R) is a unicyclic graph if and only if R ? ?₂ × ?₄, ?₃ × ?₃, ?₂ × ?₂[x]/(x ²), ?₂[x, y]/(x, y)², ?₄[x]/(2x, x ²). We prove that for every positive integer Δ, the set of all commutative nonlocal rings with maximum degree at most Δ is finite. Also, we classify all rings whose cozero-divisor graph has maximum degree 3. Among other results, it is shown that for every commutative ring R, gr(Γ′(R)) ∈ {3, 4, ∞}.     

Asymptotic behaviour of solutions to some pseudoparabolic equations

The aim of this paper is to investigate the behaviour as t→∞ of solutions to the Cauchy problem u_t−△u_t−v△u−(b,∇u)=∇⋅F(u),u(x,0)=u₀(x), where v>0 is a fixed constant, t≥0, x∈Ω, Ω is a bounded domain in Rⁿ. We will first establish an a priori estimate. Then, we establish the global existence, uniqueness and continuous dependence of the weak solution for the Sobolev-Galpern type equation with the Dirichlet boundary.     

Exact solution to a nonlinear Klein-Gordon equation

The nonlinear Klein-Gordon equation ?^μ?_μΦ + M²Φ + λ₁Φ^1?m + λ₂Φ^1?2m = 0 has the exact formal solution Φ = [u^2m ?λ₁u^m/(m ? 2)M²+λ₁²/(m?2)²M⁴?λ₂/4(m ? 1)M²]^1/mu^?1, m ≠ 0, 1, 2, where u and v^?1 are solutions of the linear Klein-Gordon equation. This equation is a simple generalization of the ordinary second order differential equation satisfied by the homogeneous function y = [au^m + b(uv)^m/2 + cv^m]^k/m, where u and v are linearly independent solutions of y″ + r(x) y′ + q(x) y = 0.     

The inverse M-matrix problem

One aspect of the inverse M-matrix problem can be posed as follows. Given a positive n × n matrix A=(a_ij) which has been scaled to have unit diagonal elements and off-diagonal elements which satisfy 0 < y ? a_ij ? x < 1, what additional element conditions will guarantee that the inverse of A exists and is an M-matrix? That is, if A^?1=B=(b_ij), then b_ii> 0 and b_ij ? 0 for i≠_j. If n=2 or x=y no further conditions are needed, but if n ? 3 and y < x, then the following is a tight sufficient condition. Define an interpolation parameter s via x²=sy+(1?s)y²; then B is an M-matrix if s^?1 ? n?2. Moreover, if all off-diagonal elements of A have the value y except for a_ij=a_jj=x when i=n?1, n and 1 ? _j ? n?2, then the condition on both necessary and sufficient for B to be an M-matrix.     

Well-posedness and blow-up phenomena for a higher order shallow water equation

This paper deals with the Cauchy problem for a higher order shallow water equation yt+auxy+buyx=0, where and k=2. The local well-posedness of solutions for the Cauchy problem in Sobolev space Hs(R) with s?7/2 is obtained. Under some assumptions, the existence and uniqueness of the global solutions to the equation are shown, and conditions that lead to the development of singularities in finite time for the solutions are also acquired. Finally, the weak solution for the equation is considered.     

Periodic solutions to one-dimensional wave equation with x-dependent coefficients

In this paper, we study the nonlinear one-dimensional periodic wave equation with x-dependent coefficients u(x)ytt−(ux(x)yx)+g(x,t,y)=f(x,t) on (0,π)×R under the boundary conditions a₁y(0,t)+b₁yx(0,t)=0, a₂y(π,t)+b₂yx(π,t)=0 ( for i=1,2) and the periodic conditions y(x,t+T)=y(x,t), yt(x,t+T)=yt(x,t). Such a model arises from the forced vibrations of a nonhomogeneous string and the propagation of seismic waves in nonisotropic media. A main concept is the notion “weak solution” to be given in Section 2. For T is the rational multiple of π, we prove some important properties of the weak solution operator. Based on these properties, the existence and regularity of weak solutions are obtained.     

A removable isolated singularity theorem for the stationary Navier-Stokes equations

We show that an isolated singularity at the origin 0 of a smooth solution (u,p) of the stationary Navier-Stokes equations is removable if the velocity u satisfies u∈Lⁿ or |u(x)|=o(|x|^-1) as x→0. Here n?3 denotes the dimension. As a byproduct of the proof, we also obtain a new interior regularity theorem.