UNIQUENESS OF RECOVERY OF SOME QUASILINEAR PARTIAL DIFFERENTIAL EQUATIONS

We prove uniqueness of the term c(u,p) of partial differential equations ?Δu + c(u, ?u) = 0 and ? _t u ? Δu + c(u, ?u) = 0 with the Dirichlet-to-Neumann map given on a part of the lateral boundary. We use a linearization method and singular solutions in the boundary reconstruction of the linearized equations     

Solution of two-dimensional boundary value problems corresponding to initial-boundary value problems of diffusion on a right cylinder

We consider boundary value problems for the differential equations Δ₂ u + B u = 0 with operator coefficients B corresponding to initial-boundary value problems for the diffusion equation Δ₃ u − pu = ∂ _t u (p > 0) on a right cylinder with inhomogeneous boundary conditions on the lateral surface of the cylinder with zero boundary conditions on the bases of the cylinder and with zero initial condition. For their solution, we derive specific boundary integral equations in which the space integration is performed only over the lateral surface of the cylinder and the kernels are expressed via the fundamental solution of the two-dimensional heat equation and the Green function of corresponding one-dimensional initial-boundary value problems of diffusion. We prove uniqueness theorems and obtain sufficient existence conditions for such solutions in the class of functions with continuous L ₂-norm.     

Convergence to Equilibrium for a Thin-Film Equation on a Cylindrical Surface

The degenerate parabolic equation u _t + ? _x [u ³(u _xxx  + u _x  ? sin x)] = 0 models the evolution of a thin liquid film on a stationary horizontal cylinder. It is shown here that for each mass there is a unique steady state, given by a droplet hanging from the bottom of the cylinder that meets the dry region with zero contact angle. The droplet minimizes the associated energy functional and attracts all strong solutions that satisfy certain energy and entropy inequalities, including all positive solutions. The distance of solutions from the steady state cannot decay faster than a power law.     

Stability of semilinear ill-posed problems with a prescribed energy bound

In the present paper we discuss the stability of semilinear problems of the form A^αu + G^α(u) = ? under assumption of an a priori bound for an energy functional E^α(u) ? E, where α is a parameter in a metric space M. Following [11] the problem A^αu + G^α(u) = ?, E^α(u) ? E is called stable in a Hilbert space H at a point α ? M if for any ??H, E, ? > 0 there exists δ > 0 such that for any functions u^α1, u^α2 satisfying A^αju^αj + G^αj(u^αj) = ?^αj, E^αj(u^αj) ? E, j = 1,2 we have ‖u^α1 ? u^α2_H ? ? provided ρ_M(α_j, α) ? δ, ‖?^αj ? ?‖_H ? δ, j = 1,2. In the present paper we obtain stability conditions for the problem A^αu + G^α(u) = ?, E^α(u) ? E.     

Homogenization of Hamilton‐Jacobi‐Bellman equations with respect to time‐space shifts in a stationary ergodic medium

We consider a family {u_? (t, x, ω)}, ? < 0, of solutions to the equation ?u_?/?t + ?Δu_?/2 + H (t/?, x/?, ?u_?, ω) = 0 with the terminal data u_?(T, x, ω) = U(x). Assuming that the dependence of the Hamiltonian H(t, x, p, ω) on time and space is realized through shifts in a stationary ergodic random medium, and that H is convex in p and satisfies certain growth and regularity conditions, we show the almost sure locally uniform convergence, in time and space, of u_?(t, x, ω) as ? → 0 to the solution u(t, x) of a deterministic averaged equation ?u/?t + H?(?u) = 0, u(T, x) = U(x). The “effective” Hamiltonian H? is given by a variational formula. © 2007 Wiley Periodicals, Inc.     

Nonlinear degenerate parabolic equations with time dependent singular coefficients

We are concerned with the nonexistence of positive solutions of the nonlinear parabolic partial differential equations in a cylinder Ω × (0, T) with initial condition u(., 0) = u₀(.) ? 0 and vanishing on the boundary ?Ω × (0, T), given by where $\Omega \in \mathbf {R}^NWe are concerned with the nonexistence of positive solutions of the nonlinear parabolic partial differential equations in a cylinder Ω × (0, T) with initial condition u(., 0) = u₀(.) ? 0 and vanishing on the boundary ?Ω × (0, T), given by where $\Omega \in \mathbf {R}^N$ (resp. a Carnot Carathéodory metric ball in $\mathbf {R}^{2N+1})$ with smooth boundary and the time dependent singular potential function V(x, t) ∈ L¹_loc(Ω × (0, T)), $\alpha , \beta \in \mathbf {R}$, 1 < p < N, p ? 1 + α + β > 0. We find the best lower bounds for p + β and provide proofs for the nonexistence of positive solutions. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Existence of travelling wave solutions for the heat equation in infinite cylinders with a nonlinear boundary condition

