An analysis for a high‐order difference scheme for numerical solution to utt = A(x,t)uxx + F(x,t, u,ut, ux)

This article is concerned with a high‐order implicit difference scheme presented by Mohanty, Jain, and George for the nonlinear hyperbolic equation u_tt = A(x, t)u_xx + F(x, t, u, u_t, u_x) with Dirichlet boundary conditions. Some prior estimates of the difference solution are obtained by the energy methods. The solvability of the difference scheme is proved by the energy method and Brower's fixed point theorem. Similarly, the uniqueness, the convergence in L_∞‐norm and the stability of the difference solution are obtained. A numerical example is provided to demonstrate the validity of the theoretical results. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 23: 484–498, 2007     

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.     

Weak Solutions to Stochastic Wave Equations with Values in Riemannian Manifolds

Let M be a compact Riemannian manifold. We prove existence of a global weak solution of the stochastic wave equation D _t u _t  = D _x u _x  + (X _u  + λ₀(u)u _t  + λ₁(u)u _x )[Wdot] where X is a continuous vector field on M, λ₀ and λ₁ are continuous vector bundles homomorphisms from TM to TM, and W is a spatially homogeneous Wiener process on ? with finite spectral measure. We use recently introduced general method of constructing weak solutions of SPDEs that does not rely on any martingale representation theorem.     

Approximation Methods for a Common Fixed Point of a Finite Family of Nonexpansive Mappings

Let K be a nonempty closed and convex subset of a real Banach space E. Let T: K → E be a continuous pseudocontractive mapping and f:K → E a contraction, both satisfying weakly inward condition. Then for t ? (0, 1), there exists a sequence {y _t } ? K satisfying the following condition: y _t  = (1 ? t)f(y _t ) + tT(y _t ). Suppose further that {y _t } is bounded or F(T) ≠  and E is a reflexive Banach space having weakly continuous duality mapping J _? for some gauge ?. Then it is proved that {y _t } converges strongly to a fixed point of T, which is also a solution of certain variational inequality. Moreover, an explicit iteration process that converges strongly to a common fixed point of a finite family of nonexpansive mappings and hence to a solution of a certain variational inequality is constructed.     

Divergence of Infinite-Variance Nonradial Solutions to the 3D NLS Equation

We consider solutions u(t) to the 3d NLS equation i? _t u + Δu + |u|² u = 0 such that ‖xu(t)‖ _{L ²}  = ∞ and u(t) is nonradial. Denoting by M[u] and E[u], the mass and energy, respectively, of a solution u, and by Q(x) the ground state solution to ?Q + ΔQ + |Q|² Q = 0, we prove the following: if M[u]E[u] < M[Q]E[Q] and ‖u ₀‖ _{L ²} ‖?u ₀‖ _{L ²}  > ‖Q‖ _{L ²} ‖?Q‖ _{L ²} , then either u(t) blows-up in finite positive time or u(t) exists globally for all positive time and there exists a sequence of times t _n  → + ∞ such that ‖?u(t _n )‖ _{L ²}  → ∞. Similar statements hold for negative time.     

Global well‐posedness for strongly damped multidimensional generalized Boussinesq equations

We study the Cauchy problem for a class of strongly damped multidimensional generalized Boussinesq equations u_tt?Δu?Δu_tt+Δ²u+Δ²u_tt?kΔu_t=Δf(u), where k is a positive constant. Under some assumptions and by using potential well method, we prove the existence and nonexistence of global weak solution without solution without establishing the local existence theory. Copyright © 2016 John Wiley & Sons, Ltd.     

Power Values of Derivations with Annihilator Conditions on Lie Ideals in Prime Rings

Let R be a prime ring of char R ≠ 2, d a nonzero derivation of R, U a noncentral Lie ideal of R, and a ∈ R. If au ^{n ₁} d(u) ^{n ₂} u ^{n ₃} d(u) ^{n ₄} u ^{n ₅} … d(u) ^{n _k?1} u ^{n _k}  = 0 for all u ∈ U, where n ₁, n ₂,…,n _k are fixed non-negative integers not all zero, then a = 0 and if a(u ^s d(u)u ^t ) ⁿ  ∈ Z(R) for all u ∈ U, where s ≥ 0, t ≥ 0, n ≥ 1 are some fixed integers, then either a = 0 or R satisfies S ₄, the standard identity in four variables.     

Nonsmooth Neumann-Type Problems Involving the p-Laplacian

This paper deals with the problem ? Δ _p u + α(x)|u| ^p?2 u = β(x)f(|u|) in Ω, subjected to the zero Neumann boundary condition, where p > 1, Ω ? ? ^N is bounded with smooth boundary, α, β ? L ^∞(Ω), essinf_Ωβ > 0, and f:[0,+ ∞) → ? is a not necessarily continuous nonlinearity that oscillates either at the origin or at the infinity. By using nonsmooth variational methods, we establish in both cases the existence of infinitely many distinct non-negative solutions of the Neumann problem. In our framework, α:Ω → ? may be a sign-changing or even a nonpositive potential, which is not permitted usually in earlier works.     

Viscosity Approximation Methods for Multivalued Mappings in Banach Spaces

Let K be a nonempty closed and convex subset of a real reflexive Banach space X that has weakly sequentially continuous duality mapping J. Let T: K → K be a multivalued non-expansive non-self-mapping satisfying the weakly inwardness condition as well as the condition T(y) = {y} for any y ∈ F(T) and such that for a contraction f: K → K and any t ∈ (0, 1), there exists x _t  ∈ K satisfying x _t  ∈ tf(x _t ) + (1 ? t)Tx _t . Then it is proved that {x _t } ? K converges strongly to a fixed point of T, which is also a solution of certain variational inequality. Moreover, the convergence of two explicit methods are also investigated.     

