Asymptotic analysis of a second-order singular perturbation model for phase transitions

We study the asymptotic behavior, as ${\varepsilon}$ tends to zero, of the functionals ${F^k_\varepsilon}$ introduced by Coleman and Mizel in the theory of nonlinear second-order materials; i.e., $$F^k_\varepsilon(u):=\int\limits_{I} \left(\frac{W(u)}{\varepsilon}-k\,\varepsilon\,(u')^2+\varepsilon^3(u'')^2\right)\,dx,\quad u\in W^{2,2}(I),$$ where k?>?0 and ${W:\mathbb{R}\to[0,+\infty)}$ is a double-well potential with two potential wells of level zero at ${a,b\in\mathbb{R}}$ . By proving a new nonlinear interpolation inequality, we show that there exists a positive constant k ₀ such that, for k?<?k ₀, and for a class of potentials W, ${(F^k_\varepsilon)}$ ??(L ¹)-converges to $$F^k(u):={\bf m}_k \, \#(S(u)),\quad u\in BV(I;\{a,b\}),$$ where m _k is a constant depending on W and k. Moreover, in the special case of the classical potential ${W(s)=\frac{(s^2-1)^2}{2}}$ , we provide an upper bound on the values of k such that the minimizers of ${F_\varepsilon^k}$ cannot develop oscillations on some fine scale and a lower bound on the values for which oscillations occur, the latter improving a previous estimate by Mizel, Peletier and Troy.     

Exact multiplicity for the perturbed Q-curvature problem in {\mathbb{R}^N,N \geq 5}

Let N ≥ 5 and \({{\mathcal{D}}^{2,2} (\mathbb{R}^N)}\) denote the closure of \({C_0^\infty (\mathbb{R}^N)}\) in the norm \({\|u\|_{{\mathcal{D}}^{2,2} (\mathbb{R}^N)}^2 := \int\nolimits_{\mathbb{R}^N} |\Delta u|^2.}\) Let \({K \in C^2 (\mathbb{R}^N).}\) We consider the following problem for ? ≥ 0: $$(P_\varepsilon) \left\{\begin{array}{llll}{\rm Find} \, u \in {\mathcal{D}}^{2, 2} (\mathbb{R}^N) \, \, {\rm solving} :\\ \left.\begin{array}{lll}\Delta^2 u = (1+ \varepsilon K (x)) u^{\frac{N+4}{N-4}}\\ u > 0 \end{array}\right\}{\rm in} \, \mathbb{R}^N.\end{array}\right.$$ We show an exact multiplicity result for (P _? ) for all small ? > 0.     

Spectral asymptotics and trace formulas for differential operators with unbounded coefficients

In the space L ²[0, π], we consider the operators $$ L = L_0 + V, L_0 = - y'' + (\nu ^2 - 1/4)r^{ - 2} y (\nu \geqslant 1/2) $$ with the Dirichlet boundary conditions. The potential V is the operator of multiplication by a function (in general, complex-valued) in L ²[0, π] satisfying the condition $$ \int\limits_0^\pi {r^\varepsilon } (\pi - r)^\varepsilon |V(r)|dr < \infty , \varepsilon \in [0,1] $$ . We prove the trace formula Σ _n=1 ^∞ [µ _n ? λ _n ? Σ _k=1 ^m α _k ⁽ⁿ⁾ ] = 0.     

Complexity of approximate realizations of Lipschitz functions by schemes in continuous bases

We show that any function satisfying the Lipschitz condition on a given closed interval can be approximately computed by a scheme (nonbranching program) in the basis composed of functions $$x - y, \left| x \right|, x*y = \min (\max (x,0),1)\min (\max (y,0),1),$$ and all constants from the closed interval [0, 1]; here the complexity of the scheme is $O\left( {{1 \mathord{\left/ {\vphantom {1 {\sqrt \varepsilon }}} \right. \kern-0em} {\sqrt \varepsilon }}} \right)$ , where ? is the accuracy of the approximation. This estimate of complexity, is in general, order-sharp.     

Topological degree for solutions of fourth order mean field equations

We consider the following fourth order mean field equation with Navier boundary condition $$\Delta^2 u = \rho \frac{h(x) e^{u}}{\int_\Omega h e^{u}}\,\,{\rm in}\, \Omega,{\quad}u = \Delta u = 0\,\,{\rm on}\,\partial \Omega,\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad(*)$$ where h is a C ^2,?? positive function, ?? is a bounded and smooth domain in ${\mathbb{R}^4}$ . We prove that for ${\rho \in (32m\sigma_3, 32(m + 1)\sigma_3)}$ the degree-counting formula for (*) is given by $$d(\rho)=\left\{\begin{array}{ll}\frac{1}{m!} (-\chi (\Omega) +1) \cdot\cdot \cdot (-\chi(\Omega)+m) & {\rm for}\, m >0 ,\\ 1 & {\rm for}\, m=0\end{array}\right.$$ where ??(??) is the Euler characteristic of ??. Similar result is also proved for the corresponding Dirichlet problem $$\Delta^2 u = \rho \frac{h(x) e^{u}}{\int_\Omega h e^{u}}\quad{\rm in}\,\Omega, \quad u = \nabla u = 0 \quad {\rm on}\,\,\partial \Omega.\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad(**)$$      

On the permutability of Backlund transformations

Let(?)=B_ηu:2(q-(?))+(⊿((?)-2q))+(2q_x+(?)_x))η=0,2(r-(?)+(⊿(2(?)-r)+(r_x+2(?)_x))η=0,u=(q,r)~Tbe the Backlund transformation (BT) of the hierarchy of AKNS equations,where η is a parameterand Δ=integral from -∞ to x (qr-(?))dx′.It is shown in this paper the infinitesimal BT B_(η+ε)B_η~(-1) admits thefollowing expansionB_(η+ε)B_η~(-1)u=u+εsum from n=0 to ∞ β_n(JL~(n+1)u)η~n,β_n=1+(-1)~n2~(-n-1),where L is the recurrence operator of the hierarchy and ε is an infinitesimal parameter.Thisexpansion implies the equivalence between the permutabiliy of BTs and the involution in pairs ofconserved densities.     

Variational inequalities with one-sided irregular obstacles

The authors show that the Hölder continuity of the solutionu∈K?{v∈H _o ¹ (Ω) | v≤ψ in Ω} of the variational inequality $$(\triangledown u,\triangledown u - \triangledown v) \leqslant (f,u - v),v\varepsilon \mathbb{K},$$ also holds under a one-sided Hölder condition on the obstacle ψ. This class of obstacles ψ contains the implicit obstacles of the quasivariational inequalities occuring in stochastic impulse control.     

Homotopy and nonlinear boundary value problems involving singular {\phi}-Laplacians

Homotopy methods are used to find sufficient conditions for the solvability of nonlinear boundary value problems of the form $$(\phi(u^\prime))^\prime = f(t, u, u^\prime), \quad g(u(\alpha), \phi(u^\prime(\beta))) = 0,$$ where (α, β) = (0, 1), (1, 0), (0, 0) or (1, 1), ${\phi}$ is a homeomorphism from the open ball ${B(a) \subset \mathbb{R}^n}$ onto ${\mathbb{R}^n}$ , f is a Carathéodory function, ${g : \mathbb{R}^n \times \, \mathbb{R}^n \rightarrow \mathbb{R}^m}$ is continuous and m ≤ 2n.     

BOUNDARY VALUE PROBLEMS OF SINGULARLY PERTURBED INTEGRO－DIFFERENTIAL EQUATIONS

ＢＯＵＮＤＡＲＹＶＡＬＵＥＰＲＯＢＬＥＭＳＯＦＳＩＮＧＵＬＡＲＬＹＰＥＲＴＵＲＢＥＤＩＮＴＥＧＲＯ－ＤＩＦＦＥＲＥＮＴＩＡＬＥＱＵＡＴＩＯＮＳＺＨＯＵＱＩＮＤＥＭＩＡＯＳＨＵＭＥＩ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ,ＪｉｌｉｎＵｎｉｖｅ...     

On solvability of Dirichlet problem for second order elliptic equation

The paper gives some solvability conditions of the Dirichlet problem for the second order elliptic equation $$ - div(A(x)\nabla u) + (\bar b(x),\nabla u) - div(\bar c(x)u) + d(x)u = f(x) - divF(x),x \in Q,u|_{\partial Q} = u_0 \in L_2 (\partial Q) $$ in bounded domain Q ? R _n (n ≥ 2) with smooth boundary ?Q ∈ C ₁. In particular, it is proved that if the homogeneous problem has only the trivial solution, then for any u ₀ ∈L ₂(?Q) and f, F from the corresponding functional spaces the solution of the non-homogeneous problem exists, from Gushchin’s space $ C_{n - 1} (\bar Q) $ and the following inequality is true: $$ \begin{gathered} \left\| u \right\|_{C_{n - 1} (\bar Q)}^2 + \mathop \smallint \limits_Q r\left| {\nabla u} \right|^2 dx \leqslant \hfill \\ \leqslant C\left( {\left\| {u_0 } \right\|_{L_2 (\partial Q)}^2 + \mathop \smallint \limits_Q r^3 (1 + |\ln r|)^{3/2} f^2 dx + \mathop \smallint \limits_Q r(1 + |\ln r|)^{3/2} |F|^2 dx} \right) \hfill \\ \end{gathered} $$ where r(x) is the distance from a point x ∈ Q to the boundary ?Q and the constant C does not depend on u ₀, f and F.     

On regularity of weak solutions to the instationary Navier–Stokes system: a review on recent results

Consider a weak instationary solution \(u\) of the Navier–Stokes equations in a domain \(\varOmega \subsetneq \mathbb {R}^3\) with Dirichlet boundary data \(u=0\) on \(\partial \Omega \) , i.e., \(u\) solves the Navier–Stokes system in the sense of distributions and $$\begin{aligned} u \in L^\infty \left( 0,T;L^2(\varOmega )\right) \cap L^2 \left( 0,T;W^{1,2}_0(\varOmega )\right) . \end{aligned}$$ Since the pioneering work of J. Leray 1933/34 it is an open problem whether weak solutions are unique and smooth. The main step—to nowadays knowledge—is to show that the given weak solution is a strong one in the sense of J. Serrin, i.e., \(u \in L^s \left( 0,T;L^q(\varOmega )\right) \) where \(s>2, q>3\) and \(\frac{2}{s}+ \frac{3}{q}=1\) . This review reports on recent progress in this important problem, considering this issue locally on an initial interval \([0,T')\) , \(T'<T\) , i.e., the problem of optimal initial values \(u(0)\) , globally on \([0,T)\) , and from a one-sided point of view \(u \in L^s \left( T'-\varepsilon ,T';L^q(\varOmega )\right) \) or \(u \in L^s\left( T',T'+\varepsilon ;L^q(\varOmega )\right) \) . Further topics deal with the energy (in-)equality, uniqueness of weak solutions, blow-up phenomena and the analysis in critical spaces for the whole space case.     

Existence of Generalized Heteroclinic Solutions of the Coupled Schr¨odinger System under a Small Perturbation

The following coupled Schrodinger system with a small perturbation
is considered, where β and ε are small parameters. The whole system has a periodic solution with the aid of a Fourier series expansion technique, and its dominant system has a heteroclinic solution. Then adjusting some appropriate constants and applying the fixed point theorem and the perturbation method yield that this heteroclinic solution deforms to a heteroclinic solution exponentially approaching the obtained periodic solution （called the generalized heteroclinic solution thereafter）.     

An embedding theorem for a weighted space of Sobolev type and correct solvability of the Sturm-Liouville equation

We consider the weighted space W ₁ ⁽²⁾ (?,q) of Sobolev type $$W_1^{(2)} (\mathbb{R},q) = \left\{ {y \in A_{loc}^{(1)} (\mathbb{R}):\left\| {y''} \right\|_{L_1 (\mathbb{R})} + \left\| {qy} \right\|_{L_1 (\mathbb{R})} < \infty } \right\} $$ and the equation $$ - y''(x) + q(x)y(x) = f(x),x \in \mathbb{R} $$ Here f ε L ₁(?) and 0 ? q ∈ L ₁ ^loc (?). We prove the following:

1. The problems of embedding W ₁ ⁽²⁾ (?q) ? L ₁(?) and of correct solvability of (1) in L ₁(?) are equivalent
2. an embedding W ₁ ⁽²⁾ (?,q) ? L ₁(?) exists if and only if $$\exists a > 0:\mathop {\inf }\limits_{x \in R} \int_{x - a}^{x + a} {q(t)dt > 0} $$

     

Mild and strong solutions to few types of fractional order nonlinear equations with periodic boundary conditions

In this paper, the two fractional periodic boundary value problems $$_0^C D_{0 + }^\alpha u\left( t \right) - \lambda u\left( t \right) = f\left( {t,u\left( t \right)} \right), u\left( 0 \right) = u\left( 1 \right), 0 < \alpha < 1,$$ and $$_0^C D_{0 + }^\beta u\left( t \right) - \lambda u\left( t \right) = f\left( {t,u\left( t \right)} \right), u\left( 0 \right) = u\left( 1 \right),u'\left( 0 \right) = 0 1 < \beta < 2,$$ will be studied where ₀ ^C D _t ^α is the ordinary Caputo fractional derivative and λ ∈ ? ?{0}. Under some suitable assumptions on the function f, the existence of at least one mild solution will be proved. Under some conditions, the uniqueness of this mild solution will be proved to both problems. Finally, these mild solutions will be strong solutions under certain conditions.     

Notes on Homoclinic Solutions of the Steady Swift-Hohenberg Equation

This paper considers the steady Swift-Hohenberg equation u＇＇＇＋β2u＇＇＋u^3-u=0.Using the dynamic approach, the authors prove that it has a homoclinic solution for each β∈ （4√8-ε0,4 √8）, where ε0 is a small positive constant. This slightly complements Santra and Wei＇s result [Santra, S. and Wei, J., Homoclinic solutions for fourth order traveling wave equations, SIAM J. Math. Anal., 41, 2009, 2038-2056], which stated that it admits a homoclinic solution for each β∈C （0,β0） where β0 = 0.9342 ....     

Estimations of Solutions of the Sturm– Liouville Equation with Respect to a Spectral Parameter

This paper is concerned with estimations of solutions of the Sturm–Liouville equation $$\big(p(x)y'(x)\big)'+\Big(\mu^2 -2i\mu d(x)-q(x)\Big)\rho(x)y(x)=0, \ \ x\in[0,1],$$ ( p ( x ) y ' ( x ) ) ' + ( μ 2 - 2 i μ d ( x ) - q ( x ) ) ρ ( x ) y ( x ) = 0 , x ∈ [ 0 , 1 ] , where ${\mu\in\mathbb{C}}$ μ ∈ C is a spectral parameter. We assume that the strictly positive function ${\rho\in L_{\infty}[0,1]}$ ρ ∈ L ∞ [ 0 , 1 ] is of bounded variation, ${p\in W^1_1[0,1]}$ p ∈ W 1 1 [ 0 , 1 ] is also strictly positive, while ${d\in L_1[0,1]}$ d ∈ L 1 [ 0 , 1 ] and ${q\in L_1[0,1]}$ q ∈ L 1 [ 0 , 1 ] are real functions. The main result states that for any r > 0 there exists a constant c _r such that for any solution y of the Sturm–Liouville equation with μ satisfying ${|{\rm Im}\, \mu|\leq r}$ | Im μ | ≤ r , the inequality ${\|y(\cdot,\mu)\|_C\leq c_r\|y(\cdot,\mu)\|_{L_1}}$ ∥ y ( · , μ ) ∥ C ≤ c r ∥ y ( · , μ ) ∥ L 1 is true. We apply our results to a problem of vibrations of an inhomogeneous string of length one with damping, modulus of elasticity and potential, rewritten in an operator form. As a consequence, we obtain that the operator acting on a certain energy Hilbert space is the generator of an exponentially stable C ₀-semigroup.     

Existence of semiclassical states for a quasilinear Schrödinger equation with critical exponent in {\mathbb{R}^N}

We consider the following perturbed version of quasilinear Schrödinger equation $$\begin{array}{lll}-\varepsilon^2\Delta u +V(x)u-\varepsilon^2\Delta (u^2)u=h(x,u)u+K(x)|u|^{22^*-2}u\end{array}$$ in ${\mathbb{R}^N}$ , where N ≥ 3, 22* = 4N/(N ? 2), V(x) is a nonnegative potential, and K(x) is a bounded positive function. Using minimax methods, we show that this equation has at least one positive solution provided that ${\varepsilon \leq \mathcal{E}}$ ; for any ${m\in\mathbb{N}}$ , it has m pairs of solutions if ${\varepsilon \leq \mathcal{E}_m}$ , where ${\mathcal{E}}$ and ${\mathcal{E}_m}$ are sufficiently small positive numbers. Moreover, these solutions ${u_\varepsilon \to 0}$ in ${H^1(\mathbb{R}^N)}$ as ${\varepsilon \to 0}$ .     

Multiple positive solutions for fractional differential systems

In this paper, we study the existence of positive solution to boundary value problem for fractional differential system $$\left\{\begin{array}{ll}D_{0^+}^\alpha u (t) + a_1 (t) f_1 (t, u (t), v (t)) = 0,\;\;\;\;\;\;\;\quad t \in (0, 1),\\D_{0^+}^\alpha v (t) + a_2 (t) f_2 (t, u (t), v (t)) = 0,\;\;\;\;\;\;\;\quad t \in (0, 1), \;\; 2 < \alpha < 3,\\u (0)= u' (0) = 0, \;\;\;\; u' (1) - \mu_1 u' (\eta_1) = 0,\\v (0)= v' (0) = 0, \;\;\;\; v' (1) - \mu_2 v' (\eta_2) = 0,\end{array}\right.$$ where ${D_{0^+}^\alpha}$ is the Riemann-Liouville fractional derivative of order ??. By using the Leggett-Williams fixed point theorem in a cone, the existence of three positive solutions for nonlinear singular boundary value problems is obtained.     

Large deviations for the empirical mean of an M/M/1 queue

Let $(Q(k):k\ge 0)$ be an $M/M/1$ queue with traffic intensity $\rho \in (0,1).$ Consider the quantity $$\begin{aligned} S_{n}(p)=\frac{1}{n}\sum _{j=1}^{n}Q\left( j\right) ^{p} \end{aligned}$$ for any $p>0.$ The ergodic theorem yields that $S_{n}(p) \rightarrow \mu (p) :=E[Q(\infty )^{p}]$ , where $Q(\infty )$ is geometrically distributed with mean $\rho /(1-\rho ).$ It is known that one can explicitly characterize $I(\varepsilon )>0$ such that $$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{1}{n}\log P\big (S_{n}(p)<\mu \left( p\right) -\varepsilon \big ) =-I\left( \varepsilon \right) ,\quad \varepsilon >0. \end{aligned}$$ In this paper, we show that the approximation of the right tail asymptotics requires a different logarithm scaling, giving $$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{1}{n^{1/(1+p)}}\log P\big (S_{n} (p)>\mu \big (p\big )+\varepsilon \big )=-C\big (p\big ) \varepsilon ^{1/(1+p)}, \end{aligned}$$ where $C(p)>0$ is obtained as the solution of a variational problem. We discuss why this phenomenon—Weibullian right tail asymptotics rather than exponential asymptotics—can be expected to occur in more general queueing systems.     

Perturbed asymptotically linear problems

The aim of this paper is to investigate the existence of solutions of the semilinear elliptic problem $$\left\{\begin{array}{ll} -\Delta u\ =\ p(x, u) + \varepsilon g(x, u)\quad {\rm in}\,\, \Omega, \\ u=0 \quad\quad\quad\quad\quad\quad\quad\quad\quad\,\,\,\,\,\,{\rm on}\,\, \partial\Omega, \end{array} \right. \quad\quad\quad(0.1) $$ where Ω is an open bounded domain of ${\mathbb{R}^N}$ , ${\varepsilon\in\mathbb{R}, p}$ is subcritical and asymptotically linear at infinity, and g is just a continuous function. Even when this problem has not a variational structure on ${H^1_0(\Omega)}$ , suitable procedures and estimates allow us to prove that the number of distinct critical levels of the functional associated to the unperturbed problem is “stable” under small perturbations, in particular obtaining multiplicity results if p is odd, both in the non-resonant and in the resonant case.