The existence of travelling wave solutions for the heat equation ∂_t u –Δu = 0 in an infinite cylinder subject to the nonlinear Neumann boundary condition (∂u /∂n) = f (u) is investigated. We show existence of nontrivial solutions for a large class of nonlinearities f. Additionally, the asymptotic behavior at ∞ is studied and regularity properties are established. We use a variational approach in exponentially weighted Sobolev spaces. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

An approximate Gidas–Ni–Nirenberg theorem

We study positive solutions u to Δu + f(u) = 0 in Ω, u = 0 on ?Ω, and we address the following question: If Ω is a small perturbation of a ball, is u a small perturbation of a radially symmetric function? We prove two theorems which give an affirmative answer under different assumptions on the non-linearity f and on the topologies in which perturbations are considered.     

Quasi‐embeddings of Steiner triple systems,or Steiner triple systems of different orders with maximum intersection

In this paper, we present a conjecture that is a common generalization of the Doyen–Wilson Theorem and Lindner and Rosa's intersection theorem for Steiner triple systems. Given u, v ≡ 1,3 (mod 6), u < v < 2u + 1, we ask for the minimum r such that there exists a Steiner triple system such that some partial system can be completed to an STS , where |?| = r. In other words, in order to “quasi‐embed” an STS(u) into an STS(v), we must remove r blocks from the small system, and this r is the least such with this property. One can also view the quantity (u(u ? 1)/6) ? r as the maximum intersection of an STS(u) and an STS(v) with u < v. We conjecture that the necessary minimum r = (v ? u) (2u + 1 ? v)/6 can be achieved, except when u = 6t + 1 and v = 6t + 3, in which case it is r = 3t for t ≠ 2, or r = 7 when t = 2. Using small examples and recursion, we solve the cases v ? u = 2 and 4, asymptotically solve the cases v ? u = 6, 8, and 10, and further show for given v ? u > 2 that an asymptotic solution exists if solutions exist for a run of consecutive values of u (whose required length is no more than v ? u). Some results are obtained for v close to 2u + 1 as well. The cases where ≈ 3u/2 seem to be the hardest. © 2004 Wiley Periodicals, Inc.     

Non-homogeneous non-linear damped wave equations in unbounded domains

We present a global existence theorem for solutions of u^tt ? ?_ia_ik (x)?_ku + u_t = ?(t, x, u, u_t, ?u, ?u_t, ?²u), u(t = 0) = u⁰, u(=0)=u¹, u(t, x), t ? 0, x?Ω.Ω equals ?³ or Ω is an exterior domain in ?³ with smoothly bounded star-shaped complement. In the latter case the boundary condition u|_?Ω = 0 will be studied. The main theorem is obtained for small data (u⁰, u¹) under certain conditions on the coefficients a_ik. The L^p - L^q decay rates of solutions of the linearized problem, based on a previously introduced generalized eigenfunction expansion ansatz, are used to derive the necessary a priori estimates.     

Über das homogene Dirichlet-Problem bei nichtlinearen partiellen Differentialgleichungen vom Typ der Boussinesq-Gleichung

Semilinear equations of Boussinesq type, e.g. u_tt + u_xx ? u_xxxx + (u²)_xx = 0, u_tt + u_xx ? u_xxxx + u_xu_xx = 0, or certain equations containing the squared wave operator, e.g. u_xxtt ? u^k = 0, k ? N k ≥ 2, are studied. A generalized boundary value problem on bounded domains can be treated using Hilbert space methods. The linear parts of these equations are not elliptic, the latter not even hypoelliptic. A mountain pass lemma is used to prove the existence of nontrivial weak solutions. These solutions are obtained in anisotropic Sobolev spaces.     

Singly Periodic Solutions of the Allen-Cahn Equation and the Toda Lattice

The Allen-Cahn equation ? Δu = u ? u ³ in ?² has family of trivial singly periodic solutions that come from the one dimensional periodic solutions of the problem ?u″ =u ? u ³. In this paper we construct a non-trivial family of singly periodic solutions to the Allen-Cahn equation. Our construction relies on the connection between this equation and the infinite Toda lattice. We show that for each one-soliton solution to the infinite Toda lattice we can find a singly periodic solution to the Allen-Cahn equation, such that its level set is close to the scaled one-soliton. The solutions we construct are analogues of the family of Riemann minimal surfaces in ?³.     

Saddle solutions of the balanced bistable diffusion equation

We prove that Δu + f(u) = 0 has a unique entire solution u(x, y) on ?² which has the same sign as the function xy, where f is a balanced bistable function like f(u) = u ? u³. But we neither assume f is odd nor assume the monotonicity properties of f(u)/u. Our result generalizes a previous result by Dang, Fife, and Peletier [12]. Our approach combines bifurcation methods and recent results on the qualitative properties for elliptic equations in unbounded domains by Berestycki, Caffarelli and Nirenberg [5, 6]. © 2002 Wiley Periodicals, Inc.     

