Symmetry of Mountain Pass Solutions of Some Vector Field Equations

We prove radial symmetry (or axial symmetry) of the mountain pass solution of variational elliptic systems − AΔu(x) + ∇ F(u(x)) = 0 (or − ∇.(A(r) ∇ u(x)) + ∇ F(r,u(x)) = 0,) u(x) = (u ₁(x),...,u _N (x)), where A (or A(r)) is a symmetric positive definite matrix. The solutions are defined in a domain Ω which can be , a ball, an annulus or the exterior of a ball. The boundary conditions are either Dirichlet or Neumann (or any one which is invariant under rotation). The mountain pass solutions studied here are given by constrained minimization on the Nehari manifold. We prove symmetry using the reflection method introduced in Lopes [(1996), J. Diff. Eq. 124, 378–388; (1996), Eletron. J. Diff. Eq. 3, 1–14].     

On nonlinear problems of mixed type: A qualitative theory using infinite-dimensional center manifolds

We consider the equation a(y)u_xx+div_y(b(y)_yu)+c(y)u=g(y, u) in the cylinder (–l,l)×, being elliptic where b(y)>0 and hyperbolic where b(y)<0. We construct self-adjoint realizations in L₂() of the operatorAu= (1/a) div_y(b_yu)+(c/a) in the case ofb changing sign. This leads to the abstract problem u_xx+Au=g(u), whereA has a spectrum extending to + as well as to –. For l= it is shown that all sufficiently small solutions lie on an infinite-dimensional center manifold and behave like those of a hyperbolic problem. Anx-independent cross-sectional integral E=E(u, u_x) is derived showing that all solutions on the center manifold remain bounded forx ±. For finitel, all small solutionsu are close to a solution on the center manifold such that u(x)-(x) Ce ^-(1-|x|) for allx, whereC and are independent ofu. Hence, the solutions are dominated by hyperbolic properties, except close to the terminal ends {±1}×, where boundary layers of elliptic type appear.     

Standing Waves for Nonlinear Schrödinger Equations with a General Nonlinearity

For elliptic equations ε²Δu − V(x) u + f(u) = 0, x ∈ R ^N , N ≧ 3, we develop a new variational approach to construct localized positive solutions which concentrate at an isolated component of positive local minimum points of V, as ε → 0, under conditions on f which we believe to be almost optimal. An erratum to this article can be found at     

Global Semigroup of Conservative Solutions of the Nonlinear Variational Wave Equation

We prove the existence of a global semigroup for conservative solutions of the nonlinear variational wave equation u _tt − c(u)(c(u)u _x ) _x  = 0. We allow for initial data u| _{t = 0} and u _t | _t=0 that contain measures. We assume that 0 < k^-1 \leqq c(u) \leqq k{0 < \kappa^{-1} \leqq c(u) \leqq \kappa}. Solutions of this equation may experience concentration of the energy density (u_t²+c(u)²u_x²)dx{(u_t^2+c(u)^2u_x^2){\rm d}x} into sets of measure zero. The solution is constructed by introducing new variables related to the characteristics, whereby singularities in the energy density become manageable. Furthermore, we prove that the energy may focus only on a set of times of zero measure or at points where c′(u) vanishes. A new numerical method for constructing conservative solutions is provided and illustrated with examples.     

On an analogue of the Euler-Cauchy polygon method for the numerical solution of ux y = f(x,y, u,ux, uy)

This paper develops, with an eye on the numerical applications, an analogue of the classical Euler-Cauchy polygon method (which is used in the solution of the ordinary differential equation dy/dx=f(x, y), y(x ₀)=y ₀) for the solution of the following characteristic boundary value problem for a hyperbolic partial differential equation u _xy =f(x, y, u, u _x , y _y ), u(x, y ₀)=(x), u(x ₀, y)=(y), where (x ₀)=(y ₀). The method presented here, which may be roughly described as a process of bilinear interpolation, has the advantage over previously proposed methods that only the tabulated values of the given functions (x) and (y) are required for its numerical application. Particular attention is devoted to the proof that a certain sequence of approximating functions, constructed in a specified way, actually converges to a solution of the boundary value problem under consideration. Known existence theorems are thus proved by a process which can actually be employed in numerical computation.

---

     

Oscillation criteria for a second-order quasilinear neutral functional dynamic equation on time scales

Our aim is to establish some sufficient conditions for the oscillation of the second-order quasilinear neutral functional dynamic equation

Homogeneous diffusion in ℝ with power-like nonlinear diffusivity

