Minimal time function and viscosity solutions

Two theorems in Ref. 1 are generalized. It is proved that, ifV(A,Γ) is the set of points that can be steered to the origin along a solution of the control systemx′=Ax?c, ifc(t)∈Γ, Γ is a compact subset ofR ⁿ , 0∈ intrelco Γ, and if a rank condition holds, then the minimal time functionT(·) is a viscosity solution of the Bellman equation $$\max \{ \left\langle {DT(x),\gamma - Ax} \right\rangle :\gamma \varepsilon co\Gamma \} - 1 = 0,x\varepsilon V(A,\Gamma )\backslash \{ 0\} ,$$ and of the Hàjek equation $$1 - \max \{ \left\langle {DT(x),\exp [ - AT(x)]} \right\rangle :\gamma \varepsilon co\Gamma \} = 0,x\varepsilon V(A,\Gamma ).$$      

Continuous additive functions and difference equations of infinite order

Пустьq∈(1, 2) иL=(q?1)^?1. Дляz∈[0,L] обозначимδ(z) функцию, для которойδ(z)=1, еслиz≧1/q иδ(z)=0, еслиz<1/q. Пустьy(z) определяется из урав ненияz= =δ(z)q ^?1+y(z)q ^?1, и регулярное представление \(\mathop \Sigma \limits_{n = 1}^\infty \varepsilon _n \left( x \right)q^{ - n} \) аргументах определя ется из следующих соотношен ий: $$x = x_0 , \varepsilon _n \left( x \right) = \delta \left( {x_n } \right), x_{n + 1} = y\left( {x_n } \right).$$ ФункцияF: [0,L]→C называе тся аддитивной, если о на представляется в вид е $$F\left( x \right) = \mathop \Sigma \limits_{n = 1}^\infty \varepsilon _n \left( x \right)a_n ,$$ где ε ¦a _n ¦<∞. «Бесконеч ное» представление 1=εl _i q ^?1 числа 1 определяется с ледующим образом: еслие _n (1)=1 для б есконечно многихп, т оl _n =ε _n (1) (n=1, 2, ...); если ? максим альный индекс, для которогоε _s (1)=1, то $$l_{ks + 1} = \left\{ \begin{gathered} \varepsilon _i \left( 1 \right) \left( {k = 0, 1, 2, ...; i = 1, ..., s - 1} \right) \hfill \\ 0 \left( {i = 0; k = 1, 2, ...} \right). \hfill \\ \end{gathered} \right.$$ В более ранней работе, опубликованной в это м журнале, авторы доказали, что а ддитивная функция является неп рерывной на отрезке [0,L] тогда и только тогда, когда ра венство $$a_n = \mathop \Sigma \limits_{i = 1}^\infty l_i a_{n + 1} $$ выполняется для всехn∈N. В настоящей работе ра ссматриваются непре рывные функции для которых в ыполняются дополнительные усло вия видаa _n =O(q ^??n ) (0a _n ≧0. Анализируются их свя зи с корнями функцииG(z)=1 +ε l _i z ⁱ . Доказы вается, что непрерывн ая аддитивная функция и ли вляется линейной, или нигде не дифференцир уема на отрезке [0,L].     

Blue sky catastrophe in relaxation systems with one fast and two slow variables

We establish conditions under which three-dimensional relaxational systems of the form

$$\dot x = f(x,y,\mu ),\varepsilon \dot y = g(x,y),x = (x_1 ,x_2 ) \in \mathbb{R}^2 ,y \in \mathbb{R},$$

where 0 ≤ ε ? 1, |µ| ? 1, and f, g ∈ C ^∞, exhibit the so-called blue sky catastrophe [the appearance of a stable relaxational cycle whose period and length tend to infinity as µ tends to some critical value µ_*(ε), µ_*(0) = 0].

     

Diffusion bound and reducibility for discrete Schr?dinger equations with tangent potential

In this paper, we consider the lattice Schr?dinger equations $$i\dot q_n (t) = \tan \pi (n\alpha + x)q_n (t) + \varepsilon \left( {q_{n + 1} (t) + q_{n - 1} (t)} \right) + \delta v_n (t)\left| {q_n (t)} \right|^{2\tau - 2} q_n (t),$$ with ?? satisfying a certain Diophantine condition, x ?? ?/?, and ?? = 1 or 2, where v _n (t) is a spatial localized real bounded potential satisfying |v _n (t)| ? Ce^???|n|. We prove that the growth of H ¹ norm of the solution {q _n (t)}_n??? is at most logarithmic if the initial data {q _n (0)} _n??? ?? H ¹ for ? sufficiently small and a.e. x fixed. Furthermore, suppose that the linear equation has a time quasi-periodic potential, i.e., $$i\dot q_n (t) = \tan \pi (n\alpha + x)q_n (t) + \varepsilon \left( {q_{n + 1} (t) + q_{n - 1} (t)} \right) + \delta v_n \left( {\theta ^0 + t\omega } \right)q_n \left( t \right).$$ Then the linear equation can be reduced to an autonomous equation for a.e. x and most values of the frequency vectors ?? if ? and ?? are sufficiently small.     

Ginzburg-Landau equation and motion by mean curvature, I: Convergence

In this paper we study the asymptotic behavior (∈→0) of the Ginzburg-Landau equation: $$u_l^\varepsilon - \Delta u^\varepsilon + \frac{1}{{\varepsilon ^2 }}f(u^\varepsilon ) = 0.$$ . where the unknownu ^∈ is a real-valued function of [0. ∞)× ^Rd , and the given nonlinear functionf(u) = 2u(u ²?1) is the derivative of a potential W(u) = (u ²?l)²/2 with two minima of equal depth. We prove that there are a subsequence ∈_n and two disjoint, open subsetsP, N of (0, ∞) ×R ^d satisfying $$u^{\varepsilon _n } \to 1_\mathcal{P} - 1_\mathcal{N} , as n \to \infty . $$ uniformly inP andN (here 1 _A is the indicator of the setA). Furthermore, the Hausdorff dimension of the interface Γ = complement of (P∪N) ? (0, ∞)×R ^d is equal tod and it is a weak solution of the mean curvature flow as defined in [13,92]. If this weak solution is unique, or equivalently if the level-set solution of the mean curvature flow is “thin,” then the convergence is on the whole sequence. We also show thatu ^∈n has an expansion of the form $$u^{\varepsilon _n } (t,x) = q\left( {\frac{{d(t,x) + O(\varepsilon _n )}}{{\varepsilon _n }}} \right).$$ whereq(r) = tanh(r) is the traveling wave associated to the cubic nonlinearityf, O(∈) → 0 as ∈ → 0, andd(t, x) is the signed distance ofx to thet-section of Γ. We prove these results under fairly general assumptions on the initial data,u ⁰. In particular we donot assume thatu ^∈(0.x) = q(d(0,x)/∈), nor that we assume that the initial energy, ε^∈(u ^∈(0, .)), is uniformly bounded in ∈. Main tools of our analysis are viscosity solutions of parabolic equations, weak viscosity limit of Barles and Perthame, weak solutions of mean curvature flow and their properties obtained in [13] and Ilmanen’s generalization of Huisken’s monotonicity formula.     

Stability of the Faedo-Galerkin approximation of nonlinear wave-equations

Present investigation analyses the Ljapunov stability of the systems of ordinary differential equations arising in then-th step of the Faedo-Galerkin approximation for the nonlinear wave-equation $$\begin{gathered} u_{tt} - u_{xx} + M(u) = 0 \hfill \\ u(0,t) = u(1,t) = 0 \hfill \\ u(x,0) = \Phi (x); u_t (x,0) = \Psi (x). \hfill \\ \end{gathered}$$ For the nonlinearities of the classM (u)=u ^{2 p+1} ,p ∈N, ann-independent stability result is given. Thus also the stability of the original equation is shown.     

On approximation of a function and its derivatives by a polynomial and its derivatives

Let g∈C~q[-1, 1] be such that g~((k))(±1)=0 for k=0,…,q. Let P_n be an algebraic polynomialof degree at most n, such that P_n~((k))(±1)=0 for k=0,…,[_2~ (q+1)]. Then P_n and its derivativesP_n~((k)) for k≤q well approximate g and its respective derivatives, provided only that P_n well approxi-mates g itself in the weighted norm ‖g(x)-P_n(x) (1-x~2)~(1/2)~q‖This result is easily extended to an arbitrary f∈C~q[-1, 1], by subtracting from f the polynomial ofminnimal degree which interpolates f~((0))…,f~((q)) at±1. As well as providing easy criteria for judging the simultaneous approximation properties of a givenPolynomial to a given function, our results further explain the similarities and differences betweenalgebraic polynomial approximation in C~q[-1, 1] and trigonometric polynomial approximation in thespace of q times differentiable 2π-periodic functions. Our proofs are elementary and basic in character,permitting the construction of actual error estimates for simultaneous approximation proedures for smallvalues of q.     

Vertical versus horizontal Poincaré inequalities on the Heisenberg group

Let ? = 〈a, b|a[a, b] = [a, b]a ∧ b[a, b] = [a, b]b〉 be the discrete Heisenberg group, equipped with the left-invariant word metric d _W (·, ·) associated to the generating set {a, b, a ^?1, b ^?1}. Letting B _n = {x ∈ ?: d _W (x, e _?) ? n} denote the corresponding closed ball of radius n ∈ ?, and writing c = [a, b] = aba ^?1 b ^?1, we prove that if (X, ‖ · ‖X) is a Banach space whose modulus of uniform convexity has power type q ∈ [2,∞), then there exists K ∈ (0, ∞) such that every f: ? → X satisfies $$\sum\limits_{k = 1}^{{n^2}} {\sum\limits_{x \in {B_n}} {\frac{{\left\| {f(x{c^k}) - f(x)} \right\|_X^q}}{{{k^{1 + q/2}}}}} } \leqslant K\sum\limits_{x \in {B_{21n}}} {(\left\| {f(xa) - f(x)} \right\|_X^q + \left\| {f(xb) - f(x)} \right\|_X^q)} $$ . It follows that for every n ∈ ? the bi-Lipschitz distortion of every f: B _n → X is at least a constant multiple of (log n)^1/q , an asymptotically optimal estimate as n → ∞.     

Inequalities for a distribution with monotone hazard rate

Summary LetX be a positive random variable with the survival function and the densityf. LetX have the moments μ=E(X) and μ₂=E(X ²) and put ε=|1-μ₂/2μ²|. Put and . It is proved that the following inequalities hold: , for allx>0, ifq(x) is monotone and that , ifq ₁ (x) is monotone. It is also shown that Brown's inequality which holds wheneverq ₁ (x) is increasing is not valid in general whenq ₁ is decreasing. The Institute of Statistical Mathematics     

The solution of mildly singular integral equation of the first kind on a disk

The integral equation $$\int_{\left| y \right| \leqslant 1} {\frac{{F(y)}}{{\left| {x - y} \right|^\lambda }}dy = G(x)} $$ x,y ∈ E², with 0 < λ < 2 is studied. Uniqueness for integrable solutions F is established under the assumption that G is integrable. Existence of an integrable solution F is then obtained under the further assumption that G ∈ C², with an explicit solution formula being given for F in terms of integral operators acting on derivatives of G.     

Degenerate complementary cones induced by aK 0-matrix

In this paper we prove two results concerning the unionC of all the degenerate complementary cones associated with the linear complementarity problem (M, q) whereM is aK ₀-matrix.

1. C is the same as the set of allq ∈R ⁿ for which (M, q) has infinitely many solutions.
2. C is the same as the boundary of the set of allq ∈ R ⁿ for which (M, q) has a solution, an easily observable geometric result for a 2 × 2K ₀-matrix.

     

Homogenization of quasi-linear equations with natural growth terms

In this paper we deal with the limit behaviour of the bounded solutions u_ε of quasi-linear equations of the form of Ω with Dirichlet boundary conditions on σΩ. The map a=a(x,ϕ) is periodic in x, monotone in ϕ, and satisfies suitable coerciveness and growth conditions. The function H=H(x,s,ϕ) is assumed to be periodic in x, continuous in [s,ϕ] and to grow at most like |ξ|^p. Under these assumptions on a and H we prove that there exists a function H⁰=H⁰(s,ϕ) with the same behaviour of H, such that, up to a subsequence, (u_ε) converges to a solution u of the homogenized problem -div(b(Du)) + γ|u|^p-2u = H⁰(u,Du) + h(x) on Ω, where b depends only on a and has analogous qualitative properties.     

Simultaneouse approximation to a differentiable function and its derivatives by Lagrange interpolating polynomials

This paper establishes the following pointwise result for simultancous Lagrange imterpolating approxima-tion:then|f~(k)(x)-P_n~(k)(f,x)|=O(1)△_n~(q-k)(x)ωwhere P_n(f,x)is the Lagrange interpolating potynomial of deereeon the nodesX_nUY_n(see the definition of the next).     

Interpolation with lagrange polynomials a simple proof of Markov inequality and some of its generalizations

The following theorem is provedTheorem 1.Let q be a polynomial of degree n(qP_n)with n distinct zeroes lying inthe interval[-1,1] and△'_q={-1}∪{τ_i:q'(τ_i)=0,i=1,n-1}∪{1}.If polynomial pP_n satisfies the inequalitythen for each k=1,n and any x[-1,1]its k-th derivative satisfies the inequality丨p~(k)(x)丨≤max{丨q~((k))(x)丨,丨1/k(x~2-1)q~(k+1)(x)+xq~((k))(x)丨}.This estimate leads to the Markov inequality for the higher order derivatives ofpolynomials if we set q=T_n,where Tn is Chebyshev polynomial least deviated from zero.Some other results are established which gives evidence to the conjecture that under theconditions of Theorem 1 the inequality ‖p~((k))‖≤‖q~(k)‖holds.     

On weighted strong type inequalities for the generalized weighted mean operator

The generalized weighted mean operator ${\mathbf{M}^{g}_{w}}$ is given by $$[\mathbf{M}^{g}_{w}f](x) = g^{-1} \left( \frac{1}{W(x)} \int \limits_{0}^{x}w(t)g(f(t))\,{\rm d}t \right),$$ with $$W(x) = \int \limits_{0}^{x} w(s) {\rm d}s, \quad {\rm for} \, x \in (0, + \infty),$$ where w is a positive measurable function on (0, + ∞) and g is a real continuous strictly monotone function with its inverse g ^?1. We give some sufficient conditions on weights u, v on (0, + ∞) for which there exists a positive constant C such that the weighted strong type (p, q) inequality $$\left( \int \limits_{0}^{\infty} u(x) \Bigl( [\mathbf{M}^{g}_{w}f](x) \Bigr)^{q} {\rm d}x \right)^{1 \over q} \leq C \left( \int \limits_{0}^{\infty}v(x)f(x)^{p} {\rm d}x \right)^{1 \over p}$$ holds for every measurable non-negative function f, where the positive reals p,q satisfy certain restrictions.     

On the selfsimilar solutions of a diffusion convection equation

This paper is concerned with the equation¶¶ div(| ?u| ^p-2?u)+e| ?U| ^q+bx?U+aU=0, for  x ? \mathbbR^N div(| \nabla u| ^{p-2}\nabla u)+\varepsilon \left| \nabla U\right| ^q+\beta x\nabla U+\alpha U=0,{\rm \ for}\;x\in \mathbb{R}^N ¶¶ where $ p>2,\;q\geq 1,\;N\geq 1, \quad\varepsilon =\pm 1 $ p>2,\;q\geq 1,\;N\geq 1, \quad\varepsilon =\pm 1 and a,b, m \alpha ,\beta, \mu are positive parameters. We study the existence, uniqueness of radial solutions u(r). Also, qualitative behavior of u(r) are presented.     

An analog of the weyl decomposition of the spaceL q (ω, ℝ n ) for a first-order differential operatorfor a first-order differential operator

We prove the following theorem: Suppose the function f(x) belongs toL _q (ω, ? ⁿ ), ω ? ? ^m , q∈(1, ∞), and satisfies the inequality $$|\int\limits_\omega {(f(x),{\mathbf{ }}v(x)){\mathbf{ }}dx| \leqslant \mu ||} v||'_q ,{\mathbf{ }}\tfrac{1}{q} + \tfrac{1}{{q'}} = 1,$$ for all n-dimensional vector-valued functions in the kernel of a scalar-valued first-order differential operator £ for which the second-order operatorLL ^* is elliptic. Then there exists a function p(x)∈W _q ¹ (ω) such that $$||f(x) - \mathfrak{L}^* p(x)||q \leqslant C_q \mu .$$ Bibliography: 6 titles.     