A Fine Structure in the Theory of Isols

In this paper we introduce a collection of isols having some interesting properties. Imagine a collection W of regressive isols with the following features: (1) u, v ? W implies that u ? v or v ? u, (2) u ? v and v ? W imply u ? W, (3) W contains ? = {0,1,2,…} and some infinite isols, and (4) u e? W, u infinite, and u + v regressive imply u + v ? W. That such a collection W exists is proved in our paper. It has many nice features. It also satisfies (5) u, v ? W, u ? v and u infinite imply v ? g(u) for some recursive combinatorial function g, and (6) each u ? W is hereditarily odd-even and is hereditarily recursively strongly torre. The collection W that we obtain may be characterized in terms of a semiring of isols D(c) introduced by J. C. E. Dekker in [5]. We will show that W = D(c), where c is an infinite regressive isol that is called completely torre.     

On a Universality of the Heat Equation

We prove that there are solutions u(t,x) of the heat equation u_t = u_xx such that every continuous function f : [a, b] → ? can be uniformly approximated by a subsequence of u (n, ·), n? ?.     

An algorithm for tracing the boundary curves of mushy regions in some degenerate diffusion problems

We present an algorithm for approximating the solution of the degenerate diffusion problem u_t = (?(u))_xx in (0,1) × R⁺ (with zero Dirichlet boundary conditions, and nonnegative initial datum u₀), where ?(u) = min {ku1} for some ? > 0. The algorithm also provides an approximation for the interface curves which represent the boundary of the Mushy Region ?? = {(x, t): ? (u(x, t)) = 1}. The convergence of the algorithm is proved.     

The slow wave solution to the FitzHugh-Nagumo equations

This paper gives a new existence proof for a travelling wave solution to the FitzHugh-Nagumo equations, u_t = u_xx +f(u)?w, w _t = ? (u?γw). The proof uses a contraction mapping argument, and also shows that the solution (u, c, w) to the travelling wave equations, where c is the wave speed, converges as ? → 0⁺ to the solution to the equations having ?=0, c=0, and w=0.     

Regularization of a non-characteristic Cauchy problem for the heat equation

The non-characteristic Cauchy problem for the heat equation u_xx(x,t) = u₁(x,t), 0 ? x ? 1, ? ∞ < t < ∞, u(0,t) = φ(t), u_x(0, t) = ψ(t), ? ∞ < t < ∞ is regularizèd when approximate expressions for φ and ψ are given. Properties of the exact solution are used to obtain an explicit stability estimate.     

The boundary trace and generalized boundary value problem for semilinear elliptic equations with coercive absorption

In the first part of the paper we establish the existence of a boundary trace for positive solutions of the equation ?Δu + g(x, u) = 0 in a smooth domain Ω ? ?^N, for a general class of positive nonlinearities. This class includes every space independent, monotone increasing g which satisfies the Keller‐Osserman condition as well as degenerate nonlinearities g_α,q of the form g_α,q (x, u) = d(x, ?Ω)^α |u|^q?1 u, with α > ?2 and q > 1. The boundary trace is given by a positive regular Borel measure which may blow up on compact sets. In the second part we concentrate on the family of nonlinearities {g_α,q}, determine the critical value of the exponent q (for fixed α > ?2) and discuss (a) positive solutions with an isolated singularity, for subcritical nonlinearities and (b) the boundary value problem for ?Δu + g_α,q (x, u) = 0 with boundary data given by a positive regular Borel measure (possibly unbounded). We show that, in the subcritical case, the problem possesses a unique solution for every such measure. © 2003 Wiley Periodicals, Inc.     

A second-order,chaos-free,explicit method for the numerical solution of a cubic reaction problem in neurophysiology

A second order explicit method is developed for the numerical solution of the initialvalue problem w′(t) ≡ dw(t)/dt = ?(w), t > 0, w(0) = W⁰, in which the function ?(w) = αw(1 ? w) (w ? a), with α and a real parameters, is the reaction term in a mathematical model of the conduction of electrical impulses along a nerve axon. The method is based on four first-order methods that appeared in an earlier paper by Twizell, Wang, and Price [Proc. R. Soc. (London) A 430 , 541–576 (1990)]. In addition to being chaos free and of higher order, the method is seen to converge to one of the correct steady-state solutions at w = 0 or w = 1 for any positive value of α. Convergence is monotonic or oscillatory depending on W⁰, α, a, and l, the parameter in the discretization of the independent variable t. The approach adopted is extended to obtain a numerical method that is second order in both space and time for solving the initial-value boundary-value problem ?u/?t = κ?²u/?x² + αu(1 ? u)(u ? a) in which u = u(x,t). The numerical method so developed obtained the solution by solving a single linear algebraic system at each time step. © 1993 John Wiley & Sons, Inc.