Multidimensional Oscillations for Non-linear Hyperbolic Mixed Problem: The Justified Non-linear Geometric Optics Method

The mixed-Neumann problem for the non-linear wave equation □u−a(u)(∣∂_tu)∣²−∣∇u∣² = f_ε(z) is studied. The function f_ε(z) = ∑_k∈Kf_k(z,ε⁻¹ϕ_k(z),ε), ε∈[0,1], K is finite, f_k(z,θ_k,ε) are 2π-periodic with respect to θ_k. The existence of solution u_ε on a domain z = (t,x,y)∈[0,T]×ℝ₊×ℝ^d, d = 1 or 2, is proved when ε is sufficiently small; T does not depend on ε. By the non-linear geometric optics method the asymptotic (with respect to ε→0) solution ũ _ε is constructed. The estimation for the rest ε²r_ε = u_ε−ũ_ε is derived and the limit r_ε, ε→0, is studied.     

On singular perturbations of superlinear elliptic systems

We study the existence, multiplicity and shape of positive solutions of the system −ε²Δu+V(x)u=K(x)g(v), −ε²Δv+V(x)v=H(x)f(u) in RN, as ε→0. The functions f and g are power-like nonlinearities with superlinear and subcritical growth at infinity, and V, H, K are positive and locally Hölder continuous.     

Homogenization of a boundary-value problem with a nonlinear boundary condition in a thick junction of type 3:2:1

We consider a boundary-value problem for the Poisson equation in a thick junction Ω_ε, which is the union of a domain Ω₀ and a large number of ε-periodically situated thin curvilinear cylinders. The following nonlinear Robin boundary condition ∂_νu_ε + εκ(u_ε)=0 is given on the lateral surfaces of the thin cylinders. The asymptotic analysis of this problem is performed as ε → 0, i.e. when the number of the thin cylinders infinitely increases and their thickness tends to zero. We prove the convergence theorem and show that the nonlinear Robin boundary condition is transformed (as ε → 0) in the blow-up term of the corresponding ordinary differential equation in the region that is filled up by the thin cylinders in the limit passage. The convergence of the energy integral is proved as well. Using the method of matched asymptotic expansions, the approximation for the solution is constructed and the corresponding asymptotic error estimate in the Sobolev space H¹(Ω_ε) is proved. Copyright © 2007 John Wiley & Sons, Ltd.     

Bi‐arc graphs and the complexity of list homomorphisms

Given graphs G, H, and lists L(v) ? V(H), v ε V(G), a list homomorphism of G to H with respect to the lists L is a mapping f : V(G) → V(H) such that uv ε E(G) implies f(u)f(v) ε E(H), and f(v) ε L(v) for all v ε V(G). The list homomorphism problem for a fixed graph H asks whether or not an input graph G, together with lists L(v) ? V(H), v ε V(G), admits a list homomorphism with respect to L. In two earlier papers, we classified the complexity of the list homomorphism problem in two important special cases: When H is a reflexive graph (every vertex has a loop), the problem is polynomial time solvable if H is an interval graph, and is NP‐complete otherwise. When H is an irreflexive graph (no vertex has a loop), the problem is polynomial time solvable if H is bipartite and H is a circular arc graph, and is NP‐complete otherwise. In this paper, we extend these classifications to arbitrary graphs H (each vertex may or may not have a loop). We introduce a new class of graphs, called bi‐arc graphs, which contains both reflexive interval graphs (and no other reflexive graphs), and bipartite graphs with circular arc complements (and no other irreflexive graphs). We show that the problem is polynomial time solvable when H is a bi‐arc graph, and is NP‐complete otherwise. In the case when H is a tree (with loops allowed), we give a simpler algorithm based on a structural characterization. © 2002 Wiley Periodicals, Inc. J Graph Theory 42: 61–80, 2003     

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.     

Long time approximations for solutions of wave equations associated with the Steklov spectral homogenization problems

The interest in the use of quasimodes, or almost frequencies and almost eigenfunctions, to describe asymptotics for low‐frequency and high‐frequency vibrations in certain singularly perturbed spectral problems, which depend on a small parameter ε, has been recently highlighted in many papers. In this paper we deal with the low frequencies for a Steklov‐type eigenvalue homogenization problem: we consider harmonic functions in a bounded domain of ?², and strongly alternating boundary conditions of the Dirichlet and Steklov type on a part of the boundary. The spectral parameter appears in the boundary condition on small segments T^ε of size O(ε) periodically distributed along the boundary; ε also measures the periodicity of the structure. We consider associated second‐order evolution problems on spaces of traces that depend on ε, and we provide estimates for the time t in which standing waves, constructed from quasimodes, approach their solutions u^ε(t) as ε→0. Copyright © 2009 John Wiley & Sons, Ltd.     

Boundary layer solutions to problems with infinite-dimensional singular and regular perturbations

We prove existence, local uniqueness and asymptotic estimates for boundary layer solutions to singularly perturbed equations of the type (ε²(x)u^′′(x))=f(x,u(x))+g(x,u(x),ε(x)u^′(x)), 0<x<1, with Dirichlet and Neumann boundary conditions. Here the functions ε and g are small and, hence, regarded as singular and regular functional perturbation parameters. The main tool of the proofs is a generalization (to Banach space bundles) of an implicit function theorem of R. Magnus.     

Multiple positive solutions of nonhomogeneous elliptic systems with strongly indefinite structure and critical Sobolev exponents