On the null-controllability in function space of nonlinear systems of neutral functional differential equations with limited controls

Consider the following functional equations of neutral type: $$\begin{gathered} (i) (d/dt)D(t,x_t ) = L(t,x_t ), \hfill \\ (ii) (d/dt)D(t,x_t ) = L(t,x_t ) + B(t)u(t), \hfill \\ (iii) (d/dt)D(t,x_t ) = L(t,x_t ) + B(t)u(t) + f(t,x(t),u(t)), \hfill \\ \end{gathered} $$ whereD, L are bounded linear operators fromC([?h, 0],E ⁿ) intoE ⁿ for eacht?(σ, ∞) =J, B is ann ×m continuous matrix function,u:J →C ^m is square integrable with values in the unitm-dimensional cubeC ^m, andf(t, 0, 0)=0. We prove that, if the system (i) is uniformly asymptotically stable and if the controlled system (ii) is controllable, then the system (iii) is null-controllable with constraints, provided that $$f = f_1 + f_2 $$ , where $$\begin{gathered} |f_1 (t,\phi ,0)| \leqslant \varepsilon \parallel \phi \parallel , |f_2 (t,\phi ,0)| \leqslant \pi (t)\parallel \phi \parallel , t \geqslant \sigma , \hfill \\ \Pi = \int_0^\infty {\pi (t)dt< \infty .} \hfill \\ \end{gathered} $$      

On the degree of complex rational approximation to real functions

Iff∈C[?1, 1] is real-valued, letE _R ^mn (f) andE _C ^mn (f) be the errors in best approximation tof in the supremum norm by rational functions of type (m, n) with real and complex coefficients, respectively. We show that form≥n?1≥0 $$\gamma _{mn} = \inf \{ {{E_{mn}^C (f)} \mathord{\left/ {\vphantom {{E_{mn}^C (f)} {E_{mn}^R (f)}}} \right. \kern-\nulldelimiterspace} {E_{mn}^R (f)}}:f \in C[ - 1,1]\} = \tfrac{1}{2}.$$      

BOUNDARY VALUE PROBLEMS OF SINGULARLY PERTURBED INTEGRO－DIFFERENTIAL EQUATIONS

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