We study the nonnegative solutions of the initial-value problem u_t=(u^r|u_x|^p-1u_x)_x,u(x, 0)L ¹(), where p>0, r+p>0. The local velocity of propagation of the solutions is identified as V = -v_x| v_x|^p-1 where v =cu (with r +p - 1)/p and c (r +p/(r +p- 1)) is the nonlinear potential. Our main result is the a priori estimate (v_x|v_x|^p-1)_x-

Deduction of Saint-Venant"s Principle for the Asymptotic Residue of Elastic Rods

Let u(ε) be a rescaled 3-dimensional displacement field solution of the linear elastic model for a free prismatic rod Ω^ε having cross section with diameter of order ε, and let u ⁽⁰⁾ –Bernoulli–Navier displacement – and u ⁽²⁾ be the two first terms derived from the asymptotic method. We analyze the residue r(ε) = u(ε) − (u ⁽⁰⁾ + ε² u ⁽²⁾) and if the cross section is star-shaped, we prove such residue presents a Saint-Venant"s phenomenon near the ends of the rod. This revised version was published online in August 2006 with corrections to the Cover Date.     

Entire Solutions with Merging Fronts to Reaction–Diffusion Equations

We deal with a reaction–diffusion equation u _t = u _xx + f(u) which has two stable constant equilibria, u = 0, 1 and a monotone increasing traveling front solution u = φ(x + ct) (c > 0) connecting those equilibria. Suppose that u = a (0 < a < 1) is an unstable equilibrium and that the equation allows monotone increasing traveling front solutions u = ψ₁(x + c ₁ t) (c ₁ < 0) and ψ₂(x + c ₂ t) (c ₂ > 0) connecting u = 0 with u = a and u = a with u = 1, respectively. We call by an entire solution a classical solution which is defined for all . We prove that there exists an entire solution such that for t≈ − ∞ it behaves as two fronts ψ₁(x + c ₁ t) and ψ₂(x + c ₂ t) on the left and right x-axes, respectively, while it converges to φ(x + ct) as t→∞. In addition, if c > − c ₁, we show the existence of an entire solution which behaves as ψ₁( − x + c ₁ t) in and φ(x + ct) in for t≈ − ∞.     

On the generalized Cauchy function and new Conjecture on its exterior singularities

This article studies on Cauchy’s function f (z) and its integral, (2πi)J[ f (z)] ≡■C f (t)dt/(t z) taken along a closed simple contour C, in regard to their comprehensive properties over the entire z = x + iy plane consisted of the simply connected open domain D + bounded by C and the open domain D outside C. (1) With f (z) assumed to be C n (n < ∞-times continuously differentiable) z ∈ D + and in a neighborhood of C, f (z) and its derivatives f (n) (z) are proved uniformly continuous in the closed domain D + = [D + + C]. (2) Cauchy’s integral formulas and their derivatives z ∈ D + (or z ∈ D ) are proved to converge uniformly in D + (or in D = [D +C]), respectively, thereby rendering the integral formulas valid over the entire z-plane. (3) The same claims (as for f (z) and J[ f (z)]) are shown extended to hold for the complement function F(z), defined to be C n z ∈ D and about C. (4) The uniform convergence theorems for f (z) and F(z) shown for arbitrary contour C are adapted to find special domains in the upper or lower half z-planes and those inside and outside the unit circle |z| = 1 such that the four general- ized Hilbert-type integral transforms are proved. (5) Further, the singularity distribution of f (z) in D is elucidated by considering the direct problem exemplified with several typ- ical singularities prescribed in D . (6) A comparative study is made between generalized integral formulas and Plemelj’s formulas on their differing basic properties. (7) Physical sig- nificances of these formulas are illustrated with applicationsto nonlinear airfoil theory. (8) Finally, an unsolved inverse problem to determine all the singularities of Cauchy function f (z) in domain D , based on the continuous numerical value of f (z) z ∈ D + = [D + + C], is presented for resolution as a conjecture.     

Perturbation for fractional-order evolution equation

Fractional calculus has gained a lot of importance during the last decades, mainly because it has become a powerful tool in modeling several complex phenomena from various areas of science and engineering. This paper gives a new kind of perturbation of the order of the fractional derivative with a study of the existence and uniqueness of the perturbed fractional-order evolution equation for ^CD^a-e₀₊u(t)=A ^CD^d₀₊u(t)+f(t),^{C}D^{\alpha-\epsilon}_{0+}u(t)=A~^{C}D^{\delta}_{0+}u(t)+f(t), u(0)=u _o , α∈(0,1), and 0≤ε, δ<α under the assumption that A is the generator of a bounded C _o -semigroup. The continuation of our solution in some different cases for α, ε and δ is discussed, as well as the importance of the obtained results is specified.     

