On Discontinuous Differential Equations
|
|
- Dulcie Tucker
- 5 years ago
- Views:
Transcription
1 On Discontinuous Differential Equations Alberto Bressan and Wen Shen S.I.S.S.A., Via Beirut 4, Trieste 3414 Italy. Department of Informatics, University of Oslo, P.O. Box 18 Blindern, N-316 Oslo, Norway. This article is published in the volume of proceedings Differential Inclusions and Optimal Control, J. Andres, L. Gorniewicz and P. Nistri Eds., Julius Schauder Center, Lecture Notes in Nonlinear Analysis , pp Introduction. Consider the Cauchy problem for an ordinary differential equation ẋ = gt, x, x = x, t [, T ]. 1.1 When g is continuous, the local existence of solutions is provided by Peano s theorem. Several existence and uniqueness results are nown also in the case of a discontinuous right hand side [7]. We recall here the classical theorem of Carathéodory [8]: Theorem A. Let g : [, T ] IR n IR n be a bounded function. i If the map t gt, x is measurable for each x and the map x gt, x is continuous for each t, then the Cauchy problem 1.1 has at least one solution. ii If the map t gt, x is measurable for each x and the map x gt, x is Lipschitz continuous for each t, with a uniform Lipschitz constant, then the Cauchy problem 1.1 has a unique solution, depending Lipschitz continuously on the initial data x. 1
2 By a solution of 1.1 we mean an absolutely continuous function x : [, T ] IR n such that xt = x + t g t, xt dt for all t [, T ]. 1.2 More recent results rely on the notions of directional continuity and of bounded directional variation of a vector field. More precisely, given a closed convex cone Γ IR m, we say that a possibly discontinuous map φ : IR m IR n is directionally continuous if at each point p IR m one has lim p p, p p Γ φp = φp. 1.3 We say that the map φ has bounded directional variation if { N sup φp i φp i 1 } ; N 1, p i p i 1 Γ for every i i=1 <. 1.4 The following existence and uniqueness results were proved in [1, 9] and in [2], respectively. Theorem B. Let gt, x L < M for all t, x. i Assume that g is directionally continuous in the direction of the cone Γ =. { t, x; x Mt } IR n Then the Cauchy problem 1.1 admits at least one solution. ii Assume that g has bounded directional variation in the direction of the cone Γ in 1.5. Then the Cauchy problem 1.1 has a unique solution, depending Lipschitz continuously on the initial data x. Further uniqueness results can be found in [3, 4]. Concerning existence, see also the interesting wor [1]. Aim of the present paper is to prove two theorems on the existence and the uniqueness of solutions to the autonomous Cauchy problem ẋ = fx, x = x IR m, t [, T ], 1.6 extending the classical results of Carathéodory. As a preliminary, we observe that the equation 1.1 can be rewritten as an autonomous problem on IR n+1, introducing the variable x = t and the vector field fx, x = 1, gx, x. Under the assumptions of Theorem A, the function f can jump across the hyperplanes of the form x = constant. These hyperplanes are certainly transversal to f. Namely, taing the inner product of f with their normal vector, one trivially has f n = 1, gx, x 1, 1. 2
3 The next theorem shows that this transversality condition is indeed the ey ingredient toward the existence of solutions. Theorem 1. Assume that f in 1.6 has the form where: fx =. F g 1 τ1 x, x,..., g N τn x, x, 1.7 i Each map τ i : IR m IR is continuously differentiable. Each g i : IR IR m IR is a Carathéodory function, i.e. measurable in t and continuous in x. Moreover, F : IR N IR m is continuous. ii For some compact set K IR m, at every point x there holds: fx K, τ i x z > for every z K. 1.8 Then the Cauchy problem 1.6 has at least one solution. Remar 1. The assumption ii can be easily recognized as a transversality condition. Indeed, by every trajectory of 1.6 satisfies the differential inclusion ẋ K. Hence by this trajectory must cross transversally any hypersurface of the form τ i x = constant. According to the definition 1.7, these are the surfaces across which f can jump. To guarantee the existence of solutions, some ind of transversality condition is necessary, as shown by obvious counterexample ẋ = { 1 if x <, 1 if x, x =. Our second result is concerned with the uniqueness and continuous dependence of solutions. Theorem 2. Assume that f in 1.6 has the form fx =. g τx, x, 1.9 where: i The function τ : IR m IR is continuously differentiable. The map g : IR IR m IR m is measurable w.r.t. t and uniformly Lipschitz continuous w.r.t. x. ii There exists a compact set K such that fx K, τx z > for every x IR m, z K. 1.1 Moreover, the gradient τ has bounded directional variation w.r.t. the cone Γ. = { λz;, z K }. λ 3
4 Then the Cauchy problem 1.6 has a unique solution, depending on the initial data x in a locally Lipschitz continuous way. Remar 2. In the case where m = n + 1, x = x,..., x n and τx x, the above theorem reduces to part ii of Theorem A. Roughly speaing, in Carathéodory s theorem one allows jumps across the hyperplanes x = constant. On the other hand, in Theorem 2 we allow jumps across the hypersurfaces τx = constant, provided that these surfaces are transversal to the vector field f and the direction of their tangent planes does not wiggle too much. The reader should also notice that in Theorem 2 the assumption of bounded directional variation is placed on the gradient τ. This situation is quite different from part ii of Theorem B, where one assumes that the vector field f itself has bounded directional variation. Remar 3. In Theorems 1 and 2, the scalar functions τ, τ i were assumed to be C 1. This assumption simplifies some technical aspects of the proofs, but may liely be relaxed. We conjecture that the same results hold if τ, τ i are only assumed Lipschitz continuous, and the conditions 1.8, 1.1 are duly reformulated in terms of Clare generalized gradients [5]. Remar 4. If in Theorem 2 we drop the ey assumption that the directional variation of τ be bounded, then the uniqueness of solutions may fail. This will be illustrated by an example in the last section of this paper. On the other hand, the uniqueness result stated in [4] allows f to have discontinuities along a set of lines whose slopes have unbounded directional variation. However, the validity of this theorem relies on the very special structure of f, lined to the solution of a scalar conservation law. 2 - Proof of Theorem 1. It is not restrictive to assume that x =. Define the Picard operator u Pu Put. = t F g 1 τ1 us, us,, g N τn us, us ds. 2.1 We will prove that this operator is continuous on the compact set U. = { u : [, T ] IR m ; u =, ut us t s } K for all t > s. 2.2 Let ε > be given. Applying the theorem of Scorza-Dragoni [11] to each map g i, i = 1,..., N, we obtain the existence of a closed set J i with measir \ J i ε, 2.3 4
5 such that g i is continuous restricted to the set J i IR m. Define the closed set A. = { x IR m ; τ i x J i for every i = 1,..., N }. By 1.7, the composed map f is continuous restricted to A. Using the extension theorem of Dugundji [6, p. 188] we now construct a continuous map f : IR m K such that f = f on A. Call K = max z K z. By 2.2, every function u U thus taes values inside the closed ball X. = { x IR m ; x T K }. By and the continuity of the gradients τ i, there exists a strictly positive δ such that τ i x z δ > for all x X, z K, 2.4 because the sets X, K are compact. As a consequence, for each u U the maps t τ i ut from [, T ] into IR are strictly increasing. Namely, dτ i ut dt = τ i u δ >. 2.5 For a fixed u U, call I u [, T ] the set of times t such that ut / A, i.e.. } I u = {t [, T ]; τ i ut / Ji for some i = 1,, N. Because of 2.3 and 2.5, the measure of I u satisfies measi u Nε/δ. 2.6 To prove the continuity of P, call P the Picard operator corresponding to the function f, i.e. Put. = t f us ds. Clearly, P is continuous, hence for any fixed u U there exists a δ >, such that Pv Pu ε whenever v U, v u δ. 2.7 We now observe that the difference between the Picard operators P and P is small. Indeed, for every v U, 2.6 implies Together, 2.7 and 2.8 yield Pv Pv sup fx fx measiv 2 K Nε/δ. 2.8 x X Pv Pu Pv Pv + Pv Pu + Pu Pu ε + 4 K Nε/δ, 2.9 5
6 for every v U with v u δ. Since ε > in 2.9 was arbitrary, this shows that the Picard operator u P u is continuous, mapping the compact set U into itself. By applying the Schauder fixed point theorem we thus obtain the existence of a solution to the Cauchy problem Proof of Theorem 2. For any given x IR m, the existence of a solution follows from Theorem 1. The main part of the proof consists in showing that, given a radius R > and any two solutions ẋt = f xt, x = x, ẏt = f yt, y = y, 3.1 with x, y R, one has the estimate xt yt C R x y t [, T ], 3.2 for some constant C depending only on f and R. The uniqueness of solutions is an obvious R consequence of 3.2. The proof is given in four steps. STEP 1. We first study the case where f, in addition to the assumptions i and ii in Theorem 2, is piecewise smooth. More precisely, we assume that f has the form fx = g x if τ τx < τ +1, 3.3 for some increasing sequence of times {τ ; Z}. Here the functions g have uniformly bounded C 1 norm, say with sup g x C, x, sup D x g x C x, for some constants C, C 1. Under these additional regularity assumptions, the uniqueness of solutions of 1.6 is clear. Our aim is to derive the uniform estimate 3.2 by studying the evolution of infinitesimal tangent vectors. Consider a one-parameter family of solutions ẋ ε t = f x ε t, x ε = x ε, 3.5 regarded as small perturbations of a reference solution x = x. Define the first order tangent vector vt = lim ε + 6 x ε t xt. 3.6 ε
7 Call t, Z, the times where the reference solution x crosses the hypersurfaces τx = τ. By 1.1, all these crossings are transversal. According to the standard theory of piecewise smooth differential equations [7, 8], if the limit 3.6 exists at time t =, then the tangent vector v is well defined for all t [, T ], t t, Z. The time evolution of v is governed by the linear equation vt = D x g xt vt for t ]t, t +1 [, 3.7 together with impulses at the crossing times t. To describe the linear impulse at time t, call. τ xt n = τ xt the unit normal vector to the surface τ = τ at the point xt. Moreover, define fig. 1 f. = lim t t + f xt = g xt,. f = lim f xt = g xt+1, 3.8 t t +1 v. = lim t t + vt,. ṽ = lim vt. 3.9 t t +1 ε x t n v v f v +1 τ x = τ xt + 1 f τ x = τ figure 1 With the above notations, an elementary computation shows that, at the crossing time t, the values vt + = v and vt = ṽ 1 satisfy the linear relation v = ṽ 1 + f f 1 ṽ 1 n f 1 n
8 Our next goal is to derive a priori bounds on the size of v. In the following, with the Landau symbol O1 we denote a quantity whose norm is uniformly bounded. The bound may depend on T, on the constants C, C 1 in 3.4 and δ > in 2.4, and on the total directional variation of τ, but not on the particular solution x in 3.1. Recalling 3.8, from 3.4 we deduce f f = g xt+1 g xt = O1t +1 t Moreover, recalling 3.9, from 3.7 we deduce ṽ v = vt +1 vt+ = O1t +1 t v In the following, we use the superscripts N and T to denote the components of a vector which are parallel and tangent to n, respectively. More precisely, we set v N = v n, v T = v v N n The same notations are used for f. In addition, for t ]t, t +1 [ we define w. = v N f N z. = v T f T w The quantities w and z are defined similarly. By 1.1, the quantities f N are uniformly positive. We thus have the estimates w = O1 v, z = O1 v, 3.15 v = v N + v T f N w + z + f T w = f w + z = O1 w + z Bounds on the size of v can thus be obtained from estimates on w and z. From 3.13 and 3.1 it follows w = v n f n 1 = f n [ ] ṽ 1 n + f n f n 1 n ṽ 1 f 1 n = ṽ 1 n f 1 n = w 1 + O1 ṽ 1 n n 1. In addition, using 3.11 and 3.12 we deduce w 1 w 1 = ṽ 1 n 1 v 1 n 1 f 1 n 1 + = O1t t 1 v 1. [ v 1 n 1 v ] 1 n 1 f 1 n 1 f 1 n
9 Together, 3.12, 3.17 and 3.18 yield w = w 1 + O1 { n n 1 + t t 1 } v Similar estimates can be obtained for the component z, namely [ z z 1 = [ = = v T ] [ f T w ṽ T 1 + f T ṽ T 1 ṽt 1 1 ṽ T 1 1 = O1 n n 1 ṽ 1, f T 1 1 w 1 ] ] [ ṽ T 1 1 f T 1 1 f T 1 w 1 f T w + f T w T 1 w + w 1 f 1 1 f T 1 w 1 ] 3.2 and z 1 z 1 = ṽ T 1 1 vt f T 1 1 = O1 t t 1 v 1. f T 1 1 w 1 + f T 1 1 w 1 w Therefore, z = z 1 + O1 { n n 1 + t t 1 } v Introducing the scalar quantity y y. = w + z, from 3.19, 3.22 and 3.16 we deduce 1 + O1 { n n 1 + t t 1 } y 1. By induction on, for any integers p < q we obtain q y q exp C =p+1 n n 1 + t t 1 y p, 3.23 for some constant C. Recalling the assumption on the directional variation of τ, we now have t t 1 T, n n 1 const From 3.23 and 3.24, since by the quantities y are uniformly equivalent to the corresponding norms vt, we finally obtain the estimate vt CR vs for every s < t T, 3.25 for some constant C R. Observe that C R may depend on R through the quantity δ. = min { τx z ; z K, x R + T K }
10 STEP 2. Relying on the uniform bounds 3.25 on tangent vectors, it is easy to derive the estimate 3.2 in the piecewise smooth case. Indeed, let the initial data x, y be given. We then construct a one-parameter family of solutions x θ : [, T ] IR m, satisfying ẋ θ t = f x θ t, x θ = θy + 1 θx, θ [, 1]. Defining the tangent vectors v θ t =. x θ+ε t x θ t lim, ε ε for all t [, T ], from 3.25 it follows 1 yt xt d 1 dθ xθ t dθ = v θ t 1 dθ C v θ dθ = C y x, 3.27 R R proving 3.2. In this piecewise smooth case, the evolution equation in 1.6 thus generates a uniformly Lipschitz continuous flow. In the following, to denote the unique solution of the Cauchy problem 1.6, we shall use the semigroup notation xt = S t x. We recall that, if w : [, T ] IR m is any Lipschitz function, one has the error estimate wt S t w T wt + h S h wt L lim inf dt, t [, T ], 3.28 h + h where L is the Lipschitz constant of the semigroup. In particular, if w solves the perturbed equation ẇt = f wt + et, 3.29 and satisfies the bounds wt R + t K, from 3.27 and 3.28 we deduce wt S t w C R t es ds t [, T ]. 3.3 STEP 3. The general case will be treated using an approximation procedure. Fix any radius R arbitrarily large, and define U. = { u : [, T ] IR m ; u R, ut us t s } K for all t > s Lemma 1. Let f, g, τ be as in Theorem 2, and let R and ε > be given. Then there exists a piecewise smooth function ˆf : IR m K of the form ˆfx = ĝ x if τ τx < τ +1,
11 with the following properties. Each ĝ is smooth, and its Lipschitz constant satisfies Lipĝ sup Lip gt, t IR Moreover, the Picard operators determined by f and ˆf are close, namely T sup ˆf ut f ut dt ε u U To construct ˆf, we first apply the theorem of Scorza-Dragoni [11] to the Carathéodory function g and obtain a closed set J with measir \ J ε, such that the restriction of g to J IR m is continuous. The complement of J is an open set, which can be written as a disjoint union of countably many open intervals, say ]a ν, b ν [, ν 1. We then define g t, x = { gt, x if t J, θgb ν, x + 1 θga ν, x if t = θb ν + 1 θa ν for some ν 1, < θ < By 3.35, the function g is continuous in t and Lipschitz continuous in x. More precisely sup t IR Moreover, calling K = max z K z, for any u U we have Lip g t, = sup Lip gt, t J T g τut, ut g τut, ut dt 2 K meas { t; τut / J } 2 K ε/δ, 3.37 where δ > is the constant in We now choose a small δ > and, for each Z, we. define τ = δ and let ĝ be a mollification of the function g δ,. We then define ĝt, x =. ĝ x if τ t < τ +1, and let ˆf be as in From 3.36 it thus follows If δ is sufficiently small and the mollification ernel is sufficiently close to the identity, this construction yields T g τut, ut ĝ τut, ut dt ε for all u U Since ε > was arbitrary, 3.37 and 3.38 together yield Lemma 1. STEP 4. We can now conclude the proof of Theorem 2. Let x, y be any two solutions, as in 3.1. To prove the estimates 3.2, let ε > be given, choose R. = max { x, y } and construct 11
12 a function ˆf according to Lemma 1. According to STEP 1, the semigroup Ŝ generated by the evolution equation ẋ = ˆfx is Lipschitz continuous, more precisely Ŝt x Ŝty CR x y whenever x, y R, t [, T ], 3.39 for some constant C R not depending on ε. Define the quantities e x and e y as e x t. = f xt ˆf xt, e y t. = f yt ˆf yt, The functions x and y are thus solutions to ẋt = ˆf xt + e x t, x = x, ẏt = ˆf yt + e y t, y = y. By 3.39 we can now use 3.3 and deduce yt xt yt Ŝty + Ŝ t y Ŝtx + Ŝ t x xt C R t e y s ds + C R y x + C R 2C R ε + C R y x for every t [, T ]. Indeed, by 3.4 and 3.34 it follows T ey s ds < ε, Since ε was arbitrary, from 3.41 we deduce 3.2. T t [, T ]. 3.4 ex s ds < ε. t e x s ds A counterexample. In Theorem 2, the assumption that τ has bounded directional variation is essential for the uniqueness of the solutions, as shown by the following counterexample. Consider a function g : IR IR 2 IR 2 such that ] gt, x = gt =. 1, 1, if t 2 + 1, 1 ] 1, 1, if t ], 1 + 1, ], for any In the plane with coordinates x 1, x 2, define the sequences of points P, P, Q and Q by setting fig P =,, P. 1 =, 1, Q = 2 + 1, Q. = 12 1, ,
13 x 2 P P +1 Q P +1 P n x 1 Q figure 2 We can now construct a C 1 function τ : IR 2 IR with τx 1, λ > τx 1, 1 > for all x IR and such that, for every integer 1, 1 τx =., along the segment joining P, P, , along the segment joining Q, Q. 4.4 Letting fx =. g τx, and defining K =. co { 1, 1; 1, 1 } = { 1, λ; λ 1 }, all of the assumptions in Theorem 2 are satisfied, except the one on the directional variation of τ. Indeed, at all points P the gradient τ is parallel to the vector 1,. On the other hand, at each point Q this gradient is parallel to the vector 1, 1/ Since τ is continuous and never vanishes, its total variation in the direction of the cone Γ =. { } x 1, x 2 ; x 2 x 1 cannot be bounded. From the definitions it follows that, for each 1, fx. = { 1, 1 on the quadrilateral with vertices P, P, Q, Q, 1, 1 on the quadrilateral with vertices Q, Q, P +1, P
14 One can easily chec that the Cauchy problem on IR 2 ẋ = fx, x =, has two distinct solutions fig. 2. Namely, one solution passing through all the points Q, P, 1, and a second solution passing through all the points Q, P. Acnowledgment The second author is grateful to Department of Informatics, University of Oslo for supporting her visit at SISSA. References [1] A. Bressan, Directionally continuous selections and differential inclusions, Func. Evac , [2] A. Bressan, Unique solutions for a class of discontinuous differential equations, Proc. Amer. Math. Soc , [3] A. Bressan and G. Colombo, Existence and continuous dependence for discontinuous O.D.E. s, Boll. Un. Mat. Ital. 4-B 199, [4] A. Bressan and W. Shen, Uniqueness for discontinuous O.D.E. and conservation laws, Nonlinear Analysis, to appear. [5] F. H. Clare, Optimization and Nonsmooth Analysis, Wiley, [6] Dugundji, Topology, Allyn and Bacon, Boston [7] A. F. Filippov, Differential Equations with Discontinuous Right Hand Sides, Kluwer Acad. Publ., [8] P. Hartman, Ordinary Differential Equations, Birhäuser, 1982, Second Edition. [9] A. Pucci, Sistemi di equazioni differenziali con secondo membro discontinuo rispetto all incognita, Rend. Ist. Mat. Univ. Trieste, Vol. III 1971, ] W. Rzymowsi, Existence of solutions for a class of differential equations in IR n, J. Math. Anal. Appl., to appear. [11] G. Scorza-Dragoni, Un teorema sulle funzioni continue rispetto ad una e misurabili rispetto ad un altra variablie, Rend. Sem. Mat. Univ. Padova ,
Extremal Solutions of Differential Inclusions via Baire Category: a Dual Approach
Extremal Solutions of Differential Inclusions via Baire Category: a Dual Approach Alberto Bressan Department of Mathematics, Penn State University University Park, Pa 1682, USA e-mail: bressan@mathpsuedu
More informationRecent Trends in Differential Inclusions
Recent Trends in Alberto Bressan Department of Mathematics, Penn State University (Aveiro, June 2016) (Aveiro, June 2016) 1 / Two main topics ẋ F (x) differential inclusions with upper semicontinuous,
More informationPiecewise Smooth Solutions to the Burgers-Hilbert Equation
Piecewise Smooth Solutions to the Burgers-Hilbert Equation Alberto Bressan and Tianyou Zhang Department of Mathematics, Penn State University, University Park, Pa 68, USA e-mails: bressan@mathpsuedu, zhang
More informationINTEGRABLE SOLUTIONS OF A FUNCTIONAL-INTEGRAL EQUATION. In this paper we consider the following functional-integral equation. k(t, s)g(s, y(s)) ds
JOURNAL OF INTEGRAL EQUATIONS AN APPLICATIONS Volume 4, Number 1, Winter 1992 INTEGRABLE SOLUTIONS OF A FUNCTIONAL-INTEGRAL EQUATION G. EMMANUELE ABSTRACT. We consider a very general functional-integral
More informationShift Differentials of Maps in BV Spaces.
Shift Differentials of Maps in BV Spaces. Alberto Bressan and Marta Lewica SISSA Ref. 59/98/M (June, 998) Introduction Aim of this note is to provide a brief outline of the theory of shift-differentials,
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationLocally Lipschitzian Guiding Function Method for ODEs.
Locally Lipschitzian Guiding Function Method for ODEs. Marta Lewicka International School for Advanced Studies, SISSA, via Beirut 2-4, 3414 Trieste, Italy. E-mail: lewicka@sissa.it 1 Introduction Let f
More informationNonlinear Control Systems
Nonlinear Control Systems António Pedro Aguiar pedro@isr.ist.utl.pt 3. Fundamental properties IST-DEEC PhD Course http://users.isr.ist.utl.pt/%7epedro/ncs2012/ 2012 1 Example Consider the system ẋ = f
More informationMultidimensional Graph Completions and Cellina Approximable Multifunctions
Multidimensional Graph Completions and Cellina Approximable Multifunctions Alberto Bressan and Russell DeForest Department of Mathematics, Penn State University University Par, Pa 16802, USA e-mails: bressan@mathpsuedu,
More informationThe Bang-Bang theorem via Baire category. A Dual Approach
The Bang-Bang theorem via Baire category A Dual Approach Alberto Bressan Marco Mazzola, and Khai T Nguyen (*) Department of Mathematics, Penn State University (**) Université Pierre et Marie Curie, Paris
More informationPeriodic solutions of weakly coupled superlinear systems
Periodic solutions of weakly coupled superlinear systems Alessandro Fonda and Andrea Sfecci Abstract By the use of a higher dimensional version of the Poincaré Birkhoff theorem, we are able to generalize
More informationfor all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true
3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO
More informationProduct metrics and boundedness
@ Applied General Topology c Universidad Politécnica de Valencia Volume 9, No. 1, 2008 pp. 133-142 Product metrics and boundedness Gerald Beer Abstract. This paper looks at some possible ways of equipping
More informationTiziana Cardinali Francesco Portigiani Paola Rubbioni. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 32, 2008, 247 259 LOCAL MILD SOLUTIONS AND IMPULSIVE MILD SOLUTIONS FOR SEMILINEAR CAUCHY PROBLEMS INVOLVING LOWER
More informationNOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES
NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES JONATHAN LUK These notes discuss theorems on the existence, uniqueness and extension of solutions for ODEs. None of these results are original. The proofs
More informationON THE PATHWISE UNIQUENESS OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS
PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 4 1998 ON THE PATHWISE UNIQUENESS OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS C. Sonoc Abstract: A sufficient condition for uniqueness of solutions of ordinary
More informationNonpathological Lyapunov functions and discontinuous Carathéodory systems
Nonpathological Lyapunov functions and discontinuous Carathéodory systems Andrea Bacciotti and Francesca Ceragioli a a Dipartimento di Matematica del Politecnico di Torino, C.so Duca degli Abruzzi, 4-9
More informationOn the Front-Tracking Algorithm
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 7, 395404 998 ARTICLE NO. AY97575 On the Front-Tracking Algorithm Paolo Baiti S.I.S.S.A., Via Beirut 4, Trieste 3404, Italy and Helge Kristian Jenssen
More informationSOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 167 174 SOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES ABDELHAKIM MAADEN AND ABDELKADER STOUTI Abstract. It is shown that under natural assumptions,
More informationA TWO PARAMETERS AMBROSETTI PRODI PROBLEM*
PORTUGALIAE MATHEMATICA Vol. 53 Fasc. 3 1996 A TWO PARAMETERS AMBROSETTI PRODI PROBLEM* C. De Coster** and P. Habets 1 Introduction The study of the Ambrosetti Prodi problem has started with the paper
More informationOn a Lyapunov Functional Relating Shortening Curves and Viscous Conservation Laws
On a Lyapunov Functional Relating Shortening Curves and Viscous Conservation Laws Stefano Bianchini and Alberto Bressan S.I.S.S.A., Via Beirut 4, Trieste 34014 Italy. E-mail addresses: bianchin@mis.mpg.de,
More informationThe Minimum Speed for a Blocking Problem on the Half Plane
The Minimum Speed for a Blocking Problem on the Half Plane Alberto Bressan and Tao Wang Department of Mathematics, Penn State University University Park, Pa 16802, USA e-mails: bressan@mathpsuedu, wang
More informationExistence and uniqueness: Picard s theorem
Existence and uniqueness: Picard s theorem First-order equations Consider the equation y = f(x, y) (not necessarily linear). The equation dictates a value of y at each point (x, y), so one would expect
More informationOn uniqueness of weak solutions to transport equation with non-smooth velocity field
On uniqueness of weak solutions to transport equation with non-smooth velocity field Paolo Bonicatto Abstract Given a bounded, autonomous vector field b: R d R d, we study the uniqueness of bounded solutions
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationOn locally Lipschitz functions
On locally Lipschitz functions Gerald Beer California State University, Los Angeles, Joint work with Maribel Garrido - Complutense, Madrid TERRYFEST, Limoges 2015 May 18, 2015 Gerald Beer (CSU) On locally
More informationIntroduction to Nonlinear Control Lecture # 3 Time-Varying and Perturbed Systems
p. 1/5 Introduction to Nonlinear Control Lecture # 3 Time-Varying and Perturbed Systems p. 2/5 Time-varying Systems ẋ = f(t, x) f(t, x) is piecewise continuous in t and locally Lipschitz in x for all t
More information2 Statement of the problem and assumptions
Mathematical Notes, 25, vol. 78, no. 4, pp. 466 48. Existence Theorem for Optimal Control Problems on an Infinite Time Interval A.V. Dmitruk and N.V. Kuz kina We consider an optimal control problem on
More informationExistence and Uniqueness
Chapter 3 Existence and Uniqueness An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect
More informationGeometry and topology of continuous best and near best approximations
Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationNonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems. p. 1/1
Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems p. 1/1 p. 2/1 Converse Lyapunov Theorem Exponential Stability Let x = 0 be an exponentially stable equilibrium
More informationLecture 5: Lyapunov Functions and Storage Functions 1
Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science 6.243j (Fall 2003): DYNAMICS OF NONLINEAR SYSTEMS by A. Megretski Lecture 5: Lyapunov Functions and Storage
More informationEXISTENCE AND UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH LINEAR PROGRAMS EMBEDDED
EXISTENCE AND UNIQUENESS THEOREMS FOR ORDINARY DIFFERENTIAL EQUATIONS WITH LINEAR PROGRAMS EMBEDDED STUART M. HARWOOD AND PAUL I. BARTON Key words. linear programs, ordinary differential equations, embedded
More informationAN EXISTENCE-UNIQUENESS THEOREM FOR A CLASS OF BOUNDARY VALUE PROBLEMS
Fixed Point Theory, 13(2012), No. 2, 583-592 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html AN EXISTENCE-UNIQUENESS THEOREM FOR A CLASS OF BOUNDARY VALUE PROBLEMS M.R. MOKHTARZADEH, M.R. POURNAKI,1 AND
More informationPCA sets and convexity
F U N D A M E N T A MATHEMATICAE 163 (2000) PCA sets and convexity by Robert K a u f m a n (Urbana, IL) Abstract. Three sets occurring in functional analysis are shown to be of class PCA (also called Σ
More informationEVANESCENT SOLUTIONS FOR LINEAR ORDINARY DIFFERENTIAL EQUATIONS
EVANESCENT SOLUTIONS FOR LINEAR ORDINARY DIFFERENTIAL EQUATIONS Cezar Avramescu Abstract The problem of existence of the solutions for ordinary differential equations vanishing at ± is considered. AMS
More informationFEEDBACK DIFFERENTIAL SYSTEMS: APPROXIMATE AND LIMITING TRAJECTORIES
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume XLIX, Number 3, September 2004 FEEDBACK DIFFERENTIAL SYSTEMS: APPROXIMATE AND LIMITING TRAJECTORIES Abstract. A feedback differential system is defined as
More informationStability of Adjointable Mappings in Hilbert
Stability of Adjointable Mappings in Hilbert arxiv:math/0501139v2 [math.fa] 1 Aug 2005 C -Modules M. S. Moslehian Abstract The generalized Hyers Ulam Rassias stability of adjointable mappings on Hilbert
More informationRegularity and compactness for the DiPerna Lions flow
Regularity and compactness for the DiPerna Lions flow Gianluca Crippa 1 and Camillo De Lellis 2 1 Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa, Italy. g.crippa@sns.it 2 Institut für Mathematik,
More informationA CLASS OF ABSOLUTE RETRACTS IN SPACES OF INTEGRABLE FUNCTIONS
proceedings of the american mathematical society Volume 112, Number 2, June 1991 A CLASS OF ABSOLUTE RETRACTS IN SPACES OF INTEGRABLE FUNCTIONS ALBERTO BRESSAN, ARRIGO CELLINA, AND ANDRZEJ FRYSZKOWSKI
More informationInitial value problems for singular and nonsmooth second order differential inclusions
Initial value problems for singular and nonsmooth second order differential inclusions Daniel C. Biles, J. Ángel Cid, and Rodrigo López Pouso Department of Mathematics, Western Kentucky University, Bowling
More informationLebesgue-Stieltjes measures and the play operator
Lebesgue-Stieltjes measures and the play operator Vincenzo Recupero Politecnico di Torino, Dipartimento di Matematica Corso Duca degli Abruzzi, 24, 10129 Torino - Italy E-mail: vincenzo.recupero@polito.it
More informationBellman function approach to the sharp constants in uniform convexity
Adv. Calc. Var. 08; (): 89 9 Research Article Paata Ivanisvili* Bellman function approach to the sharp constants in uniform convexity DOI: 0.55/acv-06-0008 Received February 9 06; revised May 5 06; accepted
More informationDifferentiability of Convex Functions on a Banach Space with Smooth Bump Function 1
Journal of Convex Analysis Volume 1 (1994), No.1, 47 60 Differentiability of Convex Functions on a Banach Space with Smooth Bump Function 1 Li Yongxin, Shi Shuzhong Nankai Institute of Mathematics Tianjin,
More informationStability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games
Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Alberto Bressan ) and Khai T. Nguyen ) *) Department of Mathematics, Penn State University **) Department of Mathematics,
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationHAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM
Georgian Mathematical Journal Volume 9 (2002), Number 3, 591 600 NONEXPANSIVE MAPPINGS AND ITERATIVE METHODS IN UNIFORMLY CONVEX BANACH SPACES HAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM
More informationIn this paper we study periodic solutions of a second order differential equation
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 5, 1995, 385 396 A GRANAS TYPE APPROACH TO SOME CONTINUATION THEOREMS AND PERIODIC BOUNDARY VALUE PROBLEMS WITH IMPULSES
More information2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.
Chapter 3 Duality in Banach Space Modern optimization theory largely centers around the interplay of a normed vector space and its corresponding dual. The notion of duality is important for the following
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationConvergence Rate of Nonlinear Switched Systems
Convergence Rate of Nonlinear Switched Systems Philippe JOUAN and Saïd NACIRI arxiv:1511.01737v1 [math.oc] 5 Nov 2015 January 23, 2018 Abstract This paper is concerned with the convergence rate of the
More informationHOMOCLINIC SOLUTIONS FOR SECOND-ORDER NON-AUTONOMOUS HAMILTONIAN SYSTEMS WITHOUT GLOBAL AMBROSETTI-RABINOWITZ CONDITIONS
Electronic Journal of Differential Equations, Vol. 010010, No. 9, pp. 1 10. ISSN: 107-6691. UL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu HOMOCLINIC SOLUTIONS FO
More informationAW -Convergence and Well-Posedness of Non Convex Functions
Journal of Convex Analysis Volume 10 (2003), No. 2, 351 364 AW -Convergence Well-Posedness of Non Convex Functions Silvia Villa DIMA, Università di Genova, Via Dodecaneso 35, 16146 Genova, Italy villa@dima.unige.it
More informationSome Background Math Notes on Limsups, Sets, and Convexity
EE599 STOCHASTIC NETWORK OPTIMIZATION, MICHAEL J. NEELY, FALL 2008 1 Some Background Math Notes on Limsups, Sets, and Convexity I. LIMITS Let f(t) be a real valued function of time. Suppose f(t) converges
More informationHalf of Final Exam Name: Practice Problems October 28, 2014
Math 54. Treibergs Half of Final Exam Name: Practice Problems October 28, 24 Half of the final will be over material since the last midterm exam, such as the practice problems given here. The other half
More informationDynamic Blocking Problems for Models of Fire Propagation
Dynamic Blocking Problems for Models of Fire Propagation Alberto Bressan Department of Mathematics, Penn State University bressan@math.psu.edu Alberto Bressan (Penn State) Dynamic Blocking Problems 1 /
More informationThe Existence of Nodal Solutions for the Half-Quasilinear p-laplacian Problems
Journal of Mathematical Research with Applications Mar., 017, Vol. 37, No., pp. 4 5 DOI:13770/j.issn:095-651.017.0.013 Http://jmre.dlut.edu.cn The Existence of Nodal Solutions for the Half-Quasilinear
More informationLipschitz shadowing implies structural stability
Lipschitz shadowing implies structural stability Sergei Yu. Pilyugin Sergei B. Tihomirov Abstract We show that the Lipschitz shadowing property of a diffeomorphism is equivalent to structural stability.
More informationLimit solutions for control systems
Limit solutions for control systems M. Soledad Aronna Escola de Matemática Aplicada, FGV-Rio Oktobermat XV, 19 e 20 de Outubro de 2017, PUC-Rio 1 Introduction & motivation 2 Limit solutions 3 Commutative
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
More informationNonlinear Control. Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems
Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems Time-varying Systems ẋ = f(t,x) f(t,x) is piecewise continuous in t and locally Lipschitz in x for all t 0 and all x D, (0 D). The origin
More informationHyperbolic Systems of Conservation Laws
Hyperbolic Systems of Conservation Laws III - Uniqueness and continuous dependence and viscous approximations Alberto Bressan Mathematics Department, Penn State University http://www.math.psu.edu/bressan/
More informationTakens embedding theorem for infinite-dimensional dynamical systems
Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens
More informationIntroduction to Bases in Banach Spaces
Introduction to Bases in Banach Spaces Matt Daws June 5, 2005 Abstract We introduce the notion of Schauder bases in Banach spaces, aiming to be able to give a statement of, and make sense of, the Gowers
More informationFunctional Differential Equations with Causal Operators
ISSN 1749-3889 (print), 1749-3897 (online) International Journal of Nonlinear Science Vol.11(211) No.4,pp.499-55 Functional Differential Equations with Causal Operators Vasile Lupulescu Constantin Brancusi
More informationRendiconti del Seminario Matematico della Università di Padova, tome 92 (1994), p
RENDICONTI del SEMINARIO MATEMATICO della UNIVERSITÀ DI PADOVA ALBERTO BRESSAN FABIÁN FLORES On total differential inclusions Rendiconti del Seminario Matematico della Università di Padova, tome 92 (1994),
More informationExact formulae for the prime counting function
Notes on Number Theory and Discrete Mathematics Vol. 19, 013, No. 4, 77 85 Exact formulae for the prime counting function Mladen Vassilev Missana 5 V. Hugo Str, 114 Sofia, Bulgaria e-mail: missana@abv.bg
More informationConvergent Iterative Algorithms in the 2-inner Product Space R n
Int. J. Open Problems Compt. Math., Vol. 6, No. 4, December 2013 ISSN 1998-6262; Copyright c ICSRS Publication, 2013 www.i-csrs.org Convergent Iterative Algorithms in the 2-inner Product Space R n Iqbal
More informationOn the Stability of the Best Reply Map for Noncooperative Differential Games
On the Stability of the Best Reply Map for Noncooperative Differential Games Alberto Bressan and Zipeng Wang Department of Mathematics, Penn State University, University Park, PA, 68, USA DPMMS, University
More informationImpulsive Control of Lagrangian Systems and Locomotion in Fluids. Alberto Bressan
Manuscript submitted to AIMS journals Volume X, Number X, XX 2X Website http://aimsciences.org pp. X XX Impulsive Control of Lagrangian Systems and Locomotion in Fluids Alberto Bressan Department of Mathematics
More informationGIOVANNI COMI AND MONICA TORRES
ONE-SIDED APPROXIMATION OF SETS OF FINITE PERIMETER GIOVANNI COMI AND MONICA TORRES Abstract. In this note we present a new proof of a one-sided approximation of sets of finite perimeter introduced in
More informationON THE PICARD PROBLEM FOR HYPERBOLIC DIFFERENTIAL EQUATIONS IN BANACH SPACES
Discussiones Mathematicae Differential Inclusions, Control and Optimization 23 23 ) 31 37 ON THE PICARD PROBLEM FOR HYPERBOLIC DIFFERENTIAL EQUATIONS IN BANACH SPACES Antoni Sadowski Institute of Mathematics
More informationEXISTENCE OF SOLUTIONS TO A BOUNDARY-VALUE PROBLEM FOR AN INFINITE SYSTEM OF DIFFERENTIAL EQUATIONS
Electronic Journal of Differential Equations, Vol. 217 (217, No. 262, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO A BOUNDARY-VALUE
More informationU e = E (U\E) e E e + U\E e. (1.6)
12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy
More informationNear-Potential Games: Geometry and Dynamics
Near-Potential Games: Geometry and Dynamics Ozan Candogan, Asuman Ozdaglar and Pablo A. Parrilo September 6, 2011 Abstract Potential games are a special class of games for which many adaptive user dynamics
More informationApproximating solutions of nonlinear second order ordinary differential equations via Dhage iteration principle
Malaya J. Mat. 4(1)(216) 8-18 Approximating solutions of nonlinear second order ordinary differential equations via Dhage iteration principle B. C. Dhage a,, S. B. Dhage a and S. K. Ntouyas b,c, a Kasubai,
More informationHYBRID DHAGE S FIXED POINT THEOREM FOR ABSTRACT MEASURE INTEGRO-DIFFERENTIAL EQUATIONS
HYBRID DHAGE S FIXED POINT THEOREM FOR ABSTRACT MEASURE INTEGRO-DIFFERENTIAL EQUATIONS Dr. Sidheshw. S. Bellale Dept. of Mathematics, Dayanand Science College, Latur, Maharashtra (IND) Email: sidhesh.bellale@gmail.com
More informationLUSIN TYPE THEOREMS FOR MULTIFUNCTIONS, SCORZA DRAGONI S PROPERTY AND CARATHÉODORY SELECTIONS
LUSIN TYPE THEOREMS FOR MULTIFUNCTIONS, SCORZA DRAGONI S PROPERTY AND CARATHÉODORY SELECTIONS D. AVERNA DIPARTIMENTO DI MATEMATICA ED APPLICAZIONI FACOLTA DI INGEGNERIA - VIALE DELLE SCIENZE, 90128 PALERMO
More informationInput to state Stability
Input to state Stability Mini course, Universität Stuttgart, November 2004 Lars Grüne, Mathematisches Institut, Universität Bayreuth Part IV: Applications ISS Consider with solutions ϕ(t, x, w) ẋ(t) =
More informationLMI Methods in Optimal and Robust Control
LMI Methods in Optimal and Robust Control Matthew M. Peet Arizona State University Lecture 15: Nonlinear Systems and Lyapunov Functions Overview Our next goal is to extend LMI s and optimization to nonlinear
More informationSOLVABILITY OF NONLINEAR EQUATIONS
SOLVABILITY OF NONLINEAR EQUATIONS PETRONELA CATANĂ Using some numerical characteristics for nonlinear operators F acting between two Banach spaces X and Y, we discuss the solvability of a linear ecuation
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationOptimization and Optimal Control in Banach Spaces
Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
More informationA BOREL SOLUTION TO THE HORN-TARSKI PROBLEM. MSC 2000: 03E05, 03E20, 06A10 Keywords: Chain Conditions, Boolean Algebras.
A BOREL SOLUTION TO THE HORN-TARSKI PROBLEM STEVO TODORCEVIC Abstract. We describe a Borel poset satisfying the σ-finite chain condition but failing to satisfy the σ-bounded chain condition. MSC 2000:
More informationSolutions to Problem Set 5 for , Fall 2007
Solutions to Problem Set 5 for 18.101, Fall 2007 1 Exercise 1 Solution For the counterexample, let us consider M = (0, + ) and let us take V = on M. x Let W be the vector field on M that is identically
More informationExistence And Uniqueness Of Mild Solutions Of Second Order Volterra Integrodifferential Equations With Nonlocal Conditions
Applied Mathematics E-Notes, 9(29), 11-18 c ISSN 167-251 Available free at mirror sites of http://www.math.nthu.edu.tw/ amen/ Existence And Uniqueness Of Mild Solutions Of Second Order Volterra Integrodifferential
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationCountably condensing multimaps and fixed points
Electronic Journal of Qualitative Theory of Differential Equations 2012, No. 83, 1-9; http://www.math.u-szeged.hu/ejqtde/ Countably condensing multimaps and fixed points Tiziana Cardinali - Paola Rubbioni
More informationHOMEWORK ASSIGNMENT 6
HOMEWORK ASSIGNMENT 6 DUE 15 MARCH, 2016 1) Suppose f, g : A R are uniformly continuous on A. Show that f + g is uniformly continuous on A. Solution First we note: In order to show that f + g is uniformly
More informationExistence Results for Multivalued Semilinear Functional Differential Equations
E extracta mathematicae Vol. 18, Núm. 1, 1 12 (23) Existence Results for Multivalued Semilinear Functional Differential Equations M. Benchohra, S.K. Ntouyas Department of Mathematics, University of Sidi
More informationc 2007 Society for Industrial and Applied Mathematics
SIAM J MATH ANAL Vol 38, No 5, pp 474 488 c 007 Society for Industrial and Applied Mathematics OPTIMAL TRACING OF VISCOUS SHOCKS IN SOLUTIONS OF VISCOUS CONSERVATION LAWS WEN SHEN AND MEE REA PARK Abstract
More informationNONLINEAR DIFFERENTIAL INEQUALITY. 1. Introduction. In this paper the following nonlinear differential inequality
M athematical Inequalities & Applications [2407] First Galley Proofs NONLINEAR DIFFERENTIAL INEQUALITY N. S. HOANG AND A. G. RAMM Abstract. A nonlinear differential inequality is formulated in the paper.
More informationThe Skorokhod reflection problem for functions with discontinuities (contractive case)
The Skorokhod reflection problem for functions with discontinuities (contractive case) TAKIS KONSTANTOPOULOS Univ. of Texas at Austin Revised March 1999 Abstract Basic properties of the Skorokhod reflection
More informationChapter 2 Convex Analysis
Chapter 2 Convex Analysis The theory of nonsmooth analysis is based on convex analysis. Thus, we start this chapter by giving basic concepts and results of convexity (for further readings see also [202,
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationMildly degenerate Kirchhoff equations with weak dissipation: global existence and time decay
arxiv:93.273v [math.ap] 6 Mar 29 Mildly degenerate Kirchhoff equations with weak dissipation: global existence and time decay Marina Ghisi Università degli Studi di Pisa Dipartimento di Matematica Leonida
More informationNeighboring feasible trajectories in infinite dimension
Neighboring feasible trajectories in infinite dimension Marco Mazzola Université Pierre et Marie Curie (Paris 6) H. Frankowska and E. M. Marchini Control of State Constrained Dynamical Systems Padova,
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More information