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.     

Entire solutions for a semilinear fourth order elliptic problem with exponential nonlinearity

We investigate entire radial solutions of the semilinear biharmonic equation Δ²u=λexp(u) in Rn, n?5, λ>0 being a parameter. We show that singular radial solutions of the corresponding Dirichlet problem in the unit ball cannot be extended as solutions of the equation to the whole of Rn. In particular, they cannot be expanded as power series in the natural variable s=log|x|. Next, we prove the existence of infinitely many entire regular radial solutions. They all diverge to −∞ as |x|→∞ and we specify their asymptotic behaviour. As in the case with power-type nonlinearities [F. Gazzola, H.-Ch. Grunau, Radial entire solutions for supercritical biharmonic equations, Math. Ann. 334 (2006) 905-936], the entire singular solution x?−4log|x| plays the role of a separatrix in the bifurcation picture. Finally, a technique for the computer assisted study of a broad class of equations is developed. It is applied to obtain a computer assisted proof of the underlying dynamical behaviour for the bifurcation diagram of a corresponding autonomous system of ODEs, in the case n=5.     

Modified Kantorovich theorem and asymptotic approximations of solutions to singularly perturbed systems of ordinary differential equations

The functional equation f(x,ε) = 0 containing a small parameter ε and admitting regular and singular degeneracy as ε → 0 is considered. By the methods of small parameter, a function x _n ⁰(ε) satisfying this equation within a residual error of O(ε ⁿ⁺¹) is found. A modified Newton’s sequence starting from the element x _n ⁰(ε) is constructed. The existence of the limit of Newton’s sequence is based on the NK theorem proven in this work (a new variant of the proof of the Kantorovich theorem substantiating the convergence of Newton’s iterative sequence). The deviation of the limit of Newton’s sequence from the initial approximation x _n ⁰(ε) has the order of O(ε ⁿ⁺¹), which proves the asymptotic character of the approximation x _n ⁰(ε). The method proposed is implemented in constructing an asymptotic approximation of a system of ordinary differential equations on a finite or infinite time interval with a small parameter multiplying the derivatives, but it can be applied to a wider class of functional equations with a small parameters.     

Nonlinear Geometric Optics for Short Pulses

This paper studies the propagation of pulse-like solutions of semilinear hyperbolic equations in the limit of short wavelength. The pulses are located at a wavefront Σ?{φ=0} where φ satisfies the eikonal equation and dφ lies on a regular sheet of the characteristic variety. The approximate solutions are u^ε_approx=U (t, x, φ(t, x)/ε) where U(t, x, r) is a smooth function with compact support in r. When U satisfies a familiar nonlinear transport equation from geometric optics it is proved that there is a family of exact solutions u^ε_exact such that u^ε_approx has relative error O(ε) as ε→0. While the transport equation is familiar, the construction of correctors and justification of the approximation are different from the analogous problems concerning the propagation of wave trains with slowly varying envelope.     

A singularly perturbed semilinear reaction-diffusion problem in a polygonal domain

The semilinear reaction-diffusion equation −ε²Δu+b(x,u)=0 with Dirichlet boundary conditions is considered in a convex polygonal domain. The singular perturbation parameter ε is arbitrarily small, and the “reduced equation” b(x,u₀(x))=0 may have multiple solutions. An asymptotic expansion for u is constructed that involves boundary and corner layer functions. By perturbing this asymptotic expansion, we obtain certain sub- and super-solutions and thus show the existence of a solution u that is close to the constructed asymptotic expansion. The polygonal boundary forces the study of the nonlinear autonomous elliptic equation −Δz+f(z)=0 posed in an infinite sector, and then well-posedness of the corresponding linearized problem.     

Asymptotic preconditioning of linear homogeneous systems of differential equations