Positive Least Energy Solutions and Phase Separation for Coupled Schr?dinger Equations with Critical Exponent

In this paper we study the following coupled Schr?dinger system, which can be seen as a critically coupled perturbed Brezis–Nirenberg problem: {ll-Du +l₁ u = m₁ u³+buv²,     x ? W,-Dv +l₂ v = m₂ v³+bvu²,     x ? W,u\geqq 0, v\geqq 0 in W,    u=v=0     on ?W.\left\{\begin{array}{ll}-\Delta u +\lambda_1 u = \mu_1 u^3+\beta uv^2, \quad x\in \Omega,\\-\Delta v +\lambda_2 v =\mu_2 v^3+\beta vu^2, \quad x\in \Omega,\\u\geqq 0, v\geqq 0\, {\rm in}\, \Omega,\quad u=v=0 \quad {\rm on}\, \partial\Omega.\end{array}\right.     

Gearhart–Prüss Theorem and Linear Stability for Riemann Solutions of Conservation Laws

We study the spectral and linear stability of Riemann solutions with multiple Lax shocks for systems of conservation laws. Using a self-similar change of variables, Riemann solutions become stationary solutions for the system u _t + (Df(u) − x I)u _x = 0. In the space of O((1 + |x|)^−η) functions, we show that if , then λ is either an eigenvalue or a resolvent point. Eigenvalues of the linearized system are zeros of the determinant of a transcendental matrix. On some vertical lines in the complex plane, called resonance lines, the determinant can be arbitrarily small but nonzero. A C ⁰ semigroup is constructed. Using the Gearhart–Prüss Theorem, we show that the solutions are O(e ^{γ t} ) if γ is greater than the real parts of the eigenvalues and the coordinates of resonance lines. We study examples where Riemann solutions have two or three Lax-shocks. Dedicated to Professor Pavol Brunovsky on his 70th birthday.     

Determination of source parameter in parabolic equations

The authors consider the problem of finding u=u(x, t) and p=p(t) which satisfy u = Lu + p(t) + F(x, t, u, _x, p(t)) in Q _T=Ω×(0, T], u(x, 0)=ø(x), x∈Ω, u(x, t)=g(x, t) on ?Ω×(0, T] and either ∫_G(t) Φ(x,t)u(x,t)dx = E(t), 0 ? t ? T or u(x₀, t)=E(t), 0≤t≤T, where Ω?R ⁿ is a bounded domain with smooth boundary ?Ω, x ₀∈Ω, L is a linear elliptic operator, G(t)?Ω, and F, ø, g, and E are known functions. For each of the two problems stated above, we demonstrate the existence, unicity and continuous dependence upon the data. Some considerations on the numerical solution for these two inverse problems are presented with examples.     

Regularity of the Inverse of a Planar Sobolev Homeomorphism

Let be a domain. Suppose that f ∈ W^1,1_loc(Ω,R²) is a homeomorphism such that Df(x) vanishes almost everywhere in the zero set of J_f. We show that f^-1 ∈ W^1,1_loc(f(Ω),R²) and that Df⁻¹(y) vanishes almost everywhere in the zero set of Sharp conditions to quarantee that f⁻¹ ∈ W^1,q(f(Ω),R²) for some 1<q≤2 are also given.     

Special Fast Diffusion with Slow Asymptotics: Entropy Method and Flow on a Riemannian Manifold

We consider the asymptotic behaviour of positive solutions u(t, x) of the fast diffusion equation ${u_t=\Delta (u^{m}/m)= {\rm div}\,(u^{m-1} \nabla u)}We consider the asymptotic behaviour of positive solutions u(t, x) of the fast diffusion equation u_t=D(u^m/m) = div (u^m-1 ?u){u_t=\Delta (u^{m}/m)= {\rm div}\,(u^{m-1} \nabla u)} posed for x ? \mathbb R^d{x\in\mathbb R^d}, t > 0, with a precise value for the exponent m = (d − 4)/(d − 2). The space dimension is d ≧ 3 so that m < 1, and even m = −1 for d = 3. This case had been left open in the general study (Blanchet et al. in Arch Rat Mech Anal 191:347–385, 2009) since it requires quite different functional analytic methods, due in particular to the absence of a spectral gap for the operator generating the linearized evolution. The linearization of this flow is interpreted here as the heat flow of the Laplace– Beltrami operator of a suitable Riemannian Manifold (\mathbb R^d,g){(\mathbb R^d,{\bf g})}, with a metric g which is conformal to the standard \mathbb R^d{\mathbb R^d} metric. Studying the pointwise heat kernel behaviour allows to prove suitable Gagliardo–Nirenberg inequalities associated with the generator. Such inequalities in turn allow one to study the nonlinear evolution as well, and to determine its asymptotics, which is identical to the one satisfied by the linearization. In terms of the rescaled representation, which is a nonlinear Fokker–Planck equation, the convergence rate turns out to be polynomial in time. This result is in contrast with the known exponential decay of such representation for all other values of m.     

Thermal stresses in rectangular plates

Summary A method of determining the thermal stresses in a flat rectangular isotropic plate of constant thickness with arbitrary temperature distribution in the plane of the plate and with no variation in temperature through the thickness is presented. The thermal stress have been obtained in terms of Fourier series and integrals that satisfy the differential equation and the boundary conditions. Several examples have been presented to show the application of the method.Nomenclature x, y rectangular coordinates - _x, _y direct stresses - _xy shear stress - ø Airy's stress function - E Young's modulus of elasticity - coefficient of thermal expansion - T temperature - ² Laplace operator: - ⁴ biharmonic operator - 2a length of the plate - 2b width of the plate - a/b aspect ratio - a _mr, b_ms, c_nr, d_ns Fourier coefficients defined in equation (6) - _m=m/a m=1, 2, 3, ... _n=n/2a n=1, 3, 5, ... - _r=r/b r=1, 2, 3, ... _s=s/2b s=1, 3, 5, ... - A _m, B_m, C_n, D_n, E_r, F_r, G_s, H_s Fourier coefficients - K _rand L _s Fourier coefficients defined in equation (20) - direct stress at infinity - T ₁(x, y) temperature distribution symmetrical in x and y - T ₂(x, y) temperature distribution symmetrical in x and antisymmetrical in y - T ₃(x, y) temperature distribution antisymmetrical in x and symmetrical in y - T ₄(x, y) temperature distribution antisymmetrical in x and y     

The Critical Dimension for a Fourth Order Elliptic Problem with Singular Nonlinearity

We study the regularity of the extremal solution of the semilinear biharmonic equation ${{\Delta^2} u=\frac{\lambda}{(1-u)^2}}We study the regularity of the extremal solution of the semilinear biharmonic equation D² u=\fracl(1-u)²{{\Delta^2} u=\frac{\lambda}{(1-u)^2}}, which models a simple micro-electromechanical system (MEMS) device on a ball B ì \mathbbR^N{B\subset{\mathbb{R}}^N}, under Dirichlet boundary conditions u=?_n u=0{u=\partial_\nu u=0} on ?B{\partial B}. We complete here the results of Lin and Yang [14] regarding the identification of a “pull-in voltage” λ* > 0 such that a stable classical solution u _λ with 0 < u _λ < 1 exists for l ? (0,l^*){\lambda\in (0,\lambda^*)}, while there is none of any kind when λ > λ*. Our main result asserts that the extremal solution u_l^*{u_{\lambda^*}} is regular (sup_B u_l^* < 1 ){({\rm sup}_B u_{\lambda^*} <1 )} provided N \leqq 8{N \leqq 8} while u_l^*{u_{\lambda^*}} is singular (sup_B u_l^* = 1){({\rm sup}_B u_{\lambda^*} =1)} for N \geqq 9{N \geqq 9}, in which case 1-C₀|x|^4/3 \leqq u_l^* (x) \leqq 1-|x|^4/3{1-C_0|x|^{4/3} \leqq u_{\lambda^*} (x) \leqq 1-|x|^{4/3}} on the unit ball, where C₀:=(\fracl^*[`(l)])<sup>\frac</sup>13{C_0:=\left(\frac{\lambda^*}{\overline{\lambda}}\right)^\frac{1}{3}} and [`(l)]: = \frac89(N-\frac23)(N- \frac83){\bar{\lambda}:= \frac{8}{9}\left(N-\frac{2}{3}\right)\left(N- \frac{8}{3}\right)}.     

Wavefronts for a cooperative tridiagonal system of differential equations

Consider the infinite system of nonlinear differential equations \(\dot u\) _n =f(_n?1, u_n, u_n+1),nε?, wherefεC ¹,D ₁ f > 0,D ₃ f>0, andf(0, 0, 0) = 0 =f(1, 1, 1). Existence of wavefronts—i.e., solutions of the formu _n (t) = U(n + ct), wherecε?,U(? ∞) = 0,U(+∞) = 1, andU is strictly increasing—is shown for functionsf which satisfy the condition: there existsa, 0<a<1, such thatf(x, x,x)<0 for 0<x<a andf(x, x, x) > 0 fora < x < 1.