# WELL-POSEDNESS FOR NON-ISOTROPIC DEGENERATE PARABOLIC-HYPERBOLIC EQUATIONS

Save this PDF as:

Size: px
Start display at page:

Download "WELL-POSEDNESS FOR NON-ISOTROPIC DEGENERATE PARABOLIC-HYPERBOLIC EQUATIONS"

## Transcription

1 WELL-POSEDNESS FOR NON-ISOTROPIC DEGENERATE PARABOLIC-HYPERBOLIC EQUATIONS GUI-QIANG CHEN AND BENOÎT PERTHAME In Memory of Ph. Bénilan Abstract. We develop a well-posedness theory for solutions in L 1 to the Cauchy problem of general degenerate parabolic-hyperbolic equations with non-isotropic nonlinearity. A new notion of entropy and kinetic solutions and a corresponding kinetic formulation are developed which extends the hyperbolic case. The notion of kinetic solutions applies to more general situations than that of entropy solutions; and its advantage is that the kinetic equations in the kinetic formulation are well defined even when the macroscopic fluxes are not locally integrable, so that L 1 is a natural space on which the kinetic solutions are posed. Based on this notion, we develop a new, simpler, more effective approach to prove the contraction property of kinetic solutions in L 1, especially including entropy solutions. It includes a new ingredient, a chain rule type condition, which makes it different from the isotropic case. Résumé Nous développons une théorie d existence et unicité pour les solutions L 1 seulement du problème de Cauchy pour un problème de Cauchy hyperbolique-parabolique avec diffusion nonisotrope générale. Des notions de formulations entropique et cinétique sont introduites qui incorporent un nouvel ingrédient, une condition de type dérivation composée, qui montre la différence fondamentale avec le cas d une diffusion isotrope. L avantage de la notion de solution cinétique est de travailler directement dans l espace naturel L 1. Key-words: Kinetic solutions, entropy solutions, kinetic formulation, degenerate parabolic equations, convection-diffusion, non-isotropic diffusion, stability, existence, well-posedness Subj. numbers: 35K65, 35K1, 35B3, 35D5 1. Introduction and Main Theorems Consider the Cauchy problem of a general nonlinear degenerate parabolic-hyperbolic equation of second-order: 1.1 t u + fu= Au u, x, t, 1

2 1.2 u t= = u L 1, where f :IR satisfies 1.3 a :=f L loc IR; IRd, and the d d matrix Au =a ij u is symmetric, nonnegative, and locally bounded so that we can always write 1.4 a ij u = σ ik uσ jk u, σ ik L loc IR, and σ ik u is its square root matrix, in which the structure appears more naturally with the additional index K that can be thought to be the maximal rank of the matrix. Equation 1.1 and its variants model degenerate diffusion-convection motions of ideal fluids and arise in a wide variety of important applications, including two phase flows in porous media cf. [8] and the references cited therein and sedimentation-consolidation processes cf. [5] and the references cited therein. Since its importance in applications, there is a large literature for the design and analysis of various numerical methods to calculate solutions of 1.1 and its variants; see [8, 14, 13, 1, 19] and the references cited therein, for which a well-posedness theory for 1.1 is in great demand. We are concerned with the well-posedness, especially uniqueness and stability, for solutions of the Cauchy problem 1.1 and 1.2. The well-posedness issue is relatively well understood if one removes the diffusion term Au u, thereby obtaining a scalar hyperbolic conservation law; see Kruzhkov [2], Lions-Perthame-Tadmor [21, 22], and Perthame [24, 25]. It is equally well understood if one removes the convection term fu; see [4, 18] and the references cited therein. For the isotropic diffusion, a ij u =,i j, some stability results for entropy solutions have been obtained for BV solutions by Volpert-Hudjaev [27] in Only in 1999, Carrillo [7] could extend this result to L solutions also see Eymard et al [16], Karlsen- Risebro [19] for further extensions, and Chen-DiBenedetto [9] handled the case of unbounded entropy solutions which may grow when x is large. Also see Gilding [18] for a theory for isotropic degenerate parabolic equations with isolated degenerate points. In this paper, we establish a well-posedness theory for L 1 solutions of the Cauchy problem 1.1 and 1.2 for general degenerate parabolic-hyperbolic equations of second-order, especially including the non-isotropic diffusion case. This relies on two new ingredients. Firstly, the extension from the isotropic to the non-isotropic is not a purely technical issue and we introduce a fundamental and natural chain-rule type property, which does not appear in the isotropic case 2