In this paper, we study the existence of multiple positive solutions to some Hamiltonian elliptic systems −Δv=λu+u^p+εf(x), −Δu=μv+v^q+δg(x) in Ω;u,v>0 in Ω; u=v=0 on ∂Ω, where Ω is a bounded domain in R^N (N?3); 0?f, g∈L∞(Ω); 1/(p+1)+1/(q+1)=(N−2)/N, p,q>1; λ,μ>0. Using sub- and supersolution method and based on an adaptation of the dual variational approach, we prove the existence of at least two nontrivial positive solutions for all λ,μ∈(0,λ₁) and ε,δ∈(0,δ₀), where λ₁ is the first eigenvalue of the Laplace operator −Δ with zero Dirichlet boundary conditions and δ₀ is a positive number.     

Action functional and quasi‐potential for the burgers equation in a bounded interval

Consider the viscous Burgers equation u_t + f(u)_x = εu_xx on the interval [0,1] with the inhomogeneous Dirichlet boundary conditions u(t,0) = ρ₀, u(t,1) = ρ₁. The flux f is the function f(u) = u(1 − u), ε > 0 is the viscosity, and the boundary data satisfy 0 < ρ₀ < ρ₁ < 1. We examine the quasi‐potential corresponding to an action functional arising from nonequilibrium statistical mechanical models associated with the above equation. We provide a static variational formula for the quasi‐potential and characterize the optimal paths for the dynamical problem. In contrast with previous cases, for small enough viscosity, the variational problem defining the quasi‐potential admits more than one minimizer. This phenomenon is interpreted as a nonequilibrium phase transition and corresponds to points where the superdifferential of the quasi‐potential is not a singleton. © 2011 Wiley Periodicals, Inc.     

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)}.     

On the Lp–Lq maximal regularity for Stokes equations with Robin boundary condition in a bounded domain

We obtain the L_p–L_q maximal regularity of the Stokes equations with Robin boundary condition in a bounded domain in ?ⁿ (n?2). The Robin condition consists of two conditions: v ? u=0 and αu+β(T(u, p)v – 〈T(u, p)v, v〉v)=h on the boundary of the domain with α, β?0 and α+β=1, where u and p denote a velocity vector and a pressure, T(u, p) the stress tensor for the Stokes flow and v the unit outer normal to the boundary of the domain. It presents the slip condition when β=1 and non‐slip one when α=1, respectively. The slip condition is appropriate for problems that involve free boundaries. Copyright © 2006 John Wiley & Sons, Ltd.     

Wave equations with time-dependent spatial operators of higher order

We study the initial-boundary value problem for ?_t²u(t,x)+A(t)u(t,x)+B(t)?_tu(t,x)=f(t,x) on [0,T]×Ω(Ω??ⁿ) with a homogeneous Dirichlet boundary condition; here A(t) denotes a family of uniformly strongly elliptic operators of order 2m, B(t) denotes a family of spatial differential operators of order less than or equal to m, and u is a scalar function. We prove the existence of a unique strong solution u. Furthermore, an energy estimate for u is given.     

Existence of Three Positive Pseudo-symmetric Solutions for a One Dimensional Discrete p-Laplacian

We apply the Five Functionals Fixed Point Theorem to verify the existence of at least three positive pseudo-symmetric solutions for the discrete three point boundary value problem, ?(g(?u(t-1)))+a(t))f(u(t))=0, for t∈{a+1,…,b+1} and u(a)=0 with u(v)=u(b+2) where g(v)=|v| ^p-2 v, p>1, for some fixed v∈{a+1,…,b+1} and σ=(b+2+v)/2 is an integer.     

Estimates of solutions of impulsive parabolic equations under Neumann boundary condition

In this paper, we prove the relation v(t)?u(t,x)?w(t), where u(t,x) is the solution of an impulsive parabolic equations under Neumann boundary condition ∂u(t,x)/∂ν=0, and v(t) and w(t) are solutions of two impulsive ordinary equations. We also apply these estimates to investigate the asymptotic behavior of a model in the population dynamics, and it is shown that there exists a unique solution of the model which converges to the periodic solution of an impulsive ordinary equation asymptotically.     

Periodic solutions for wave equations with variable coefficients with nonlinear localized damping

We discuss the existence of periodic solutions to the wave equation with variable coefficients utt−div(A(x)∇u)+ρ(x,ut)=f(x,t) with Dirichlet boundary condition. Here ρ(x,v) is a function like ρ(x,v)=a(x)g(v) with g^′(v)?0 where a(x) is nonnegative, being positive only in a neighborhood of a part of the domain.     

Multiple solutions of sublinear Lane-Emden elliptic equations

We study the sublinear elliptic equation, −Δ u = |u|^psgn u + f(x,u) in the bounded domain Ω under the zero Dirichlet boundary condition. We suppose that 0 < p < 1 and |f(x,u)| is small enough near u = 0 and do not suppose that f(x,u) is odd on u. Then we prove that this problem has infinitely many solutions. Supported in part by the Grant-in-Aid for Scientific Research (C) (No. 16540179), Ministry of Education, Culture, Sports, Science and Technology.     

Existence of three positive pseudo-symmetric solutions for a one dimensional p-Laplacian

We apply the Five Functionals Fixed Point Theorem to verify the existence of at least three positive pseudo-symmetric solutions for the three point boundary value problem, (g(u′))′+a(t)f(u)=0, u(0)=0, and u(ν)=u(1), where g(v)=|v|^p−2v, with p>1 and ν∈(0,1).     

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.     

Global existence and L ∞ estimates of solutions for a quasilinear parabolic system

In this paper, we study the global existence, L^∞ estimates and decay estimates of solutions for the quasilinear parabolic system u_t = div (|∇ u|^m ∇ u) + f(u, v), v_t = div (|∇ v|^m ∇ v) + g(u,v) with zero Dirichlet boundary condition in a bounded domain Ω ⊂ R^N. In particular, we find a critical value for the existence and nonexistence of global solutions to the equation u_t = div (|∇ u|^m ∇ u) + λ |u|^{α - 1} u.