We consider the asymptotic behavior of solutions of a linear differential system x^′=A(t)x, where A is continuous on an interval ([a,∞). We are interested in the situation where the system may not have a desirable asymptotic property such as stability, strict stability, uniform stability, or linear asymptotic equilibrium, but its solutions can be written as x=Pu, where P is continuously differentiable on [a,∞) and u is a solution of a system u^′=B(t)u that has the property in question. In this case we say that P preconditions the given system for the property in question.     

Decrease rate of the probabilities ofε-deviations for the means of stationary processes

The asymptotic behavior asn → ∞ of the normed sumsσn =n ^?1 Σ _k ^=0n?1 Xk for a stationary processX = (X _n ,n ∈ ?) is studied. For a fixedε > 0, upper estimates for P(sup _k≥n ¦σ _k ¦ ≥ε) asn → ∞ are obtained.     

Asymptotic behaviour of iterated modified 401-1401-1401-1401-2401-2401-2transforms on some slowly convergent sequences

LetL(α, r) denote the class of complex sequences (x _n) having an asymptotic expansion of type $$x_n \sim \sum\limits_{i \ge 0} {c_i n^{ - (\alpha + ri)} } , c_0 \ne 0,\alpha > 0,r > 0.$$ We describe the asymptotic behaviour of sequences obtained by applying to (x _n) some specific modified versions of the iterated Δ² transform, the θ₂ transform and some combinations of them. In this paper, we study the particular casesr=1 andr=1/2, which are the most useful in practice. The results are also valid for sequences (S _n) whose error sequence (x _n) defined byx _n=S _n?S, S=limS _n, belongs to someL(α, r).     

Layered stable equilibria of a reaction-diffusion equation with nonlinear Neumann boundary condition

In this work we investigate the existence and asymptotic profile of a family of layered stable stationary solutions to the scalar equation ut=ε²Δu+f(u) in a smooth bounded domain Ω⊂R³ under the boundary condition εν_∂u=δεg(u). It is assumed that Ω has a cross-section which locally minimizes area and limε→0εlnδε=κ, with 0?κ<∞ and δε>1 when κ=0. The functions f and g are of bistable type and do not necessarily have the same zeros what makes the asymptotic geometric profile of the solutions on the boundary to be different from the one in the interior.     

Uniqueness implies existence and uniqueness conditions for nonlocal boundary value problems for nth order differential equations

For the nth order differential equation, y(n)=f(x,y,y^′,…,y(n−1)), we consider uniqueness implies existence results for solutions satisfying certain nonlocal (k+2)-point boundary conditions, 1?k?n−1. Uniqueness of solutions when k=n−1 is intimately related to uniqueness of solutions when 1?k?n−2. These relationships are investigated as well.     

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.     

Existence of positive solutions for 2nth-order singular sublinear boundary value problems

This paper investigates the existence of positive solutions for 2nth-order (n>1) singular sub-linear boundary value problems. A necessary and sufficient condition for the existence of C2n−2[0,1] as well as C2n−1[0,1] positive solutions is given by constructing lower and upper solutions and with the maximal theorem. Our nonlinearity f(t,x₁,x₂,…,xn) may be singular at xi=0, i=1,2,…,n, t=0 and/or t=1.     

Oscillation criteria and growth of nonoscillatory solutions of higher order differential equations

We look for conditions under which all solutions of the nonlinear ordinary differential equation y⁽ⁿ⁾ + f(t, y) = 0, t ? 0, ?∞ < y < ∞, are oscillatory, as well as consider the asymptotic behaviour of the nonoscillatory solutions.     

Convergence of the wave equation damped on the interior to the one damped on the boundary

In this paper, we study the convergence of the wave equation with variable internal damping term γn(x)ut to the wave equation with boundary damping γ(x)⊗δx∈∂Ωut when (γn(x)) converges to γ(x)⊗δx∈∂Ω in the sense of distributions. When the domain Ω in which these equations are defined is an interval in R, we show that, under natural hypotheses, the compact global attractor of the wave equation damped on the interior converges in X=H¹(Ω)×L²(Ω) to the one of the wave equation damped on the boundary, and that the dynamics on these attractors are equivalent. We also prove, in the higher-dimensional case, that the attractors are lower-semicontinuous in X and upper-semicontinuous in H1−ε(Ω)×H−ε(Ω).     

The singular limit of the Allen-Cahn equation and the FitzHugh-Nagumo system

We consider an Allen-Cahn type equation of the form ut=Δu+ε⁻²fε(x,t,u), where ε is a small parameter and fε(x,t,u)=f(u)−εgε(x,t,u) a bistable nonlinearity associated with a double-well potential whose well-depths can be slightly unbalanced. Given a rather general initial data u₀ that is independent of ε, we perform a rigorous analysis of both the generation and the motion of interface. More precisely we show that the solution develops a steep transition layer within the time scale of order ε²|lnε|, and that the layer obeys the law of motion that coincides with the formal asymptotic limit within an error margin of order ε. This is an optimal estimate that has not been known before for solutions with general initial data, even in the case where gε≡0.Next we consider systems of reaction-diffusion equations of the form

     

Arnold's canonical matrices and the asymptotic simplification of ordinary differential equations

Let A(x,ε) be an n×n matrix function holomorphic for |x|?x₀, 0<ε?ε₀, and possessing, uniformly in x, an asymptotic expansion $\text{A(x,ε)?Σ}{}^{\mathrm{\infty }}{}_{\mathrm{r=0}}\text{A}{}_{\mathrm{r}}\text{(x) ε}{}^{\mathrm{r}}$, as ε→0⁺. An invertible, holomorphic matrix function P(x,ε) with an asymptotic expansion $\text{P(x,ε)?Σ}{}^{\mathrm{\infty }}{}_{\mathrm{r=0}}\text{P}{}_{\mathrm{r}}\text{(x)ε}{}^{\mathrm{r}}$, as ε→0⁺, is constructed, such that the transformation y = P(x,ε)z takes the differential equation $\text{ε}{}^{\mathrm{h}}\text{dy}\text{dx}\text{= A(x,ε)y,h}$ a positive integer, into $\text{ε}{}^{\mathrm{h}}\text{dz}\text{dx}\text{= B(x,ε)z}$, where B(x,ε) is asymptotically equal, to all orders, to a matrix in a canonical form for holomorphic matrices due to V.I. Arnold.     

Multi-bump solutions to Carrier's problem

We study the existence of well-known singularly perturbed BVP problem ε²y″=1−y²−2b(1−x²)y, y(−1)=y(1)=0 introduced by G.F. Carrier. In particular, we show that there exist multi-spike solutions, and the locations of interior spikes are clustered near x=0 and are separated by an amount of O(ε|lnε|), while only single spikes are allowed near the boundaries x=±1.     

Free and forced vibrations of nonlinear wave equations in ball

First, we shall deal with the free vibrations of a nonlinear radially symmetric wave equation (∂_t²−△)u=f(r,u) in n-dimensional ball B_a with center at the origin and radius a, where f is smooth, monotone decreasing in u, and satisfies f(r,0)=0. f(r,u) has asymptotic properties . For n=1,3 we shall show the existence of infinitely many radially symmetric time-periodic solutions with different periods of irrational multiple of a. Second, we shall deal with BVP for a forced nonlinear wave equation (∂_t²−△)u=εg(r,t,u), where g is T-periodic in t and ε is a small parameter. Under some Diophantine condition on a/T we shall show the existence of time-periodic solutions of the BVP. For 1?n?5 we shall construct infinitely many T satisfying the above Diophantine inequality, using asymptotic expansions of the zero points of the Bessel functions.     

Asymptotic properties of some non-autonomous systems in Banach spaces

Let X be a reflexive Banach space. We introduce the notion of weakly almost nonexpansive sequences (xn)_n?0 in X, and study their asymptotic behavior by showing that the nonempty weak ω-limit set of the sequence (xn/n)_n?1 always lies on a convex subset of a sphere centered at the origin of radius d=limn→∞‖xn/n‖. Subsequently we apply our results to study the asymptotic properties of unbounded trajectories for the quasi-autonomous dissipative system , where A is an accretive (possibly multivalued) operator in X×X, and f−f_∞∈Lp((0,+∞);X) for some f_∞∈X and 1?p<∞. These results extend recent results of J.S. Jung and J.S. Park [J.S. Jung, J.S. Park, Asymptotic behavior of nonexpansive sequences and mean points, Proc. Amer. Math. Soc. 124 (1996) 475-480], and J.S. Jung, J.S. Park, and E.H. Park [J.S. Jung, J.S. Park, E.H. Park, Asymptotic behaviour of generalized almost nonexpansive sequences and applications, Proc. Nonlinear Funct. Anal. 1 (1996) 65-79], as well as our results cited below containing previous results by several authors.