3 and which turns out to be the corner-stone for the uniqueness in the non-isotropic case. Secondly, we extend a notion of kinetic solutions, a new concept in this context, and a corresponding kinetic formulation. The notion of kinetic solutions applies to more general situations than that of entropy solutions as considered in [7, 19] and [9]. The advantage of the new notion is that the kinetic equation in the kinetic formulation is well defined even when the macroscopic fluxes are not locally integrable so that L 1 is a natural space on which the kinetic solutions are posed. Based on this notion, the corresponding kinetic formulation and the uniqueness proof in the purely hyperbolic case introduced in [24], we develop a new, simpler, more effective approach, in comparison with the previous proofs in [7, 19] and [9], to prove the contraction property of kinetic solutions in L 1, especially including entropy solutions. This leads to a well-posedness theory for kinetic solutions in L 1 of the Cauchy problem of 1.1 and 1.2. The main theorems of this paper are the following. Theorem 1.1. Assume that 1.3 and 1.4 hold. Then i For any kinetic solution u L [, ; L 1 with initial data u x, we have ut u L 1, t. ii If u, v L [, ; L 1 are kinetic solutions to 1.1 and 1.2 with initial data u x and v x, respectively, then 1.5 ut vt L 1 u v L 1. iii Furthermore, if u L [,, this kinetic solution is an entropy solution. Theorem 1.2. Assume that 1.3 and 1.4 hold. For u L 1, there exists a unique kinetic solution u C [, ; L 1 for the Cauchy problem 1.1 and 1.2. Ifu L L 1, then the kinetic solution is the unique entropy solution and ut, x u L. In Section 2, we derive a kinetic formulation in a precise manner and describe the notions of entropy solutions and kinetic solutions of the Cauchy problem 1.1 and 1.2. The new ingredient of this formulation is the precise identification of the kinetic defect measure and the degenerate parabolic defect measure, even in the region where ut, x is discontinuous and is only in L 1. To make the points more clearly, in Section 3, we present our new approach by a formal proof to show the contraction property of kinetic solutions. Then Sections 4 6 are devoted to the rigorous proof of the stability of kinetic solutions. In Section 7, we prove the existence of kinetic solutions and entropy solutions of the Cauchy problem 1.1 and

4 In this paper we focus on the prototypical case 1.1. The results and techniques straightforward extends to more general degenerate parabolic-hyperbolic equations of second order, by combining with the Gronwall inequality, such as 1.6 t u + fu, t, x Au, t, x u =cu, t, x, x, t, where Au, t, x =a ij u, t, x with a ij u, t, x =a ji u, t, x, fu, t, x, and cu, t, x are sufficiently smooth functions, and a ij u, t, xξ i ξ j, for t, x + and u IR. i,j 2. Entropy Solutions, Kinetic Solutions, and Kinetic Formulation Equation 1.1 satisfies a so-called entropy property. To motivate it, we consider a non-degenerate parabolic equation 1.1 in which the matrix Au =a ij u is replaced by Au+εI, and we denote u ε t, x its C 2 solution. Then, for any function S C 2 IR, multiplying the equation 1.1 by S u ɛ yields 2.1 t Su ε + xi ηi S u ε xi S u ε a ij u ε xj u ε ɛ Su ε = m S ε t, x n S ε t, x, where the entropy flux ηi S u is defined up to an additive constant by 2.2 η S i u =a i us u, the entropy dissipation measure m S ε t, x is defined by m S ε t, x :=εs u ε u ε 2, and the parabolic dissipation measure n S ε t, x is given by n S ε t, x :=S u ε a ij u ε xi u ε xj u ε = S u ε σ ik u ε xi u ε 2. In order to understand more about the dissipation measures, we introduce the notations β ik u and β ψ ik u for ψ C IR with ψ : 2.3 β ik u =σ iku, β ψ ik u = ψuσ ik u. 4

5 Then we end up with the two equivalent definitions: 2.4 n ψ ε t, x := 2 K 2. xi β ψ ik uε = ψu ε xi β ik u ε The heart of our investigations is to notice that this equality still holds in the limit ε. It is useful at this stage to derive a priori bounds from the above calculations. After the spacetime integration against S with S convex and S = S =, we obtain K 2 m S ε t, x+n S ε t, x dt dx = S u ε xi β ik u ε + ε u ε 2 dt dx 2.5 Su L 1 S L IR u L 1. The following convenient notations are deduced by the duality C IR; M 1 IR, which replace the exponent S or ψ: Namely, m ψ ε t, x = ψξ m ε t, x, ξ dξ, n ψ ε t, x = ψξ n ε t, x, ξ dξ, with IR 2.6 m ε t, x, ξ =δξ u ε ε u ε 2, n ε t, x, ξ =δξ u ε IR 2, xi β ik u ε where δξ is the Dirac mass concentrated at ξ =. Then we can choose, as a limiting case for smoothness of the entropy Su, the function Su = u ξ + for the parameter ξ, or Su =u ξ for ξ, in 2.5, and we end up with m ε + n ε t, x, ξ dt dx µξ L IR bounded functions that vanish at infinity 2.7 µξ :=1I {ξ>} u ξ + L 1 +1I {ξ<} u ξ L 1. Choosing Su =u 2 /2, we also deduce from 2.5 K 2 m ε + n ε t, x, ξ dt dx dξ = xi β ik u ε + ε u ε 2 dt dx u L 2. As ε, passing to the limit with the above bounds and under the property that u ε t, x converges strongly see 7 below, we end up with the definition of entropy solutions. 5

6 Definition 2.1. An entropy solution is a function ut, x L [, such that i xi β ik u L [, 2, for any k {1,,K}; ii for any function ψ C IR with ψu and any k {1,,K}, 2.9 xi β ψ ik u = ψu xi β ik u L 2 [,, and 2 K 2, 2.1 n ψ t, x :=ψut, x xi β ik ut, x = xi β ψ ik ut, x a.e. iii for any smooth function Su, there exists an entropy dissipation measure m S t, x satisfying that 2.11 m S t, x = IR S ξ mt, x, ξ dξ, with mt, x, ξ a nonnegative measure, such that 2.12 t Su+ xi ηi S u xi aij u xj Su = m S + n S, in D IR + with initial data Sut = = Su. Remark 2.1. Arguing as in 2.7, an entropy solution satisfies 2.13 m + nt, x, ξ dt dx µξ L IR. Remark 2.2. The nonnegative parabolic defect measure nt, x, ξ for an entropy solution ut, x in Definition 2.1 is very simple and given by the following formula: 2, nt, x, ξ =δξ ut, x xi β ik ut, x in the usual sense. Also, the choice Su =u 2 /2gives the L 2 -integrability of k K, and yields another useful estimate, as in 2.8: 2.14 m + nt, x, ξ dt dx dξ 1 2 u 2 L 2, provided u L 2. 6 xi β ik u, 1

7 Remark 2.3. When we refer to distributional solutions here, we always mean that the initial data are included in the definition of solutions in the sense of distributions, when a test function does not vanish at t =. That is, a distributional solution ut, x satisfying 2.12 means that, for any test function ϕ D[,, S u t ϕ + η S u x ϕ αij S u x 2 i x j ϕ dt dx = m S + n S ϕdtdx S u x ϕ,x dx, with αij S u = S ua ij u. However, thanks to the chain rule which is postulated in the definition of entropy solutions, several possible variants for the second-order term are equivalent. Remark 2.4. The main ingredient in Definition 2.1 is the equality in 2.9, which is not always true for a function ut, x. Indeed, if β ik u is discontinuous, this chain rule does not make sense even for any single term in the sums of 2.9. It is natural to assume the equality here because it keeps true in the limiting process u ε t, x ut, x strongly see 7. In the case of a diagonal matrix a ij =for i j, this equality in 2.9 is always true and needs not be included in Definition 2.1. We refer to the appendix for a proof. Therefore, our theory also recovers the results of Carrillo [7] and the extensiosn of [19], [16] and Chen-DiBenedetto [9] when the initial data are in L 1 L. On the other hand, we may factor out an S u in the equation 2.12 and obtain a more precise kinetic formulation of nonlinear degenerate parabolic-hyperbolic equations of second-order with form 1.1. The new ingredient of this formulation is the identification of the kinetic defect measure mt, x, ξ and the degenerate parabolic defect measure nt, x, ξ in a precise manner, even in the region where ut, x is discontinuous and only in L 1. Compare with the classical kinetic formulation for multidimensional hyperbolic conservation laws by Lions-Perthame-Tadmor in [21, 22]. We introduce the kinetic function χ on IR 2 : +1 for <ξ<u, 2.15 χξ; u = 1 for u<ξ<, otherwise. We notice that, if u L [, ; L 1, then χξ; u L [, ; L 1. 7

8 The simple representation Su = IR S ξ χξ ; u dξ leads to the following kinetic equation, which is equivalent to 2.12: 2.16 t χξ; u+aξ x χξ;u in D IR + with initial data a ij ξ x 2 i x j χξ; u = ξ m+nt, x, ξ χξ; u t= = χξ; u. We are now ready to define the kinetic solutions. Definition 2.2. A kinetic solution is a function ut, x L [, ; L 1 such that i for any nonnegative ψ DIR and k {1,,K}, 2.17 xi β ψ ik u L2 [, ; ii for any two nonnegative functions ψ 1,ψ 2 DIR, 2.18 ψ1 ut, x xi β ψ 2 ik ut, x = xi β ψ 1ψ 2 ik ut, x, a.e.; iii Equation 2.16 holds in D, for some nonnegative measures mt, x, ξ and nt, x, ξ, where nt, x, ξ is defined by 2.19 IR ψξ nt, x, ξ dξ = 2, xi β ψ ik ut, x for any ψ DIR with ψ ; iv the following inequality is satisfied: 2.2 m + nt, x, ξ dt dx µξ L IR. This notion of kinetic solutions applies to more general situations than that of entropy solutions. The advantage is that the kinetic equation is well defined even though the macroscopic fluxes η S u are not locally integrable so that L 1 is a natural space on which kinetic solutions are posed. In the purely hyperbolic case, a full L 1 -theory has been developed in Perthame [25]. This approach also covers the so-called renormalized solutions used in the context of hyperbolic scalar conservation laws by Bénilan, Carrillo, and Wittbold [1]. 8

9 Remark 2.5. Any entropy solution is a kinetic solution. Our uniqueness result implies that any kinetic solution in L must be an entropy solution. Therefore, the two notions are equivalent for solutions in L, although the notion of kinetic solutions is more general. Remark 2.6. The degenerate parabolic defect measure nt, x, ξ is no longer defined by the simple formula in Remark 2.2 since d xi β ik u does not belong to L 2 [, in general because 2.14 does not apply. In fact, the only a priori bound used here is that of 2.13 which is also expressed in Remark 2.1 as a corollary of Definition 2.1. The explicit expression in terms of u x for µξ in 2.7 is not fundamental, and the useful information is that µξ is bounded and vanishes at infinity. 3. Contraction Proof: Formal In this section, we give a formal proof for the contraction property of kinetic solutions, i.e. part ii of Theorem 1.1, which takes the advantage of the precise kinetic formulation We will make the proof rigorous in Sections 4 6. Consider two solutions ut, x and vt, x. Denote by pt, x, ξ the kinetic defect measure and by 3.1 qt, x, ξ :=δξ vt, x 2, xi β ik vt, x the parabolic defect measure, which are associated with vt, x. Then our proof consists in using the following microscopic contraction functional introduced in [24, 25]: 3.2 Qt, x, ξ = χξ;ut, x + χξ; vt, x 2χξ;ut, x χξ; vt, x. It is useful for deriving a contraction principle since Qt, x, ξ dξ = ut, x vt, x. The point is to justify the following identities. Firstly, t χξ; ut, x +aξ x χξ;ut, x x 2 i x j a ij ξ χξ; ut, x = sgnξ ξ m + nt, x, ξ, which yields d χξ; ut, x dx dξ = 2 m + nt, x, dx. dt A similar identity holds for vt, x. 9

10 Secondly, we compute d χξ; ut, x χξ; vt, x dx dξ +2 a ij ξ xi χξ; ut, x xj χξ; vt, x dx dξ dt = m + nt, x, ξδξ vt, x δξ+p+qt, x, ξδξ ut, x δξ dx dξ. Then, we have d Qt, x, ξ dx dξ dt =4 a ij ξ xi χξ; ut, x xj χξ; vt, x dx dξ m + nt, x, ξδξ vt, x+p+qt, x, ξδξ ut, x a ij ξ xi ut, x xj vt, x δξ ut, x δξ vt, x dx dξ nt, x, ξδξ vt, x + qt, x, ξδξ ut, x dx dξ, since mt, x, ξ and pt, x, ξ are nonnegative. It remains to notice that, using Remark 2.2 and 3.1, we still have, very formally, nt, x, ξδξ vt, x + qt, x, ξδξ ut, x dx dξ = dx dξ 2 2 δξ ut, x δξ vt, x xi β ik ut, x + xi β ik vt, x dx dξ 2 δξ ut, x δξ vt, x xi β ik ut, x xj β jk vt, x dx dξ =2 =2 δξ ut, x δξ vt, x σ ik ut, x σ jk vt, x xi ut, x xj vt, x dx dξ a ij ξ xi ut, x xj ut, x δξ ut, x δξ vt, x dx dξ. Therefore, we end up with d Qt, x, ξ dx dξ, dt which implies that ut vt L 1 is non-increasing. This concludes the contraction property j=1

11 4. Contraction Proof: Rigorous To make the proof rigorous, the above argument requires to regularize the linear kinetic equation 2.16 by convolution; This is the first step, in which all notations are also introduced. Then we analyze separately the different terms in the microscopic contraction functional, which requires several steps. Step 1. Regularization. We set ε =ε 1,ε 2, ε 1 for the forward time regularization and ε 2 for the space regularization, and we define ϕ ε t, x = 1 ϕ 1 t 1 ε 1 ε 1 ε d ϕ 2 x, 2 ε 2 where ϕ j,j =1,2,denote the normalized regularizing kernels with ϕ j =1,suppϕ 1 1, in order to allow the time regularization. Next, we use the notations χ := χt, x, ξ =χξ;ut, x, χ ε := χ ε t, x, ξ =χ t,x ϕ ε t, x, ξ, χ := χξ; t, x =χξ;vt, x, χ ε := χ ε t, x, ξ = χ t,x ϕ ε t, x, ξ, and, similarly, m ε := m t,x ϕ ε, p ε := p t,x ϕ ε, n ε := n t,x ϕ ε, q ε := q t,x ϕ ε, where t,x denotes the convolution in time and space. We also need a further regularization in ξ with smoothing kernel ψ δ ξ = 1 δ ψξ δ and use the notation χ ε,δ := χ ε ψ δ. Finally, we need a ξ-truncation K R ξ, which is a smooth nonnegative function with bounded support. That is, K R ξ =Kξ/R 1, as R, with Kξ 1 for ξ,, Kξ = 1 for ξ 1/2, Kξ = for ξ 1. The destiny of these parameters is that δ first, R second, and ε finally. The results we will show indicate that the contraction property holds even for any fixed parameter ε, which is an interesting phenomenon. Indeed, for any regularized microscopic contraction functional: 4.1 Q ε t, x, ξ = χ ε + χ ε 2χ ε χ ε, 11

12 we have Proposition 4.1. Under the assumptions of Theorem 1.1, d Q ε t, x, ξ dx dξ. dt Notice that, by convolution, we obtain 4.2 t χ ε + aξ x χ ε 4.3 t χ ε + aξ x χ ε x 2 i x j a ij ξχ ε = ξ m ε +n ε t, x, ξ, x 2 i x j a ij ξ χ ε = ξ p ε +q ε t, x, ξ, in D,, where the initial data are inessential at this stage. Step 2. First terms of the contraction functional. From the space and time regularity of χ ε, we deduce that m ε + n ε t, x, ξ is locally Lipschitz continuous in ξ. Furthermore, multiplying 4.2 by sgnξ, we find d 4.4 χ ε ξ; t, x dx dξ = 2 m ε + n ε t, x, dx. dt Similarly, d 4.5 χ ε ξ; t, x dx dξ = 2 p ε + q ε t, x, dx. dt Step 3. Quadratic term of the contraction functional. Analyzing the quadratic term requires a further ξ-regularization. We write with t χ ε,δ + aξ x χ ε,δ 2 x i x j a ij ξχ ε ψ δ = ξ m ε +n ε ψ δ +R u 1, R u = R u 1t, x, ξ := div x aξ χ ε ψ δ aξχ ε ψ δ. A similar equation holds for χ ɛ,δ. Therefore, a direct combination gives t χ ε,δ χ ε,δ K R ξ + K R ξ aξ x χ ε,δ χ ε,δ K R ξ χ ε,δ x 2 i x j a ij ξχ ε ψ δ K R ξ χ ε,δ = χ ε,δ K R ξ ξ m ε + n ε ψ δ + χ ε,δ K R ξ R u 1 +χ ε,δ K R ξ ξ p ε + q ε ψ δ + χ ε,δ K R ξ R v x i x j a ij ξ χ ε ψ δ

13 After integration, we obtain 4.6 d χ ε,δ χ ε,δ K R ξ dx dξ = dt 3 R l t+ l=1 7 R l t+r l t, where R l are defined as follows: 4.7 R 1 t = K R ξ χ ε,δ R1 u + χ ε,δ R1 v dx dξ, 4.8 R 2 t = 2 K R ξ l=4 xi σ ik χ ε ψ δ xj σ jk χ ε ψ δ dx dξ, 4.9 R 3 t = K R ξψ δ ξ m ε + n ε ψ δ +p ε +q ε ψ δ dx dξ, R 4 t = K Rξ xi χ ε,δ xj a ij ξχ ε ψ δ + xj σ jk ξχ ε,δ ψ δ xi σ ik ξ χ ε ψ δ dx dξ. The term R 5 t comes from integration by parts in ξ and the following equality: ξ χ ε,δ = ψ δ ξ δξ u t,x,ξ ϕ ε ψ δ, that is, taking into account R 3 t, 4.1 R 5 t = K Rξ χ ε,δ m ε + n ε ψ δ dx dξ. Also, 4.11 R 6 t = K R ξ δξ v t,x,ξ ϕ ε ψ δ n ε ψ δ dx dξ, 4.12 R 7 t = K R ξ δξ v t,x,ξ ϕ ε ψ δ m ε ψ δ dx dξ. The terms R l t, 4 l 7, denote the symmetric terms of R lt, 4 l 7, respectively, where ut, x is replaced by vt, x. Step 4. Estimates of the error terms. following two lemmas. Our goal is now to estimate these error terms in the 13

14 Lemma 4.1. For any 1 p<, when δ, 4.13 R 1 t, R 4 t, R 4t, L p loc IR +, and 4.14 R 3 t In addition, when δ first and R second, m ε + n ε t, x, dx + p ε + q ε t, x, dx, L p loc IR R 5 t, R 5t, in L p loc IR +. Furthermore, for any ɛ, δ, R, 4.16 R 7 t, R 7t, for any t,. It remains to estimate the remaining terms which are more difficult to handle and contain the actual cancellation which motivates our kinetic formulation with the introduction of the parabolic defect measure nt, x, ξ. Lemma 4.2. For any ɛ, δ, R, 4.17 R 2 t+r 6 t+r 6t, for any t,. Lemma 4.1 is proved in 6.1. Lemma 4.2 is proved in 6.2 for entropy solutions the easier case and in 6.3 for kinetic solutions. Step 5. Contraction property. With Lemmas 4.1 and 4.2, we can now conclude the contraction proof. As a consequence of the above lemmas, we can pass to the limit as δ first and R second in 4.4, 4.5, and 4.6. Adding 4.4, 4.5, and substracting twice 4.6 yields d χ ε + χ ε 2 χ ε χ ε dx dξ. dt This complete the proof of Proposition 4.1. Since, when ε, ut vt dx = we conclude the contraction property, that is, χξ; ut, x + χξ; vt, x 2χξ;ut, x χξ; vt, x dx dξ, ut vt dx 14

15 is non-increasing in t>. The full result ii of Theorem 1.1 is therefore proved after using i which is proved below. 5. Continuity at t =and L 1 -Stability In order to obtain the L 1 -stability 1.5, it remains to prove the initial time continuity statement i in Theorem 1.1. The proof, first due to [15] in the hyperbolic case, is based on the use of the initial data for all entropies in the weak form of equation At the kinetic level, it amounts to say that χξ; ut, x achieves the initial data χξ; u in the weak form of equation 2.16 see Remark 2.3. We prove only for kinetic solutions which contains the case of entropy solutions and turns out to be rather simple. Proposition 5.1. Let u L 1 and ut, x be a kinetic solution see Definition 2.2. Then, when t +, ut, x u x dx, and t L m + ns, x, ξdsdxdξ, for any L>. L Proof. We follow the proof in [25] and thus we skip some technical details. Using the Dunford- Petti theorem, we first consider a nonnegative, strictly convex function Φu with superlinear growth for large u such that Φ = and Φu xdx < +. Definition 2.2 for kinetic solutions yields the following identity: t 5.1 Φut, xdx + Φ ξm + ns, x, ξdsdxdξ = Φu xdx <. This identity can be achieved by first choosing admissible test functions ϕ n t, xφ ξkξ/r with ϕ n t, x 1 { t T,x }, for any T,, and a smooth function Kξ such that Kξ =1for ξ <1, Kξ =for ξ 2, and sgnξkξ, and then taking n first and R second. From 5.1 and the nonnegative sign of m, n, and Φ, we know that ut, x is relatively weakly compact in L 1 loc IRd. Hence we may extract subsequences such that t n and χξ; ut n,x χx, ξ L 1 in L, ut n,x χx, ξdξ in L 1 loc IRd, tn IR m + ns, x, ξds mx, ξ in M 1, 15

16 and sgnξ χx, ξ = χx, ξ 1, mx, ξ, mx, ξdx µξ L IR, where the half arrows and denote the weak convergence and the weak-star convergence in the respective spaces, respectively, and µξ is the function defined in 2.13 and 2.2. Secondly, using the definition of distributional solutions yields that, for any test function φx, ξ in D, IRd+1 φx, ξ χξ; ut,xdxdξ T aξ x φx, ξ a ij ξ xi x j φx, ξ χξ; ut, xdtdxdξ T = φ ξ x, ξm + nt, x, ξdtdxdξ + φx, ξχξ; u xdxdξ. Passing to the limit as T = t n, we deduce that φx, ξ χx, ξdxdξ = φ ξ x, ξ mx, ξdxdξ + φx, ξχξ; u xdxdξ, which implies that the identity holds in the sense of distributions: ξ mx, ξ = χx, ξ χξ; u x. From this, we deduce that the measure mx, ξ is also a function and that, for almost every x, mx, is continuous and vanishes at infinity therefore IR χdξ = u. On the other hand, we know mx, ξ. Therefore, we deduce from Brenier s Lemma [3] that mx, ξ = and χx, ξ =χξ;u x. By the uniqueness of the limit, the whole family χξ; ut, x converges weak-star to χξ; u x as t. Therefore, χξ; ut, x has a trace χ ; u+, = χ ; u on the set t =, defined at least in the weak sense in L 1. On the other hand, we also deduce that, for the locally strictly convex function Φ with superlinear growth at infinity in Step 1, Φut, xdx Φu xdx. The strict convexity of Φ implies that the trace of ut, x on the set t = is in fact defined in the strong sense in L 1 as t : ut, x u x, in L 1, 16

17 and, as a corollary, t Φ ξm + ns, x, ξdsdxdξ. This completes the proof of Proposition Proof of Lemmas 4.1 and 4.2 In this section, we give the proof of Lemmas 4.1 and Proof of Lemma 4.1. Statement 4.16 is a simple consequence of the nonnegativity of the convolution and truncation kernels and the dissipation measures mt, x, ξ and pt, x, ξ. For the term R 1 t, it suffices to consider the representative term: K R ξ χ ε,δ div x aξ χ ε ψ δ aξχ ε ψ δ dx dξ IR d+1 = K R ξ χ ε,δ aξ x χ ε ψ δ aξ x χ ε ψ δ dx dξ IR d+1 K R ξ χ ε,δ t, x, ξ aξ aξ η x χ ε t, x, ξ η ψ δ η dx dξ dη +2 Cϕ χ ε,δ t, x, ξ K R ξ aξ aξ η ψ δ η dη dx dξ. ε 2 IR Notice that the function of ξ defined as K R ξ aξ aξ η ψ δ η dη IR has a uniform bound 2 a L R,R and tends to zero for a.e. ξ, when δ. On the other hand, χ ε,δ t, x, ξ is compact in L p loc, ; L 1 R, R. Therefore, by the Lebesgue Theorem, the expression 6.1 tends to zero in L p loc,, for all 1 p<. This proves the first statement of The fact that the term R 4 tends to zero in L p loc, can be obtained by following the same argument. Indeed, we have R 4 t +3 K Rξ K Cϕ 2 K ε 2 xi χ ε t, x, ξ η xj χ ε t, x, ξ η a ij ξ η σ ik ξ ησ ik ξ η ψ δ ηψ δ η dx dξ dη dη xj χ ε t, x, ξ η IR 2 K Rξ a ij ξ η σ ik ξ ησ jk ξ η ψ δ ηψ δ η dη dη dx dξ, and we conclude as before. 17

18 The results 4.14 and 4.15 concerning R 3 t and R 5 t are much simpler because m ε + n ε t, x, ξ and p ε + q ε t, x, ξ are continuous in ξ, vanish at infinity, and their total masses are dominated by µξ, because of Therefore, we omit the proof Proof of Lemma 4.2: Entropy Solutions. In the case of entropy solutions, the definition of the measure nt, x, ξ allows to write directly the expression R 6 t+r 6 t with explicit convolution terms. This yields R 6 + R 6 = 2 K R ξ ϕ ε t s, x y ϕ ε t s,x y ψ δ ξ us, y ψ δ ξ vs,y yi β ik us, y 2 + yj β jk vs,y 2 ds ds dx dy dy dξ j=1 K R ξ ϕ ε t s, x y ϕ ε t s,x y ψ δ ξ us, y ψ δ ξ vs,y yi β ik us, y On the other hand, we have R 2 t = yj β jk vs,y ds ds dx dy dy dξ. j=1 K R ξ xi ϕ ε t s, x y xj ϕ ε t s,x y ψ δ ξ η ψ δ ξ η σ ik ηχη; us, yσ jk η χη ;vs,y ds ds dx dy dy dξ dη dη. Consider for instance the following term from R 2 t: = = xi ϕ ε t s, x y ψ δ ξ η σ ik η χη; us, y dη dy xi ϕ ε t s, x y β ψ δξ 2 ik us, y dy ϕ ε t s, x y yi β ψ δξ 2 ik us, y dy, where the first equality follows from the definition in 2.3. This term is also equal to the following term from R 6 t+r 6 t: ϕ ε t s, x y ψ δ ξ us, y yi β ik us, y dy, 18

19 as a consequence of the identity between L 2 functions: yi β ψ δξ 2 ik us, y = ψ δ ξ us, y xi β ik us, y, which is exactly statement ii in Definition 2.1 of entropy solutions. Hence, Lemma 4.2 is proved for entropy solutions Proof of Lemma 4.2: Kinetic Solutions. When treating the kinetic solutions, we write again the expression R 6 t+r 6 t, but we only have at hand a weaker form than that in 6.2. That is, R 6 t+r 6t = K R ξ ϕ ε t s, x y ϕ ε t s,x y ψ δ ξ vs,y yi β ψ δξ ik us, y 2 2 =2 +ψ δ ξ us, y j=1 yj β ψ δξ jk vs,y 2 ds ds dx dy dy dξ K R ξ ϕ ε t s, x y ϕ ε t s,x y ψ δ ξ us, y ψ δ ξ vs,y yi β ψ δξ ik us, y j=1 yj β ψ δξ jk vs,y ds ds dx dy dy dξ K R ξ ϕ ε t s, x y ϕ ε t s,x y ψ δ ξ us, y ψ δ ξ vs,y xi β ψ δξ ik us, y xj β ψ δξ vs,y ds ds dx dy dy dξ. jk On the other hand, the expression 6.2 for R 2 t still holds. Therefore, we conclude the proof of Lemma 4.2 if we can justify, for instance, xi ϕ ε t s, x y ψ δ η us, y σ ik ξ η χξ η; us, y dy dη = ϕ ε t s, x y ψ δ ξ us, y xi β ψ δξ ik us, y dy. This is exactly assumptions 2.17 and 2.18 in Definition 2.2. Lemma 4.2 for kinetic solutions. 19 This concludes the proof of

20 7. Existence of Kinetic Solutions We now prove Theorem 1.2 for the existence of kinetic solutions, especially entropy solutions, of the Cauchy problem 1.1 and 1.2. We divide the proof into four steps. Step 1. We first consider the case u W 2,1 H 1 L and we prove the existence of an entropy solution. To do so, we set a ɛ iju := a ij u + ɛi. Then, Volpert-Hudjaev s theorem [27] implies that, for each ε>, there is a smooth solution u ɛ t, x such that, for t>, we have u ɛ t, L 1 u L 1, uɛ t, L u L, x u ɛ t, L 1 u TV, t u ɛ t, L 1 tu L 1 = fu A ε u u L 1, and inequalities 2.5 and 2.8 hold. Then, for any Ψ with Ψ = ψ D + IR and Ψ = Ψ =, 7.4 2dxdt ψu ε xi β ik u ɛ = ψu ε a ɛ iju ɛ xi u ɛ xj u ɛ dxdt i,j Ψu ε dx C<. By Kolmogorov s compactness theorem and after a standard control of decay at infinity, there is a subsequence still denoted u ɛ t, x such that u ɛ u in C loc [, ; L 1, and thanks to 2.8, xi β ik u ɛ xi β ik u in L 2 [, +. In particular, from this, we obtain property i of Definition xi β ik u L 2 [, +, 2

21 and, 7.6 i 2dxdt 1 xi β ik u 2 u 2 L 2. Furthermore, for any nonnegative ψ Dand k {1,,K}, we have xi β ψ ik uɛ t, x = ψu ɛ t, x xi β ik u ɛ t, x, Notice that, by a strong-weak limit, the right-hand side converges weakly in L 2 to ψut, x xi β ik ut, x. Also, the left-hand side converges weakly in L 2 to xi β ψ ik ut, x. Therefore, we obtain property ii of Definition 2.1, 7.7 ψut, x xi β ik ut, x = xi β ψ ik ut, x a.e. We may also pass to the limit in equation 2.1. Since, recalling the definition 2.6, nt, x, ξ w lim n ε t, x, ξ, we obtain that ut, x satisfies equation 2.12 in D for some nonnegative measures mt, x, ξ and nt, x, ξ satisfying 2.19 and 2.2 as the argument in 2. Therefore, we have proved that u C [, ; L 1 is an entropy solution and Step 1 is completed. a.e. Step 2. For the general case u L 1, we prove the existence of a kinetic solution directly. The same argument allows to build an entropy solution when u L. Approximate u x byu ɛ W2,1 H 1 L such that u ɛ u, L 1. Then there exists a global entropy solution u ɛ C[, ; L 1 of 1.1 and 1.2 with initial data u ɛ x for each ɛ>. Using the contraction property of Theorem 1.1, u ɛ 1 u ɛ 2 C[, ;L 1 uɛ 1 u ɛ 2 L 1, when ε 1,ε 2. Therefore, {u ɛ } is a Cauchy sequence and there exists u C[, ; L 1 such that u ε t, x ut, x, in C[, ; L 1 when ε, 21

### A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of Rou-Huai Wang

A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS XAVIER CABRÉ, MANEL SANCHÓN, AND JOEL SPRUCK In memory of Rou-Huai Wang 1. Introduction In this note we consider semistable

### Finite speed of propagation in porous media. by mass transportation methods

Finite speed of propagation in porous media by mass transportation methods José Antonio Carrillo a, Maria Pia Gualdani b, Giuseppe Toscani c a Departament de Matemàtiques - ICREA, Universitat Autònoma

### A MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASE-FIELD MODEL WITH MEMORY

Guidetti, D. and Lorenzi, A. Osaka J. Math. 44 (27), 579 613 A MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASE-FIELD MODEL WITH MEMORY DAVIDE GUIDETTI and ALFREDO LORENZI (Received January 23, 26,

### Extremal equilibria for reaction diffusion equations in bounded domains and applications.

Extremal equilibria for reaction diffusion equations in bounded domains and applications. Aníbal Rodríguez-Bernal Alejandro Vidal-López Departamento de Matemática Aplicada Universidad Complutense de Madrid,

### DISTRIBUTIONS AND FOURIER TRANSFORM

DISTRIBUTIONS AND FOURIER TRANSFORM MIKKO SALO Introduction. The theory of distributions, or generalized functions, provides a unified framework for performing standard calculus operations on nonsmooth

### Notes on weak convergence (MAT Spring 2006)

Notes on weak convergence (MAT4380 - Spring 2006) Kenneth H. Karlsen (CMA) February 2, 2006 1 Weak convergence In what follows, let denote an open, bounded, smooth subset of R N with N 2. We assume 1 p

### Properties of BMO functions whose reciprocals are also BMO

Properties of BMO functions whose reciprocals are also BMO R. L. Johnson and C. J. Neugebauer The main result says that a non-negative BMO-function w, whose reciprocal is also in BMO, belongs to p> A p,and

### CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian. Pasquale Candito and Giuseppina D Aguí

Opuscula Math. 34 no. 4 2014 683 690 http://dx.doi.org/10.7494/opmath.2014.34.4.683 Opuscula Mathematica CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian Pasquale

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### Regularity and propagation of moments in some nonlinear Vlasov systems

Regularity and propagation of moments in some nonlinear Vlasov systems Ingenuin Gasser Institut für Angewandte Mathematik, Universität Hamburg, Bundesstraße 55, 2146 Hamburg, Germany, Pierre-Emmanuel Jabin

### EXISTENCE AND NON-EXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION

Sixth Mississippi State Conference on Differential Equations and Computational Simulations, Electronic Journal of Differential Equations, Conference 5 (7), pp. 5 65. ISSN: 7-669. UL: http://ejde.math.txstate.edu

### Systems with Persistent Memory: the Observation Inequality Problems and Solutions

Chapter 6 Systems with Persistent Memory: the Observation Inequality Problems and Solutions Facts that are recalled in the problems wt) = ut) + 1 c A 1 s ] R c t s)) hws) + Ks r)wr)dr ds. 6.1) w = w +

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### The Heat Equation. Lectures INF2320 p. 1/88

The Heat Equation Lectures INF232 p. 1/88 Lectures INF232 p. 2/88 The Heat Equation We study the heat equation: u t = u xx for x (,1), t >, (1) u(,t) = u(1,t) = for t >, (2) u(x,) = f(x) for x (,1), (3)

### ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE. 1. Introduction

ON COMPLETELY CONTINUOUS INTEGRATION OPERATORS OF A VECTOR MEASURE J.M. CALABUIG, J. RODRÍGUEZ, AND E.A. SÁNCHEZ-PÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that

### RESONANCES AND BALLS IN OBSTACLE SCATTERING WITH NEUMANN BOUNDARY CONDITIONS

RESONANCES AND BALLS IN OBSTACLE SCATTERING WITH NEUMANN BOUNDARY CONDITIONS T. J. CHRISTIANSEN Abstract. We consider scattering by an obstacle in R d, d 3 odd. We show that for the Neumann Laplacian if

### The Characteristic Polynomial

Physics 116A Winter 2011 The Characteristic Polynomial 1 Coefficients of the characteristic polynomial Consider the eigenvalue problem for an n n matrix A, A v = λ v, v 0 (1) The solution to this problem

### m = 4 m = 5 x x x t = 0 u = x 2 + 2t t < 0 t > 1 t = 0 u = x 3 + 6tx t > 1 t < 0

ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 21, Number 2, Spring 1991 NODAL PROPERTIES OF SOLUTIONS OF PARABOLIC EQUATIONS SIGURD ANGENENT * 1. Introduction. In this note we review the known facts about

### Høgskolen i Narvik Sivilingeniørutdanningen STE6237 ELEMENTMETODER. Oppgaver

Høgskolen i Narvik Sivilingeniørutdanningen STE637 ELEMENTMETODER Oppgaver Klasse: 4.ID, 4.IT Ekstern Professor: Gregory A. Chechkin e-mail: chechkin@mech.math.msu.su Narvik 6 PART I Task. Consider two-point

### 2.3 Convex Constrained Optimization Problems

42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions

### Quasi-static evolution and congested transport

Quasi-static evolution and congested transport Inwon Kim Joint with Damon Alexander, Katy Craig and Yao Yao UCLA, UW Madison Hard congestion in crowd motion The following crowd motion model is proposed

### Singuläre Phänomene und Skalierung in mathematischen Modellen

RHEINISCHE FRIDRICH-WILHELM-UNIVERSITÄT BONN Diffusion Problem With Boundary Conditions of Hysteresis Type N.D.Botkin, K.-H.Hoffmann, A.M.Meirmanov, V.N.Starovoitov no. Sonderforschungsbereich 6 Singuläre

### An optimal transportation problem with import/export taxes on the boundary

An optimal transportation problem with import/export taxes on the boundary Julián Toledo Workshop International sur les Mathématiques et l Environnement Essaouira, November 2012..................... Joint

### An Ill Posed Cauchy Problem for a Hyperbolic System in Two Space Dimensions.

REND. SEM. MAT. UNIV. PADOVA, Vol. 110 (2003) An Ill Posed Cauchy Problem for a Hyperbolic System in Two Space Dimensions. ALBERTO BRESSAN (*) 1. Introduction. The theory of weak solutions for nonlinear

### IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

### ON STRONGLY DEGENERATE PARABOLIC

Monografías del Seminario Matemático García de Galdeano 31, 71 81 (24) 71 ON STRONGLY DEGENERATE PARABOLIC PROBLEMS WITH DISCONTINUOUS COEFFICIENTS Raimund Bürger and Kenneth H. Karlsen Abstract. It is

### Inner Product Spaces

Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

### F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

### Pacific Journal of Mathematics

Pacific Journal of Mathematics GLOBAL EXISTENCE AND DECREASING PROPERTY OF BOUNDARY VALUES OF SOLUTIONS TO PARABOLIC EQUATIONS WITH NONLOCAL BOUNDARY CONDITIONS Sangwon Seo Volume 193 No. 1 March 2000

### MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

MATH 45, PRACTICE FINAL EXAM SOLUTIONS. Exercise. a Is the operator L defined on smooth functions of x, y by L u := u xx + cosu linear? b Does the answer change if we replace the operator L by the operator

### 1. R In this and the next section we are going to study the properties of sequences of real numbers.

+a 1. R In this and the next section we are going to study the properties of sequences of real numbers. Definition 1.1. (Sequence) A sequence is a function with domain N. Example 1.2. A sequence of real

### Chapter 5. Banach Spaces

9 Chapter 5 Banach Spaces Many linear equations may be formulated in terms of a suitable linear operator acting on a Banach space. In this chapter, we study Banach spaces and linear operators acting on

### ON A MIXED SUM-DIFFERENCE EQUATION OF VOLTERRA-FREDHOLM TYPE. 1. Introduction

SARAJEVO JOURNAL OF MATHEMATICS Vol.5 (17) (2009), 55 62 ON A MIXED SUM-DIFFERENCE EQUATION OF VOLTERRA-FREDHOLM TYPE B.. PACHPATTE Abstract. The main objective of this paper is to study some basic properties

### Class Meeting # 1: Introduction to PDEs

MATH 18.152 COURSE NOTES - CLASS MEETING # 1 18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck Class Meeting # 1: Introduction to PDEs 1. What is a PDE? We will be studying functions u = u(x

### Analytic cohomology groups in top degrees of Zariski open sets in P n

Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction

### Existence de solutions à support compact pour un problème elliptique quasilinéaire

Existence de solutions à support compact pour un problème elliptique quasilinéaire Jacques Giacomoni, Habib Mâagli, Paul Sauvy Université de Pau et des Pays de l Adour, L.M.A.P. Faculté de sciences de

### 5. Convergence of sequences of random variables

5. Convergence of sequences of random variables Throughout this chapter we assume that {X, X 2,...} is a sequence of r.v. and X is a r.v., and all of them are defined on the same probability space (Ω,

### Solutions series for some non-harmonic motion equations

Fifth Mississippi State Conference on Differential Equations and Computational Simulations, Electronic Journal of Differential Equations, Conference 10, 2003, pp 115 122. http://ejde.math.swt.edu or http://ejde.math.unt.edu

### References. [1] R. Colombo, F. Marcellini and M. Rascle. A 2-Phase Trac Model based on a Speed Bound SIAM J. Appl. Math,Vol 70,(2010),2652-2666.

References [1] R. Colombo, F. Marcellini and M. Rascle. A 2-Phase Trac Model based on a Speed Bound SIAM J. Appl. Math,Vol 70,(2010),2652-2666. [2] F. Siebel, W. Mauser, S. Moutari and M. Rascle. balanced

### 5.2 Accuracy and Stability for u t = c u x

c 006 Gilbert Strang 5. Accuracy and Stability for u t = c u x This section begins a major topic in scientific computing: Initial-value problems for partial differential equations. Naturally we start with

### FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

### Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.

5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2

### LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO

LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO PETER MÜLLER AND MICHAEL E. ZIEVE Abstract. Planar functions over finite fields give rise to finite projective planes and other combinatorial objects.

### The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

### MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 4: Fourier Series and L 2 ([ π, π], µ) ( 1 π

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 4: Fourier Series and L ([, π], µ) Square Integrable Functions Definition. Let f : [, π] R be measurable. We say that f

### 1. Periodic Fourier series. The Fourier expansion of a 2π-periodic function f is:

CONVERGENCE OF FOURIER SERIES 1. Periodic Fourier series. The Fourier expansion of a 2π-periodic function f is: with coefficients given by: a n = 1 π f(x) a 0 2 + a n cos(nx) + b n sin(nx), n 1 f(x) cos(nx)dx

### Introduction to Flocking {Stochastic Matrices}

Supelec EECI Graduate School in Control Introduction to Flocking {Stochastic Matrices} A. S. Morse Yale University Gif sur - Yvette May 21, 2012 CRAIG REYNOLDS - 1987 BOIDS The Lion King CRAIG REYNOLDS

### Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1

Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1 J. Zhang Institute of Applied Mathematics, Chongqing University of Posts and Telecommunications, Chongqing

### EXISTENCE OF SOLUTIONS TO NONLINEAR, SUBCRITICAL HIGHER-ORDER ELLIPTIC DIRICHLET PROBLEMS WOLFGANG REICHEL AND TOBIAS WETH

EXISTENCE OF SOLUTIONS TO NONLINEAR, SUBCRITICAL HIGHER-ORDER ELLIPTIC DIRICHLET PROBLEMS WOLFGANG REICHEL AND TOBIAS WETH Abstract. We consider the -th order elliptic boundary value problem Lu = f(x,

### Classification of Cartan matrices

Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

### Discussion on the paper Hypotheses testing by convex optimization by A. Goldenschluger, A. Juditsky and A. Nemirovski.

Discussion on the paper Hypotheses testing by convex optimization by A. Goldenschluger, A. Juditsky and A. Nemirovski. Fabienne Comte, Celine Duval, Valentine Genon-Catalot To cite this version: Fabienne

### Duality of linear conic problems

Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

### MATH 461: Fourier Series and Boundary Value Problems

MATH 461: Fourier Series and Boundary Value Problems Chapter III: Fourier Series Greg Fasshauer Department of Applied Mathematics Illinois Institute of Technology Fall 2015 fasshauer@iit.edu MATH 461 Chapter

### LOOKING FOR A GOOD TIME TO BET

LOOKING FOR A GOOD TIME TO BET LAURENT SERLET Abstract. Suppose that the cards of a well shuffled deck of cards are turned up one after another. At any time-but once only- you may bet that the next card

Adaptive Online Gradient Descent Peter L Bartlett Division of Computer Science Department of Statistics UC Berkeley Berkeley, CA 94709 bartlett@csberkeleyedu Elad Hazan IBM Almaden Research Center 650

### Optimal Control of Switched Networks for Nonlinear Hyperbolic Conservation Laws

Optimal Control of Switched Networks for Nonlinear Hyperbolic Conservation Laws Stefan Ulbrich TU Darmstadt Günter Leugering Universität Erlangen-Nürnberg SPP 1253 Optimization with Partial Differential

### 3.7 Non-autonomous linear systems of ODE. General theory

3.7 Non-autonomous linear systems of ODE. General theory Now I will study the ODE in the form ẋ = A(t)x + g(t), x(t) R k, A, g C(I), (3.1) where now the matrix A is time dependent and continuous on some

### FIELDS-MITACS Conference. on the Mathematics of Medical Imaging. Photoacoustic and Thermoacoustic Tomography with a variable sound speed

FIELDS-MITACS Conference on the Mathematics of Medical Imaging Photoacoustic and Thermoacoustic Tomography with a variable sound speed Gunther Uhlmann UC Irvine & University of Washington Toronto, Canada,

### Linköping University Electronic Press

Linköping University Electronic Press Report Well-posed boundary conditions for the shallow water equations Sarmad Ghader and Jan Nordström Series: LiTH-MAT-R, 0348-960, No. 4 Available at: Linköping University

### NOTES ON LINEAR TRANSFORMATIONS

NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all

### 1. Introduction. PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1

Publ. Mat. 45 (2001), 69 77 PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1 Bernard Coupet and Nabil Ourimi Abstract We describe the branch locus of proper holomorphic mappings between

### Ideal Class Group and Units

Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

### Critical Thresholds in Euler-Poisson Equations. Shlomo Engelberg Jerusalem College of Technology Machon Lev

Critical Thresholds in Euler-Poisson Equations Shlomo Engelberg Jerusalem College of Technology Machon Lev 1 Publication Information This work was performed with Hailiang Liu & Eitan Tadmor. These results

### Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization

Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 510838, 15 pages doi:10.1155/2010/510838 Research Article Stability Analysis for Higher-Order Adjacent Derivative

### Example 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum. asin. k, a, and b. We study stability of the origin x

Lecture 4. LaSalle s Invariance Principle We begin with a motivating eample. Eample 4.1 (nonlinear pendulum dynamics with friction) Figure 4.1: Pendulum Dynamics of a pendulum with friction can be written

### Recall that the gradient of a differentiable scalar field ϕ on an open set D in R n is given by the formula:

Chapter 7 Div, grad, and curl 7.1 The operator and the gradient: Recall that the gradient of a differentiable scalar field ϕ on an open set D in R n is given by the formula: ( ϕ ϕ =, ϕ,..., ϕ. (7.1 x 1

### THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

### Nonparametric adaptive age replacement with a one-cycle criterion

Nonparametric adaptive age replacement with a one-cycle criterion P. Coolen-Schrijner, F.P.A. Coolen Department of Mathematical Sciences University of Durham, Durham, DH1 3LE, UK e-mail: Pauline.Schrijner@durham.ac.uk

### A Transmission Problem for Euler-Bernoulli beam with Kelvin-Voigt. Damping

Applied Mathematics & Information Sciences 5(1) (211), 17-28 An International Journal c 211 NSP A Transmission Problem for Euler-Bernoulli beam with Kelvin-Voigt Damping C. A Raposo 1, W. D. Bastos 2 and

### 6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )

6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a non-empty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points

### SOME TYPES OF CONVERGENCE OF SEQUENCES OF REAL VALUED FUNCTIONS

Real Analysis Exchange Vol. 28(2), 2002/2003, pp. 43 59 Ruchi Das, Department of Mathematics, Faculty of Science, The M.S. University Of Baroda, Vadodara - 390002, India. email: ruchid99@yahoo.com Nikolaos

### Degree Hypergroupoids Associated with Hypergraphs

Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

### Quadratic Equations in Finite Fields of Characteristic 2

Quadratic Equations in Finite Fields of Characteristic 2 Klaus Pommerening May 2000 english version February 2012 Quadratic equations over fields of characteristic 2 are solved by the well known quadratic

### Metric Spaces. Chapter 7. 7.1. Metrics

Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

### HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES

HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Perhaps the most useful analytic tool in gauge theory is the Uhlenbeck compactness

### x if x 0, x if x < 0.

Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the

### Computing divisors and common multiples of quasi-linear ordinary differential equations

Computing divisors and common multiples of quasi-linear ordinary differential equations Dima Grigoriev CNRS, Mathématiques, Université de Lille Villeneuve d Ascq, 59655, France Dmitry.Grigoryev@math.univ-lille1.fr

### CONTRIBUTIONS TO ZERO SUM PROBLEMS

CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg

### ON NONNEGATIVE SOLUTIONS OF NONLINEAR TWO-POINT BOUNDARY VALUE PROBLEMS FOR TWO-DIMENSIONAL DIFFERENTIAL SYSTEMS WITH ADVANCED ARGUMENTS

ON NONNEGATIVE SOLUTIONS OF NONLINEAR TWO-POINT BOUNDARY VALUE PROBLEMS FOR TWO-DIMENSIONAL DIFFERENTIAL SYSTEMS WITH ADVANCED ARGUMENTS I. KIGURADZE AND N. PARTSVANIA A. Razmadze Mathematical Institute

### MATH 304 Linear Algebra Lecture 8: Inverse matrix (continued). Elementary matrices. Transpose of a matrix.

MATH 304 Linear Algebra Lecture 8: Inverse matrix (continued). Elementary matrices. Transpose of a matrix. Inverse matrix Definition. Let A be an n n matrix. The inverse of A is an n n matrix, denoted

### Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

### CONVERGENCE OF SEQUENCES OF ITERATES OF RANDOM-VALUED VECTOR FUNCTIONS

C O L L O Q U I U M M A T H E M A T I C U M VOL. 97 2003 NO. 1 CONVERGENCE OF SEQUENCES OF ITERATES OF RANDOM-VALUED VECTOR FUNCTIONS BY RAFAŁ KAPICA (Katowice) Abstract. Given a probability space (Ω,

### Fourier Series. A Fourier series is an infinite series of the form. a + b n cos(nωx) +

Fourier Series A Fourier series is an infinite series of the form a b n cos(nωx) c n sin(nωx). Virtually any periodic function that arises in applications can be represented as the sum of a Fourier series.

### Summary of week 8 (Lectures 22, 23 and 24)

WEEK 8 Summary of week 8 (Lectures 22, 23 and 24) This week we completed our discussion of Chapter 5 of [VST] Recall that if V and W are inner product spaces then a linear map T : V W is called an isometry

### The sum of digits of polynomial values in arithmetic progressions

The sum of digits of polynomial values in arithmetic progressions Thomas Stoll Institut de Mathématiques de Luminy, Université de la Méditerranée, 13288 Marseille Cedex 9, France E-mail: stoll@iml.univ-mrs.fr

Degenerated operator equations of higher order L. Tepoyan November 14, 1 Introduction The main object of the present paper is the dierential{operator equation L u (;1) m D m t (t D m t u)+ad m;1 t (t ;1

### ORDINARY DIFFERENTIAL EQUATIONS

ORDINARY DIFFERENTIAL EQUATIONS GABRIEL NAGY Mathematics Department, Michigan State University, East Lansing, MI, 48824. SEPTEMBER 4, 25 Summary. This is an introduction to ordinary differential equations.

### Introduction to the Finite Element Method

Introduction to the Finite Element Method 09.06.2009 Outline Motivation Partial Differential Equations (PDEs) Finite Difference Method (FDM) Finite Element Method (FEM) References Motivation Figure: cross

### 9 More on differentiation

Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......

### A simple criterion on degree sequences of graphs

Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree

### HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

### Sensitivity analysis of European options in jump-diffusion models via the Malliavin calculus on the Wiener space

Sensitivity analysis of European options in jump-diffusion models via the Malliavin calculus on the Wiener space Virginie Debelley and Nicolas Privault Département de Mathématiques Université de La Rochelle

### Energy decay rates for solutions of Maxwell s system with a memory boundary condition

Collect. Math. vv, n (yyyy, 6 c 7 Universitat de Barcelona Energy decay rates for solutions of Maxwell s system with a memory boundary condition Serge Nicaise Université de Valenciennes et du Hainaut Cambrésis

### Advanced results on variational inequality formulation in oligopolistic market equilibrium problem

Filomat 26:5 (202), 935 947 DOI 0.2298/FIL205935B Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Advanced results on variational

### A STABILITY RESULT ON MUCKENHOUPT S WEIGHTS

Publicacions Matemàtiques, Vol 42 (998), 53 63. A STABILITY RESULT ON MUCKENHOUPT S WEIGHTS Juha Kinnunen Abstract We prove that Muckenhoupt s A -weights satisfy a reverse Hölder inequality with an explicit

### Quasi Contraction and Fixed Points

Available online at www.ispacs.com/jnaa Volume 2012, Year 2012 Article ID jnaa-00168, 6 Pages doi:10.5899/2012/jnaa-00168 Research Article Quasi Contraction and Fixed Points Mehdi Roohi 1, Mohsen Alimohammady

### Separation Properties for Locally Convex Cones

Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam

### CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,