The Ambrosetti–Prodi Problem for the p-Laplace Operator

In this work we study the existence of a solution for the problem ? Δ _p u = f(u) + tΦ(x) + h(x), with homogeneous Dirichlet boundary conditions. Here the nonlinear term f(u) is a so-called jumping nonlinearity. In the proofs we use topological arguments and the sub-supersolutions method, together with comparison principles for the p-Laplacian.     

Periodic solutions preserved by nonstandard finite-difference schemes for the Lotka–Volterra system: a different approach

The Lotka–Volterra predator–prey system x′ = x ? xy, y′ = ? y+xy is a good differential equation system for testing numerical methods. This model gives rise to mutually periodic solutions surrounding the positive fixed point (1,1), provided the initial conditions are positive. Standard finite-difference methods produce solutions that spiral into or out of the positive fixed point. Previously, the author [Roeger, J. Diff. Equ. Appl. 12(9) (2006), pp. 937–948], generalized three different classes of nonstandard finite-difference methods that when applied to the predator–prey system produced periodic solutions. These methods preserve weighted area; they are symplectic with respect to a noncanonical structure and have the property that the computed points do not spiral. In this paper, we use a different approach. We apply the Jacobian matrix procedure to find a fourth class of nonstandard finite-difference methods. The Jacobian matrix method gives more general nonstandard methods that also produce periodic solutions for the predator–prey model. These methods also preserve the positivity property of the solutions.     

Multiple positive solutions of four point boundary value problems for finite difference equations†

In this paper, we consider the following second-order four-point boundary-value problems Δ² u(k ? 1)+f(k,u(k), Δu(k)) = 0,k ∈ {1,2,…,T}, u(0) = au(l ₁), u(T+1) = bu(l ₂). We give conditions on f to ensure the existence of at least three positive solutions of the given problem by applying a new fixed-point theorem of functional type in a cone. The emphasis is put on the nonlinear term involved with the first-order difference.     

Quasi-Reversibility Method for an Ill-Posed Nonhomogeneous Parabolic Problem

The quasi-reversibility method is considered for the non-homogeneous backward Cauchy problem u_t+Au = f(t), u(τ) = ? for 0≤t<τ, which is known to be an ill-posed problem. Here, A is a densely defined positive self-adjoint unbounded operator on a Hilbert space H with given data f∈L¹([0,τ],H) and ?∈H. Error analysis is considered when the data ?, f are exact and also when they are noisy. The results obtained generalize and simplify many of the results available in the literature.     

Regularity Near a Contact Point for Flame Propagation

In this paper we study a free boundary problem, arising from a model for the propagation of laminar flames. Consider a cylindrical region S in ? ⁿ , and the following free boundary problem with Dirichlet data on ? S: u _t  = Δ u in {u > 0} ∩ S, |? u|=1 on ? {u > 0} ∩ S and u = 0 on ? S. We show that if there is a contact point of the free boundary {u = 0, |? u|=1} with ? S, then the free boundary approaches ? S tangentially and it turns out to be a graph of C ^{1+α, α} function near the contact point. In particular, the space normal is Hölder continuous.     

Non-Diffusive Large Time Behavior for a Degenerate Viscous Hamilton–Jacobi Equation

The convergence to non-diffusive self-similar solutions is investigated for non-negative solutions to the Cauchy problem ? _t u = Δ _p u + |? u| ^q when the initial data converge to zero at infinity. Sufficient conditions on the exponents p > 2 and q > 1 are given that guarantee that the diffusion becomes negligible for large times and the L ^∞-norm of u(t) converges to a positive value as t → ∞.     

Localization on the Boundary of Blow-up for Reaction–Diffusion Equations with Nonlinear Boundary Conditions

Abstract

In this work we analyze the existence of solutions that blow-up in finite time for a reaction–diffusion equation u _t  ? Δu = f(x, u) in a smooth domain Ω with nonlinear boundary conditions ?u/?n = g(x, u). We show that, if locally around some point of the boundary, we have f(x, u) = ?βu ^p , β ≥ 0, and g(x, u) = u ^q then, blow-up in finite time occurs if 2q > p + 1 or if 2q = p + 1 and β < q. Moreover, if we denote by T _b the blow-up time, we show that a proper continuation of the blowing up solutions are pinned to the value infinity for some time interval [T, τ] with T _b  ≤ T < τ. On the other hand, for the case f(x, u) = ?βu ^p , for all x and u, with β > 0 and p > 1, we show that blow-up occurs only on the boundary.     

Regions of stability,equivalence theorems and the Courant-Friedrichs-Lewy condition

Summary The celebrated CFL condition for discretizations of hyperbolic PDEs is shown to be equivalent to some results of Jeltsch and Nevanlinna concerning regions of stability ofk-step,m-stage linear methods for the integration of ODEs. We characterize the methods for the numerical integration of the model equation,u _t=u _x which are weakly stable when the mesh-ratio takes the maximum value allowed by the CFL condition. We provide new equivalence theorems between stability and convergence, which improve on the classical results.     

Stability analysis of asymptotic profiles for sign-changing solutions to fast diffusion equations

Every solution u = u(x, t) of the Cauchy–Dirichlet problem for the fast diffusion equation, ? _t (|u| ^m-2 u) = Δu in Ω × (0, ∞) with a smooth bounded domain Ω of ${\mathbb{R}^N}$ and 2 < m < 2* : = 2N/(N ? 2)₊, vanishes in finite time at a power rate. This paper is concerned with asymptotic profiles of sign-changing solutions and a stability analysis of the profiles. Our method of proof relies on a detailed analysis of a dynamical system on some surface in the usual energy space as well as energy method and variational method.