Almost 2-Homogeneous Graphs and Completely Regular Quadrangles

Many known distance-regular graphs have extra combinatorial regularities: One of them is t-homogeneity. A bipartite or almost bipartite distance-regular graph is 2-homogeneous if the number γ _i  = |{x | ∂(u, x) = ∂(v, x) = 1 and ∂(w, x) = i − 1}| (i = 2, 3,..., d) depends only on i whenever ∂(u, v) = 2 and ∂(u, w) = ∂(v, w) = i. K. Nomura gave a complete classification of bipartite and almost bipartite 2-homogeneous distance-regular graphs. In this paper, we generalize Nomura’s results by classifying 2-homogeneous triangle-free distance-regular graphs. As an application, we show that if Γ is a distance-regular graph of diameter at least four such that all quadrangles are completely regular then Γ is isomorphic to a binary Hamming graph, the folded graph of a binary Hamming graph or the coset graph of the extended binary Golay code of valency 24. We also consider the case Γ is a parallelogram-free distance-regular graph. This research was partially supported by the Grant-in-Aid for Scientific Research (No.17540039), Japan Society of the Promotion of Science.     

Grow-up of critical solutions for a non-local porous medium problem with Ohmic heating source

We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation ${u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2}We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation u_t = (uⁿ)_xx + lf(u)/(ò_-1¹ f(u)dx)²{u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2} with Dirichlet boundary conditions and positive initial data. The function f satisfies: f(s),−f ′ (s) > 0 for s ≥ 0 and s ^n-1 f(s) is integrable at infinity. Due to the conditions on f, there exists a critical value of parameter λ, say λ*, such that for λ > λ* the solution u = u(x, t; λ) blows up globally in finite time, while for λ ≥ λ* the corresponding steady-state problem does not have any solution. For 0 < λ < λ* there exists a unique steady-state solution w = w(x; λ) while u = u(x, t; λ) is global in time and converges to w as t → ∞. Here we show the global grow-up of critical solution u* =  u(x, t; λ*) (u* (x, t) → ∞, as t → ∞ for all x ? (-1,1){x\in(-1,1)}.     

Global existence for one-dimensional motion of non-isentropic viscous fluids

We study the p-system with viscosity given by v_t ? u_x = 0, u_t + p(v)_x = (k(v)u_x)_x + f(∫ vdx, t), with the initial and the boundary conditions (v(x, 0), u(x,0)) = (v₀, u₀(x)), u(0,t) = u(X,t) = 0. To describe the motion of the fluid more realistically, many equations of state, namely the function p(v) have been proposed. In this paper, we adopt Planck's equation, which is defined only for v > b(> 0) and not a monotonic function of v, and prove the global existence of the smooth solution. The essential point of the proof is to obtain the bound of v of the form b < h(T) ? v(x, t) ? H(T) < ∞ for some constants h(T) and H(T).     

Correlation structure of intermittency in the parabolic Anderson model

Consider the Cauchy problem ∂u(x, t)/∂t = ℋu(x, t) (x∈ℤ^d, t≥ 0) with initial condition u(x, 0) ≡ 1 and with ℋ the Anderson Hamiltonian ℋ = κΔ + ξ. Here Δ is the discrete Laplacian, κ∈ (0, ∞) is a diffusion constant, and ξ = {ξ(x): x∈ℤ ^d } is an i.i.d.random field taking values in ℝ. G?rtner and Molchanov (1990) have shown that if the law of ξ(0) is nondegenerate, then the solution u is asymptotically intermittent. In the present paper we study the structure of the intermittent peaks for the special case where the law of ξ(0) is (in the vicinity of) the double exponential Prob(ξ(0) > s) = exp[−e ^{s /θ}] (s∈ℝ). Here θ∈ (0, ∞) is a parameter that can be thought of as measuring the degree of disorder in the ξ-field. Our main result is that, for fixed x, y∈ℤ ^d and t→∈, the correlation coefficient of u(x, t) and u(y, t) converges to ∥w _ρ∥⁻² _ℓ2Σ_{z ∈ℤd} w _ρ(x+z)w _ρ(y+z). In this expression, ρ = θ/κ while w _ρ:ℤ^d→ℝ⁺ is given by w _ρ = (v _ρ)^{⊗ d} with v _ρ: ℤ→ℝ⁺ the unique centered ground state (i.e., the solution in ℓ²(ℤ) with minimal l ²-norm) of the 1-dimensional nonlinear equation Δv + 2ρv log v = 0. The uniqueness of the ground state is actually proved only for large ρ, but is conjectured to hold for any ρ∈ (0, ∞). empty It turns out that if the right tail of the law of ξ(0) is thicker (or thinner) than the double exponential, then the correlation coefficient of u(x, t) and u(y, t) converges to δ _{x, y} (resp.the constant function 1). Thus, the double exponential family is the critical class exhibiting a nondegenerate correlation structure. Received: 5 March 1997 / Revised version: 21 September 1998     

Mathematical and numerical study of a system of conservation laws

The system of equations (f (u))_t − (a(u)v + b(u))_x = 0 and u_t − (c(u)v + d(u))_x = 0, where the unknowns u and v are functions depending on , arises within the study of some physical model of the flow of miscible fluids in a porous medium. We give a definition for a weak entropy solution (u, v), inspired by the Liu condition for admissible shocks and by Krushkov entropy pairs. We then prove, in the case of a natural generalization of the Riemann problem, the existence of a weak entropy solution only depending on x/t. This property results from the proof of the existence, by passing to the limit on some approximations, of a function g such that u is the classical entropy solution of u_t − ((cg + d)(u))_x = 0 and simultaneously w = f (u) is the entropy solution of w_t − ((ag + b)(f⁽⁻¹⁾(w)))_x = 0. We then take v = g(u), and the proof that (u, v) is a weak entropy solution of the coupled problem follows from a linear combination of the weak entropy inequalities satisfied by u and f (u). We then show the existence of an entropy weak solution for a general class of data, thanks to the convergence proof of a coupled finite volume scheme. The principle of this scheme is to compute the Godunov numerical flux with some interface functions ensuring the symmetry of the finite volume scheme with respect to both conservation equations.     

Stability of Friedrichs's scheme in the maximum norm for hyperbolic systems in one space dimension

We are concerned with Friedrichs's scheme for an initial value problem u_t(t, x) = A(t, x)u_x(t, x), u(0, x) = u₀(x), where u₀(x) belongs to L_∞, not to L₂. We show that Friedrichs's scheme is stable in the maximum norm ·_L∞, provided that the system is regularly hyperbolic and that the eigenvalues d_i(t, x) (i = 1,2,..., N) of the N XN matrix A(t, x) satisfy the conditions 1±λd_i(t, x)?0 (i = 1,2,..., N), where λ is a mesh ratio.     

On a nonlinear stochastic integral equation with application to control systems

The aim of the present paper is to study a nonlinear stochastic integral equation of the form

Asymptotic behavior of the solutions of certain parabolic equations

Some laws in physics describe the change of a flux and are represented by parabolic equations of the form (*) \documentclass{article}\pagestyle{empty}\begin{document}$$\frac{{\partial u}}{{\partial t}}=\frac{\partial}{{\partial x_j }}(\eta \frac{{\partial u}}{{ax_j}}-vju),$$\end{document} j≤m, where η and v_j are functions of both space and time. We show under quite general assumptions that the solutions of equation (*) with homogeneous Dirichlet boundary conditions and initial condition u(x, 0) = u_o(x) satisfy The decay rate d > 0 only depends on bounds for η, v and G § R^m the spatial domain, while the constant c depends additionally on which norm is considered. For the solutions of equation (*) with homogeneous Neumann boundary conditions and initial condition u₀(x) ≥ 0 we derive bounds d₁u₁ ≤ u(x, t) ≤ d₂u₂, Where d_i, i = 1, 2, depend on bounds for η, v and G, and the u_i are bounds on the initial condition u₀.     

A best approximation for the solution of one‐dimensional variable‐coefficient Burgers' equation

In this article, an iterative method for the approximate solution to one‐dimensional variable‐coefficient Burgers' equation is proposed in the reproducing kernel space W_(3,2). It is proved that the approximation w_n(x,t) converges to the exact solution u(x,t) for any initial function w₀(x,t) ε W_(3,2), and the approximate solution is the best approximation under a complete normal orthogonal system . Moreover the derivatives of w_n(x,t) are also uniformly convergent to the derivatives of u(x,t).© 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2009     

Approximate solution of u′=–A2u using a relation between exp(–tA2) and exp(itA)

Let A be a positive definite operator in a Hilbert space and consider the initial value problem for u _t =–A² u. Using a representation of the semi group exp(–A² t) in terms of the group exp(iAt) we express u in terms of the solution of the standard heat equation w _t = w _yy , with initial values v solving the initial value problem for v _y = iAv. This representation is used to construct a method for approximating u in terms of approximations of v. In the case that A is a 2^nd order elliptic operator the method is combined with finite elements in the spatial variable and then reduces the solution of the 4th order equation for u to that of the 2^nd order equation for v, followed by the solution of the heat equation in one space variable.     

On singular diffusion equations with applications to self-organized criticality

We consider solutions of the singular diffusion equation _t, = (u^m?1 u_x)_x, m ≦ 0, associated with the flux boundary condition lim_x→?∞ (u^m?1u_x)_x = λ > 0. The evolutions defined by this problem depend on both m and λ. We prove existence and stability of traveling wave solutions, parameterized by λ. Each traveling wave is stable in its appropriate evolution. These traveling waves are in L¹ for ?1 < m ≦ 0, but have non-integrable tails for m ≦ ?1. We also show that these traveling waves are the same as those for the scalar conservation law u_t = ?[f(u)]_x + u_xx for a particular nonlinear convection term f(u) = f(u;m, λ). © 1993 John Wiley & Sons, Inc.     

Simultaneous determination of source terms in a linear parabolic problem from the final overdetermination: Weak solution approach

The problem of determining the pair w:={F(x,t);T₀(t)} of source terms in the parabolic equation u_t=(k(x)u_x)_x+F(x,t) and Robin boundary condition −k(l)u_x(l,t)=v[u(l,t)−T₀(t)] from the measured final data μ_T(x)=u(x,T) is formulated. It is proved that both components of the Fréchet gradient of the cost functional can be found via the same solution of the adjoint parabolic problem. Lipschitz continuity of the gradient is derived. The obtained results permit one to prove existence of a quasi-solution of the considered inverse problem, as well as to construct a monotone iteration scheme based on a gradient method.     

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.     

Fourth-order finite difference method for 2D parabolic partial differential equations with nonlinear first-derivative terms

We attempt to obtain a two-level implicit finite difference scheme using nine spatial grid points of O(k² + kh² + h⁴) for solving the 2D nonlinear parabolic partial differential equation v₁u_xx + v₂u_yy = f(x, y, t, u, u_x, u_y, u₁) where v₁ and v₂ are positive constants, with Dirichlet boundary conditions. The method, when applied to a linear diffusion-convection problem, is shown to be unconditionally stable. Computational efficiency and the results of numerical experiments are discussed.     

Estimation of states and parameters in continuous non-linear systems with discrete observations

We consider a class of continuous non-linear systems defined by the ordinary differential equation x = f(x, t) + g(x, t)u, where u is an unknown input representing noise or disturbances. The object is to estimate states and parameters in these systems by means of a fixed number of discrete observations y_i = h(x(t_i), t_i) + v_i, 1 ? i ? m, where the v_i represents unknown errors in the measurements y_i. No statistical assumptions are made concerning the nature of the unknown input u or the unknown measurement errors v_i. A weighted least squares criterion is defined as a measure of the optimal estimate. A result concerning the existence of solutions of the differential equation which minimize the criterion is presented. The necessary conditions for an optimal estimate, a set of Euler-Lagrange equations and multi-point discontinuous non-linear boundary conditions, are given. The multi-point problem is converted to an equivalent continuous two-point boundary value problem of larger dimension in the case in which the observations are assumed to be linear functions of the state. A pair of equivalent quasilinearization algorithms is defined for the two-point system and the multi-point system. Quadratic convergence for these algorithms is proved.     

A new sufficient condition for Hamiltonian graphs

The study of Hamiltonian graphs began with Dirac’s classic result in 1952. This was followed by that of Ore in 1960. In 1984 Fan generalized both these results with the following result: If G is a 2-connected graph of order n and max{d(u),d(v)}≥n/2 for each pair of vertices u and v with distance d(u,v)=2, then G is Hamiltonian. In 1991 Faudree–Gould–Jacobson–Lesnick proved that if G is a 2-connected graph and |N(u)∪N(v)|+δ(G)≥n for each pair of nonadjacent vertices u,v∈V(G), then G is Hamiltonian. This paper generalizes the above results when G is 3-connected. We show that if G is a 3-connected graph of order n and max{|N(x)∪N(y)|+d(u),|N(w)∪N(z)|+d(v)}≥n for every choice of vertices x,y,u,w,z,v such that d(x,y)=d(y,u)=d(w,z)=d(z,v)=d(u,v)=2 and where x,y and u are three distinct vertices and w,z and v are also three distinct vertices (and possibly |{x,y}∩{w,z}| is 1 or 2), then G is Hamiltonian.     

Self-converse Mendelsohn designs with block size 4t + 2

A Mendelsohn design MD(v, k, λ) is a pair (X, B) where X is a v-set together with a collection B of cyclic k-tuples from X such that each ordered pair from X, as adjacent entries, is contained in exactly λk-tuples of B. An MD(v, k, λ) is said to be self-converse, denoted by SCMD(v, k, λ) = (X, B, f), if there is an isomorphic mapping from (X, B) to (X, B⁻¹), where B⁻¹ = {B⁻¹ = 〈x_k, x_k−1, … x₂, x₁〉; B = 〈x₁, … ,x_k〉 ∈ B.}. The existence of SCMD(v, 3, λ) and SCMD(v, 4, 1) has been settled by us. In this article, we will investigate the existence of SCMD(v, 4t + 2, 1). In particular, when 2t + 1 is a prime power, the existence of SCMD(v, 4t + 2, 1) has been completely solved, which extends the existence results for MD(v, k, 1) as well. © 1999 John Wiley & Sons, Inc. J. Combin Designs 7: 283–310, 1999     

Solution of mixed problems with boundary elastic-force control for the telegraph equation

In terms of a finite-energy generalized solution of the telegraph equation, for any time interval T, we consider the problem on the boundary elastic-force control u _x (0, t) = μ(t) at the endpoint x = 0 for the process described by the Klein-Gordon-Fock equation under the condition that the other endpoint x = l is either fixed, or free, or is controlled by an elastic force. For any time interval T, we obtain the solution u(x, t) in closed form.     

Boundedness in nonlinear oscillations

In this paper, the boundedness of all solutions of the nonlinear differential equation (φ_p(x′))′ + αφ_p(x⁺) – βφ_p(x^–) + f(x) = e(t) is studied, where φ_p(u) = |u|^p–2 u, p ≥ 2, α, β are positive constants such that = 2w^–1 with w ∈ ?⁺\?, f is a bounded C⁵ function, e(t) ∈ C⁶ is 2π_p‐periodic, x⁺ = max{x, 0}, x^– = max{–x, 0}. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Dimensional Splitting Method for Quasilinear Hyperbolic Equations with Variable Coefficients

A numerical method is presented for the variable coefficient, nonlinear hyperbolic equation u _t + _i=1 ^d V _i(x, t)f _i(u) _{x i} = 0 in arbitrary space dimension for bounded velocities that are Lipschitz continuous in the x variable. The method is based on dimensional splitting and uses a recent front tracking method to solve the resulting one-dimensional non-conservative equations. The method is unconditionally stable, and it produces a subsequence that converges to the entropy solution as the discretization of time and space tends to zero. Four numerical examples are presented; numerical error mechanisms are illustrated for two linear equations, the efficiency of the method compared with a high-resolution TVD method is discussed for a nonlinear problem, and finally, applications to reservoir simulation are presented.