

 Derrick Nicholson
 3 years ago
 Views:
Transcription
1 Revista Matematica Iberoamericana Vol. 14, N. o 1, 1998 A proof of the smoothing properties of the positive part of Boltzmann's kernel Francois Bouchut and Laurent Desvillettes Abstract. We give two direct proofs of Sobolev estimates for the positive part of Boltzmann's kernel. The rst deals with a cross section with separated variables no derivative is needed in this case. The second is concerned with a general cross section having one derivative in the angular variable. Resume. Nous donnons deux preuves directes des estimations de Sobolev pour la partie positive du noyau de Boltzmann. La premiere concerne les sections ecaces a variables separees aucune derivee n'est necessaire dans ce cas. La deuxieme traite des sections ecaces generales ayant une derivee dans la variable angulaire. 1. Introduction. The Boltzmann quadratic kernel Q models binary collisions occurring in a rareed monatomic gas (cf. [3], [4], [9]). It can be written under the form (1.1) Q(f)(v) Q + (f)(v) ; f(v) Lf(v) where Lf is a linear convolution operator, and Q + is the positive part 47
2 48 F. Bouchut and L. Desvillettes of Q, dened by Q + (f)(v) (1.) v R N S N;1 v + v f ; jv ; v j v + v f B jv ; v j v ; v jv ; v j d dv : + jv ; v j The nonnegative cross section B depends on the type of interaction between the particles of the gas. In a gas in which particles interact with respect to forces proportional to r ;s, s, the cross section B writes (1.3) B(x u) b(x) (u) where (1.4) b(x) x (s;5)(s;1) and has a strong singularity near u 1. The classical assumption of angular cuto of Grad [6] (that is L 1 (];1 1[)) is used to remove this singularity. It will always be made in this paper. To get an idea of the properties of Q when this assumption is not made, we refer the reader for example to [5] or [8]. The properties of Q + (with the assumption of angular cuto of Grad) have rst been investigated by P.L. Lions in [7]. In this work, it is proved that if B is a very smooth function with support avoiding certain points, then there exists C N B such that (1.5) kq + (f)k _ H (N;1) (R N v ) C N B kfk L 1 (R N v ) kfk L (R N v ) for any f L 1 \ L (RN v ). The proof of this estimate used the theory of Fourier integral operators. The very restricting conditions on B were not a serious inconvenience since in the application to the inhomogeneous Boltzmann equation, only the strong compactness in L 1 of Q + (f) was used, and not the estimate itself, so that these smoothness assumptions could be relaxed by suitable approximations of B. Notice that the use of the Fourier transform in the velocity variable in the context of the Boltzmann equation was already used by Bobylev in [].
3 A proof of the smoothing properties 49 An extension of this work to the case of the relativistic Boltzmann kernel can be found in [1]. Then, another proof of (1.5) was given by Wennberg [10] with the help of the regularizing properties of the (generalized) Radon transform. The hypothesis on B were considerably diminished, so that for example forces in r ;s with angular cuto and s 9 were included. Considerations on related kernels (for example the relativistic kernel) can also be found in [11]. This work is intended to give yet another proof of (1.5)like estimates, using only elementary properties of the Fourier transform. Moreover, we prove that the estimate holds for a large class of cross sections B, including all hard potentials with cuto (that is when s 5) and also soft potentials up to s>135. One of the drawbacks of our proof is that instead of having a L 1 norm times a L norm in the righthand side of (1.5), we only get a L norm to the square. In Section, we deal with the case when B is a tensor product (that is of the form (1.3)). Then, we present in Section 3 the case of general dependence for B with a reasonable smoothness assumption. The following notations will be used throughout the paper. For any p 1, q 0, L p q(rn ) is the weighted space embedded with the norm 1p (1.6) kfk p Lq (R N ) jf(v)j p (1 + jvj) pq dv vr N and if 0 < s < N, _H s (RN ) is the homogeneous Sobolev space of functions f of L N(N;s) (RN ) such that Its norm is given by bf L 1 loc(rn ) and jj s b f() L (RN ) : (1.7) kfk _ H s (R N ) R N j b f()j jj s d 1 : We shall use the two following formulas to compute some integrals on the sphere S N;1 (N ). The rst deals with functions which only depend on one component: for any function dened on ] ; 1 1[, (1.8) SN;1 (! N ) d! (N;1) N ; 1 ; 1 ;1 (u)(1; u ) (N;3) du :
4 50 F. Bouchut and L. Desvillettes The second is concerned with the change of variables (!)! ;, for a xed S N;1. We have for any function ' dened on S N;1 (1.9) '() d '( (!)! ; ) j!j N; d! : S N;1 S N;1 Finally, constants will be denoted by C, or C N when they depend on the dimension N.. The case of separated variables. We investigate here the properties of Q + when (.1) B jv ; v j v ; v v ; jv ; v j v b (jv ; v j) jv ; v j where b and are Borel functions dened on ]0 1[ and ] ; 1 1[ respectively. We consider the multidimensional case N. Let us state the main result of this section. Theorem.1. Assume that there exists K 0, 0 such that (.) jb(x)j K(1 + x) for all x>0 and that (.3) L (]; 1 1[ (1 ; u ) (N;3) du) : Then for any f L 1+(RN ), Q + (f) _H (N;1) (RN ) and (.4) kq + (f)k _ H (N;1) (R N ) C N K kk L (];1 1[ (1;u ) (N;3) du)kfk L 1+ (RN ) : In order to prove Theorem.1, let us dene the operator Q+ e for functions of two variables F (v 1 v ), v 1 v RN by v + v eq + (F )(v) F ; jv ; v j v + v + jv ; v j v R N (.5) S N;1 v ; v jv ; v j d dv :
5 A proof of the smoothing properties 51 Proposition.. For the linear operator (:5), we have i) If L 1 (];1 1[ (1;u ) (N;3) du), then for any F L 1 (RN RN ), e Q + (F ) L 1 (RN ) and k Q+ e (F )k L 1 (R N ) (.6) (N;1) N ; 1 kk L 1 (];1 1[ (1;u ) (N;3) du) kf k L 1 (R N R N ) : ; Moreover, (:6) is an equality if and F are nonnegative. ii) If L (];1 1[ (1;u ) (N;3) du), then for any F L (RN RN ) such that (v ;v 1 )F L (RN RN ), the integral (:5) is absolutely convergent for almost every v, e Q + (F ) _ H (N;1) (RN ) and k Q+ e (F )k H _ (N;1) (R N ) (.7) C N kk L (];1 1[ (1;u ) (N;3) du) kf k 1 k(v L ; v 1 )F k 1 : L.1. Let us postpone the proof of Proposition. and deduce Theorem Proof of Theorem.1. Let us dene (.8) F (v 1 v )f(v 1 ) f(v ) b(jv ; v 1 j) : Then, denitions (1.), (1.3) and (.5) yield Q + (f) e Q+ (F ). Now, by (.) we have (.9) jf (v 1 v )jjf(v 1 )jjf(v )j K (1 + jv ; v 1 j) K jf(v 1 )jjf(v )j (1 + jv 1 j + jv j) K j(1 + jv 1 j) f(v 1 )jj(1 + jv j) f(v )j : Therefore, (.10) kf k L 1 K kfk L 1 kf k L K kfk L
6 5 F. Bouchut and L. Desvillettes and since j(v ; v 1 )F (v 1 v )jjv 1 jjf (v 1 v )j + jv jjf (v 1 v )j Kj(1 + jv 1 j) 1+ f(v 1 )jj(1 + jv j) f(v )j + Kj(1 + jv 1 j) f(v 1 )jj(1 + jv j) 1+ f(v )j we have also (.11) k(v ; v 1 )F k L Kkfk L kfk L 1+ : Therefore, we can apply Proposition..ii), and we get Q + (f) e Q + (F ) _H (N;1), (.1) kq + (f)k H _ C (N;1) N kk L Kkfk 3 L kfk1 : L 1+ Finally, (.4) follows since kfk L kfk L 1+ : Proof of Proposition.. Estimate i) is easy with (1.8), and we only prove ii). Let us rst assume that F L 1 (RN RN ). We perform the change of variables v ; v (.13) jv ; v j!! ; v ; v jv ; v j : According to (1.9), eq + (F )(v) F (v ; (v ; v )!! v +(v ; v )!!) (.14) v R N!S N;1 v;v jv;v j! v;v ; 1 jv;v j! N; dv d! : Since by i) e Q+ (F ) L 1, we can compute its Fourier transform, which
7 A proof of the smoothing properties 53 is given by \eq + (F )() e ;iv F (v ; (v ; v )!! v +(v ; v )!!) v v R N!S N;1 v 1 v R N!S N;1 v ; v jv ; v j! v ; v ; 1 jv ; v j! N; dv dv d! e ;i(v 1;(v 1 ;v )!!) F (v 1 v ) v1 ; v jv 1 ; v j! v 1 ; v ; 1 jv 1 ; v j! N; dv1 dv d! by the usual prepost collisional change of variables. Next we perform a change of variables in!, given by an orthogonal hyperplane symmetry which exchanges the unitary vectors We obtain \eq + (F )() v 1 ; v jv 1 ; v j and jj : e ;i(v 1;(v 1 ;v )!!) F (v 1 v ) v 1 v R N!S N;1 jj! ; 1 jj! N; dv1 dv d!!s N;1 b F ( ;!!!!) jj! ; 1 jj! N; d! with F b the Fourier transform of F in both variables. Finally, we make the change of variables jj!! ; jj
8 54 F. Bouchut and L. Desvillettes and get according \ to (1.9) (.15) eq+ (F )() S N;1 F b ;jj + jj jj d : Now, in order to estimate (.15) we assume that F C 1 c (RN RN ), so that F b is smooth. This assumption can easily be relaxed by cuto and convolution of F to get (.7) in the general case. We have by CauchySchwarz's inequality (.16) (.17) S N;1 j\ eq+ (F )()j S N;1 b F S N;1 ;jj + jj d jj d and the last integral can be computed using (1.8), jj d Then, S N;1 b F ;jj S N;1 S N;1 jj>jj (N;1) N ; 1 ; + jj d rjj 1 ;1 1 b ; r F 1 F b ; r F b ; j(u)j (1 ; u ) (N;3) du : + r d dr + r (r F b ;r1f b ; r ) + (r F b ;r1f b ; ) + + r d dr d jj N;1
9 A proof of the smoothing properties 55 where r 1 b F and r b F denote the gradients of b F with respect to the rst and second variables. Therefore, R N jj N;1 d R N b F S N;1 b F ; + ;jj N kjb F jjr b F ;r1 b F jkl 1 (R N R N ) + jj d (r F b ;r1f b ; ) + d d N k b F kl (R N R N ) kr b F ;r1 b F kl (R N R N ) N () N kf k L (R N R N ) k(v ; v 1 )F k L (R N R N ) and together with (.16)(.17), we obtain (.7). Remark.1. A slightly weaker version of Theorem.1 is still true when one deals with (not too) soft potentials (with the angular cuto of Grad). Namely, fora cross section satisfying assumption (.1) with and L (]; 1 1[ (1 ; u ) (N;3) du) (.18) b(x) x ; 0 << N for any f L N(N;) 1 (RN ), we have that with Q + (f) _H (N;1) (RN ) (.19) kq + (f)k _ H (N;1) (R N ) C N kk L (];1 1[ (1;u ) (N;3) du)kfk L N(N;) 1 : Actually, dening F (v 1 v )f(v 1 )f(v ) jv ; v 1 j ;
10 56 F. Bouchut and L. Desvillettes we have kf k L (R N R N ) jf(v 1 )j jf(v )j jv ; v 1 j ; dv 1 dv We choose r N, so that kjfj k L r 0 kjfj jvj ; k L r : kjfj jvj ; k L r C N kjfj k L N(N;) and we obtain kf k L C N kjfj k L N(N;) : Therefore, kf k L (R N R N ) C N kfk L N(N;) and similarly k(v ; v 1 )F k L (R N R N ) C N kvfk L N(N;)kfk L N(N;) : We conclude by applying Proposition..ii). 3. The general case. We now concentrate on the case when B is not a tensor product. The estimate is not as straightforward as in Section, and we have to make a regularity assumption on B. Moreover, we only treat here the threedimensional case. Theorem 3.1. Let B be a continuous function from ]0 1[[;1 1] to R, admitting a continuous derivative in the second variable. We assume that (3.1) jb(x (x u) K(1 + x) for all x > 0 and u [;1 1]. Then, for any " > 0, there exists a constant C " only depending on " such that for any f L 1 1(R3 ) \ L (3+") (R3 )
11 A proof of the smoothing properties 57 Q + (f) _ H 1 (R3 ) with (3.) kq + (f)k _ H 1 (R 3 ) C "Kkfk L (3+") : Proof. Since jb(x u)j K (1 + x) the result of Proposition..i) ensures that the integral (1.) dening Q + (f) is absolutely convergent for almost every v, and that Q + (f) L 1 (R3 ), (3.3) kq + (f)k L 1 4Kkfk L 1 : 1 Therefore, we can compute the Fourier transform of Q + (f), v + v \Q + (f)() e ;iv f ; jv ; v j v + v f + jv ; v j (3.4) v v R 3 S v v R 3 S B jv ; v j v ; v jv ; v j d dv dv e ;i(v+v ;jv;v j) f(v)f(v ) B jv ; v j v ; v jv ; v j d dv dv according to the prepost collisional change of variables. Thus we obtain (3.5) \Q + (f)() e ;i(v+v ) f(v)f(v ) D(v;v ) dv dv v v R 3 where for any w R3 nf0g D(w ) (3.6) S e ijwj B jwj w jwj d +1 e ijwjjjs s;1 B '0 s jwj s jj w jwj +p 1;s 1; jj w jwj cos ' d' ds
12 58 F. Bouchut and L. Desvillettes with spherical coordinates and (3.7) s Integrating by parts, we get D(w ) ; (3.8) and therefore (3.9) +1 s;1 '0 + eijwjjj i jwjjj ; e;ijwjjj i jwjjj jd(w )j e ijwjjjs i jwjjj jj w jwj ; jj : s p 1 ; jwj jj w jwj s 1 ; jj w jwj + p 1;s s1; jj w jwj B jwj jj w jwj B jwj ; jj w jwj 4 +1 jwjjj K(1 + jwj) ;1 + 8 K(1 + jwj) jwjjj 4 K 1+ 1 : jj jwj Coming back to (3.5) and using the variables (3.10) z v + v we get (3.11) \Q + (f)() wr 3 1+ w v ; v W (f)(w ) D(w ) dw cos ' cos ' d' ds jsj p ds 1 ; s
13 A proof of the smoothing properties 59 where (3.1) W (f)(w ) zr 3 e ;iz f z + w f z ; w dz is a Wignertype transform of f. Then, according to CauchySchwarz's inequality, we get for any ">0 j\q + (f)()j jw (f)(w )j (1 + jwj) 3+" dw (3.13) wr 3 jd(w )j dw (1 + jwj) 3+" wr 3 K C " jw (f)(w )j (1 + jwj) 3+" dw : jj wr 3 Finally, using Plancherel's identity, we obtain jj j\q + (f)()j d R 3 C " K jw (f)(w )j d (1 + jwj) 3+" dw (3.14) wr 3 C " K () 3 R 3 f z + w f z ; w dz (1 + jwj) 3+" dw wr 3 zr 3 C " K () 3 v v R 3 jf(v)f(v )j (1 + jv ; v j) 3+" dv dv C " K () 3 kfk 4 L (3+") by the same estimate as in (.9) and the proof is complete. Remark 3.1. As in Section, one could here also treat singular B (in the rst variable) if one allowed to replace the weighted L norms of f in (3.) by suitable (weighted) L p norms, with p>.
14 60 F. Bouchut and L. Desvillettes Remark 3.. As in [10], one could deduce from Theorems.1 and 3.1 regularity properties for the homogeneous Boltzmann equation. Notice that such properties give also counterexamples. For example one can prove that if f is the solution of the homogeneous Boltzmann equation and if f(0) is not smooth (the exact smoothness considered here depends on the properties of B), then for any t>0, f(t) will also not be smooth. This behavior is completely opposite to that of the Boltzmann equation without angular cuto (cf. [5], [8]). References. [1] Andreasson, H., Regularity of the gain term and strong L 1 convergence to equilibrium for the relativistic Boltzmann equation. SIAM J. Math. Anal. 7 (1996), [] Bobylev, A. V., Exact solutions of the nonlinear Boltzmann equation and the theory of relaxation of a Maxwellian gas. Teor. Math. Phys. 60 (1984), [3] Cercignani, C., The Boltzmann equation and its applications. Springer, [4] Chapman, S., Cowling, T. G., The mathematical theory of non uniform gases. Cambridge Univ. Press, 195. [5] Desvillettes, L., About the regularity properties of the non cuto Kac equation. Comm. Math. Phys. 168 (1995), [6] Grad, H., Principles of the kinetic theory of gases. Flugge's handbuch der Physik 1 (1958), [7] Lions, P.L., Compactness in Boltzmann's equation via Fourier integral operators and applications, Parts I, II and III. J. Math. Kyoto Univ. 34 (1994), and [8] Proutiere, A., New results of regularization for weak solutions of Boltzmann equation. Preprint (1996). [9] Truesdell, C., Muncaster, R., Fundamentals of Maxwell's kinetic theory of a simple monatomic gas. Academic Press, [10] Wennberg, B., Regularity in the Boltzmann equation and the Radon transform. Comm. Partial Di. Equations 19 (1994),
15 A proof of the smoothing properties 61 [11] Wennberg, B., The geometry of binary collisions and generalized Radon transforms. To appear in Arch. Rational Mech. Anal. Recibido: 1 de septiembre de Revisado: 1 de enero de Francois Bouchut and Laurent Desvillettes Universite d'orleans et CNRS, UMR 668 Departement de Mathematiques BP Orleans cedex, FRANCE
Rev. Mat. Iberoam, 17 (1), 49{419 Dynamical instability of symmetric vortices Lus Almeida and Yan Guo Abstract. Using the MaxwellHiggs model, we prove that linearly unstable symmetric vortices in the
More informationNumerical 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
More informationVectors, Gradient, Divergence and Curl.
Vectors, Gradient, Divergence and Curl. 1 Introduction A vector is determined by its length and direction. They are usually denoted with letters with arrows on the top a or in bold letter a. We will use
More informationSection 1.1. Introduction to R n
The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to
More information2.4 Mathematical Induction
2.4 Mathematical Induction What Is (Weak) Induction? The Principle of Mathematical Induction works like this: What Is (Weak) Induction? The Principle of Mathematical Induction works like this: We want
More informationON 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ÁNCHEZPÉREZ Abstract. Let m be a vector measure taking values in a Banach space X. We prove that
More informationNumerical studies of a granular gas in a host medium
Numerical studies of a granular gas in a host medium M. Bisi, S. Rjasanow, G. Spiga Dipartimento di Matematica, Università di Parma, Viale G.P. Usberti 53/A, I4300 Parma, Italy marzia.bisi@unipr.it, giampiero.spiga@unipr.it
More information8.7 Mathematical Induction
8.7. MATHEMATICAL INDUCTION 8135 8.7 Mathematical Induction Objective Prove a statement by mathematical induction Many mathematical facts are established by first observing a pattern, then making a conjecture
More informationLocalisation des racines d un polynome et de ses dérivées, étude statistique. André Galligo. Seminaire PassePartout. Nice, Mars 2011.
Localisation des racines d un polynome et de ses dérivées, étude statistique André Galligo Laboratoire J.A. Dieudonné UMR CNRS 6621 Université de Nice  Sophia Antipolis, France et projetcommun Galaad
More informationRegularity 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, PierreEmmanuel Jabin
More information3 Orthogonal Vectors and Matrices
3 Orthogonal Vectors and Matrices The linear algebra portion of this course focuses on three matrix factorizations: QR factorization, singular valued decomposition (SVD), and LU factorization The first
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationHOLOMORPHIC 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
More informationA PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS. In memory of RouHuai Wang
A PRIORI ESTIMATES FOR SEMISTABLE SOLUTIONS OF SEMILINEAR ELLIPTIC EQUATIONS XAVIER CABRÉ, MANEL SANCHÓN, AND JOEL SPRUCK In memory of RouHuai Wang 1. Introduction In this note we consider semistable
More informationMaxwelltype kinetic models: a brief history
: a brief history Department of Mathematics University of Pavia, Italy Cambridge, August 2010 Outline 1 Introduction Wild result The central limit problem 2 The Boltzmann equation Introduction Wild result
More informationRotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve
QUALITATIVE THEORY OF DYAMICAL SYSTEMS 2, 61 66 (2001) ARTICLE O. 11 Rotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve Alexei Grigoriev Department of Mathematics, The
More informationSome Comments on the Derivative of a Vector with applications to angular momentum and curvature. E. L. Lady (October 18, 2000)
Some Comments on the Derivative of a Vector with applications to angular momentum and curvature E. L. Lady (October 18, 2000) Finding the formula in polar coordinates for the angular momentum of a moving
More informationDegenerated 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
More informationLOOKING 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 timebut once only you may bet that the next card
More informationFinite 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
More informationIndiana State Core Curriculum Standards updated 2009 Algebra I
Indiana State Core Curriculum Standards updated 2009 Algebra I Strand Description Boardworks High School Algebra presentations Operations With Real Numbers Linear Equations and A1.1 Students simplify and
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More informationMATHEMATICAL METHODS OF STATISTICS
MATHEMATICAL METHODS OF STATISTICS By HARALD CRAMER TROFESSOK IN THE UNIVERSITY OF STOCKHOLM Princeton PRINCETON UNIVERSITY PRESS 1946 TABLE OF CONTENTS. First Part. MATHEMATICAL INTRODUCTION. CHAPTERS
More informationThe Ideal Class Group
Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned
More informationThe Limit of a Sequence of Numbers: Infinite Series
Connexions module: m36135 1 The Limit of a Sequence of Numbers: Infinite Series Lawrence Baggett This work is produced by The Connexions Project and licensed under the Creative Commons Attribution License
More informationTRANSITION FROM KINETIC THEORY TO MACROSCOPIC FLUID EQUATIONS: A PROBLEM FOR DOMAIN DECOMPOSITION AND A SOURCE FOR NEW ALGORITHMS A. Klar, H. Neunzert and J. Struckmeier Dept. of Mathematics, University
More informationSection 4.4 Inner Product Spaces
Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer
More informationDISTRIBUTIONS 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
More informationShape Optimization Problems over Classes of Convex Domains
Shape Optimization Problems over Classes of Convex Domains Giuseppe BUTTAZZO Dipartimento di Matematica Via Buonarroti, 2 56127 PISA ITALY email: buttazzo@sab.sns.it Paolo GUASONI Scuola Normale Superiore
More informationThe 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
More informationSign changes of Hecke eigenvalues of Siegel cusp forms of degree 2
Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Ameya Pitale, Ralf Schmidt 2 Abstract Let µ(n), n > 0, be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform F of degree
More informationExtremal equilibria for reaction diffusion equations in bounded domains and applications.
Extremal equilibria for reaction diffusion equations in bounded domains and applications. Aníbal RodríguezBernal Alejandro VidalLópez Departamento de Matemática Aplicada Universidad Complutense de Madrid,
More informationAN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION. Abstract
AN EXPANSION FORMULA FOR FRACTIONAL DERIVATIVES AND ITS APPLICATION T. M. Atanackovic 1 and B. Stankovic 2 Dedicated to Professor Ivan H. Dimovski on the occasion of his 7th birthday Abstract An expansion
More informationNON SINGULAR MATRICES. DEFINITION. (Non singular matrix) An n n A is called non singular or invertible if there exists an n n matrix B such that
NON SINGULAR MATRICES DEFINITION. (Non singular matrix) An n n A is called non singular or invertible if there exists an n n matrix B such that AB = I n = BA. Any matrix B with the above property is called
More informationSolutions series for some nonharmonic 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
More informationFluid Dynamics from Kinetic Equations
Fluid Dynamics from Kinetic Equations François Golse Université Paris 7 & IUF, Laboratoire J.L. Lions golse@math.jussieu.fr & C. David Levermore Department of Mathematics and Institute for Physical Science
More informationSensitivity analysis of European options in jumpdiffusion models via the Malliavin calculus on the Wiener space
Sensitivity analysis of European options in jumpdiffusion models via the Malliavin calculus on the Wiener space Virginie Debelley and Nicolas Privault Département de Mathématiques Université de La Rochelle
More informationLAURENT DE S V I L L E T T E S (*) Boltzmann s kernel and the spatially homogeneous Boltzmann equation (**)
R i v. M a t. U n i v. P a r m a ( 6 ) 4 * ( 2 0 0 1 ), 12 2 LAURENT DE S V I L L E T T E S (*) Boltzmann s kernel and the spatially homogeneous Boltzmann equation (**) 1  Introduction Since the pioneering
More informationCharacterizations are given for the positive and completely positive maps on n n
Special Classes of Positive and Completely Positive Maps ChiKwong Li and Hugo J. Woerdemany Department of Mathematics The College of William and Mary Williamsburg, Virginia 387 Email: ckli@cs.wm.edu
More informationIdeal 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
More informationBOUNDED, ASYMPTOTICALLY STABLE, AND L 1 SOLUTIONS OF CAPUTO FRACTIONAL DIFFERENTIAL EQUATIONS. Muhammad N. Islam
Opuscula Math. 35, no. 2 (215), 181 19 http://dx.doi.org/1.7494/opmath.215.35.2.181 Opuscula Mathematica BOUNDED, ASYMPTOTICALLY STABLE, AND L 1 SOLUTIONS OF CAPUTO FRACTIONAL DIFFERENTIAL EQUATIONS Muhammad
More information= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without
More informationMATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets.
MATH 304 Linear Algebra Lecture 20: Inner product spaces. Orthogonal sets. Norm The notion of norm generalizes the notion of length of a vector in R n. Definition. Let V be a vector space. A function α
More informationRenormalization of the Numerical Diffusion for an Upwind Finite Volume Method. Application to the Simulation of KelvinHelmholtz Instability
5th International Symposium on Finite Volumes for Complex Applications.  Problems and Perspectives June 0813, 008 Aussois, France Renormalization of the Numerical Diffusion for an Upwind Finite Volume
More informationTHREE DIMENSIONAL GEOMETRY
Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,
More information1. 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
More information5. 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 (Ω,
More informationarxiv:math/0202219v1 [math.co] 21 Feb 2002
RESTRICTED PERMUTATIONS BY PATTERNS OF TYPE (2, 1) arxiv:math/0202219v1 [math.co] 21 Feb 2002 TOUFIK MANSOUR LaBRI (UMR 5800), Université Bordeaux 1, 351 cours de la Libération, 33405 Talence Cedex, France
More informationExistence for some vectorial elliptic problems with measure data **)
Riv. Mat. Univ. Parma 7) 5 006), 46 F RANCESCO L EONETTI and P IER INCENZO P ETRICCA *) Existence for some vectorial elliptic problems with measure data **)  Introduction The study of elliptic boundary
More informationError estimates for nearly degenerate finite elements
Error estimates for nearly degenerate finite elements Pierre Jamet In RAIRO: Analyse Numérique, Vol 10, No 3, March 1976, p. 43 61 Abstract We study a property which is satisfied by most commonly used
More informationClass 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
More informationFACTORING 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
More information1.3. DOT PRODUCT 19. 6. If θ is the angle (between 0 and π) between two nonzero vectors u and v,
1.3. DOT PRODUCT 19 1.3 Dot Product 1.3.1 Definitions and Properties The dot product is the first way to multiply two vectors. The definition we will give below may appear arbitrary. But it is not. It
More informationEXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL
EXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL Exit Time problems and Escape from a Potential Well Escape From a Potential Well There are many systems in physics, chemistry and biology that exist
More informationTheory of Sobolev Multipliers
Vladimir G. Maz'ya Tatyana O. Shaposhnikova Theory of Sobolev Multipliers With Applications to Differential and Integral Operators ^ Springer Introduction Part I Description and Properties of Multipliers
More informationThe van Hoeij Algorithm for Factoring Polynomials
The van Hoeij Algorithm for Factoring Polynomials Jürgen Klüners Abstract In this survey we report about a new algorithm for factoring polynomials due to Mark van Hoeij. The main idea is that the combinatorial
More informationSurface Normals and Tangent Planes
Surface Normals and Tangent Planes Normal and Tangent Planes to Level Surfaces Because the equation of a plane requires a point and a normal vector to the plane, nding the equation of a tangent plane to
More informationIntrinsic Geometry. 2 + g 22. du dt. 2 du. Thus, very short distances ds on the surface can be approximated by
Intrinsic Geometry The Fundamental Form of a Surface Properties of a curve or surface which depend on the coordinate space that curve or surface is embedded in are called extrinsic properties of the curve.
More informationChapter 7 Nonlinear Systems
Chapter 7 Nonlinear Systems Nonlinear systems in R n : X = B x. x n X = F (t; X) F (t; x ; :::; x n ) B C A ; F (t; X) =. F n (t; x ; :::; x n ) When F (t; X) = F (X) is independent of t; it is an example
More information2.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
More informationQuantum Computation as Geometry
Quantum Computation as Geometry arxiv:quantph/0603161v2 21 Mar 2006 Michael A. Nielsen, Mark R. Dowling, Mile Gu, and Andrew C. Doherty School of Physical Sciences, The University of Queensland, Queensland
More informationTHE 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
More informationMICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 00029939(XX)00000 MICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI
More informationV.I. Ivakhnenko, Yu.G. Smirnov, and E.E. Tyrtyshnikov. Institute of Numerical Mathematics, Russian Academy of Sciences
The electric eld integral equation: theory and algorithms V.I. Ivakhnenko, Yu.G. Smirnov, and E.E. Tyrtyshnikov Institute of Numerical Mathematics, Russian Academy of Sciences Leninski Prospect 32A, Moscow
More informationMathematics (MAT) MAT 061 Basic Euclidean Geometry 3 Hours. MAT 051 PreAlgebra 4 Hours
MAT 051 PreAlgebra Mathematics (MAT) MAT 051 is designed as a review of the basic operations of arithmetic and an introduction to algebra. The student must earn a grade of C or in order to enroll in MAT
More informationSingularities and Newton Polygons
Publ. RIMS, Kyoto Univ. 12 Suppl. (1977), 123129. Singularities and Newton Polygons by JeanMichel KANTOR* It was conjectured by V. I. Arnold that it should be possible to express all "reasonable" invariants
More informationAssociative binary operations and the Pythagorean Theorem
Associative binary operations and the Pythagorean Theorem Denis Bell April 22, 2016 The Pythagorean Theorem a c b a 2 +b 2 = c 2 Babylonians, Egyptians, Greeks, 2000 BC The approach of Lucio Berrone Denote
More informationA SURGERY RESULT FOR THE SPECTRUM OF THE DIRICHLET LAPLACIAN. Keywords: shape optimization, eigenvalues, Dirichlet Laplacian
A SURGERY RESULT FOR THE SPECTRUM OF THE DIRICHLET LAPLACIA DORI BUCUR AD DARIO MAZZOLEI Abstract. In this paper we give a method to geometrically modify an open set such that the first k eigenvalues of
More informationMATH 289 PROBLEM SET 1: INDUCTION. 1. The induction Principle The following property of the natural numbers is intuitively clear:
MATH 89 PROBLEM SET : INDUCTION The induction Principle The following property of the natural numbers is intuitively clear: Axiom Every nonempty subset of the set of nonnegative integers Z 0 = {0,,, 3,
More informationLes Cahiers du GERAD ISSN: 0711 2440
Les Cahiers du GERAD ISSN: 0711 2440 Filtering for Detecting Multiple Targets Trajectories on a OneDimensional Torus Ivan Gentil Bruno Rémillard G 2003 09 February 2003 Les textes publiés dans la série
More informationKinetic Theory of Gases. Chapter 33. Kinetic Theory of Gases
Kinetic Theory of Gases Kinetic Theory of Gases Chapter 33 Kinetic theory of gases envisions gases as a collection of atoms or molecules. Atoms or molecules are considered as particles. This is based on
More informationRobust output feedback stabilization of the angular velocity of a rigid body
Systems & Control Letters 39 (2000) 203 20 www.elsevier.com/locate/sysconle Robust output feedback stabilization of the angular velocity of a rigid body F. Mazenc, A. Astol Centre for Process Systems Engineering,
More informationProperties 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 nonnegative BMOfunction w, whose reciprocal is also in BMO, belongs to p> A p,and
More informationSection 1.2. Angles and the Dot Product. The Calculus of Functions of Several Variables
The Calculus of Functions of Several Variables Section 1.2 Angles and the Dot Product Suppose x = (x 1, x 2 ) and y = (y 1, y 2 ) are two vectors in R 2, neither of which is the zero vector 0. Let α and
More information1 Inner Products and Norms on Real Vector Spaces
Math 373: Principles Techniques of Applied Mathematics Spring 29 The 2 Inner Product 1 Inner Products Norms on Real Vector Spaces Recall that an inner product on a real vector space V is a function from
More informationAPPLIED MATHEMATICS ADVANCED LEVEL
APPLIED MATHEMATICS ADVANCED LEVEL INTRODUCTION This syllabus serves to examine candidates knowledge and skills in introductory mathematical and statistical methods, and their applications. For applications
More informationMASTER OF SCIENCE IN PHYSICS MASTER OF SCIENCES IN PHYSICS (MS PHYS) (LIST OF COURSES BY SEMESTER, THESIS OPTION)
MASTER OF SCIENCE IN PHYSICS Admission Requirements 1. Possession of a BS degree from a reputable institution or, for nonphysics majors, a GPA of 2.5 or better in at least 15 units in the following advanced
More informationCONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12
CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.
More informationAbout Maxwell Boltzmann Relation.
About Maxwell Boltzmann Equation. Retired claude.bardos@gmail.com Paris Report on an ongoing project with Toan Nguyen and several coworkers: Nicolas Besse, Irene Gamba, Francois Golse, Claudia Negulescu
More informationON THE EXISTENCE AND LIMIT BEHAVIOR OF THE OPTIMAL BANDWIDTH FOR KERNEL DENSITY ESTIMATION
Statistica Sinica 17(27), 2893 ON THE EXISTENCE AND LIMIT BEHAVIOR OF THE OPTIMAL BANDWIDTH FOR KERNEL DENSITY ESTIMATION J. E. Chacón, J. Montanero, A. G. Nogales and P. Pérez Universidad de Extremadura
More informationInner 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
More informationTHE VLASOVMAXWELLBOLTZMANN SYSTEM IN THE WHOLE SPACE
THE VLASOVMAXWELLBOLTZMANN SYSTEM IN THE WHOLE SPACE ROBERT M. STRAIN, FEBRUARY 13, 2006 Abstract. The VlasovMaxwellBoltzmann system is a fundamental model to describe the dynamics of dilute charged
More informationContinued 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
More informationMatrix Norms. Tom Lyche. September 28, Centre of Mathematics for Applications, Department of Informatics, University of Oslo
Matrix Norms Tom Lyche Centre of Mathematics for Applications, Department of Informatics, University of Oslo September 28, 2009 Matrix Norms We consider matrix norms on (C m,n, C). All results holds for
More information5 =5. Since 5 > 0 Since 4 7 < 0 Since 0 0
a p p e n d i x e ABSOLUTE VALUE ABSOLUTE VALUE E.1 definition. The absolute value or magnitude of a real number a is denoted by a and is defined by { a if a 0 a = a if a
More informationComputing divisors and common multiples of quasilinear ordinary differential equations
Computing divisors and common multiples of quasilinear ordinary differential equations Dima Grigoriev CNRS, Mathématiques, Université de Lille Villeneuve d Ascq, 59655, France Dmitry.Grigoryev@math.univlille1.fr
More informationRIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES
RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific
More informationCONSTANTSIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE plaplacian. 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 CONSTANTSIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE plaplacian Pasquale
More informationEquivalence between the formulas for inductance calculation
357 Equivalence between the formulas for inductance calculation Marcelo Bueno and A.K.T. Assis 1. Introduction Abstract: We demonstrate the equivalence for the selfinductance of closed circuits, with
More information1. Students will demonstrate an understanding of the real number system as evidenced by classroom activities and objective tests
MATH 102/102L InterAlgebra/Lab Properties of the real number system, factoring, linear and quadratic equations polynomial and rational expressions, inequalities, systems of equations, exponents, radicals,
More informationINTRODUCTION TO FOURIER ANALYSIS AND WAVELETS
#. INTRODUCTION TO FOURIER ANALYSIS AND WAVELETS Mark A. Pinsky Northwestern University BROOKS/COLE * THOMSON LEARNING Australia Canada Mexico Singapore Spain United Kingdom United States 1 FOURIER SERIES
More informationLinear Systems. Singular and Nonsingular Matrices. Find x 1, x 2, x 3 such that the following three equations hold:
Linear Systems Example: Find x, x, x such that the following three equations hold: x + x + x = 4x + x + x = x + x + x = 6 We can write this using matrixvector notation as 4 {{ A x x x {{ x = 6 {{ b General
More informationOn some Formulae for Ramanujan s tau Function
Revista Colombiana de Matemáticas Volumen 44(2010)2, páginas 103112 On some Formulae for Ramanujan s tau Function Sobre algunas fórmulas para la función tau de Ramanujan Luis H. Gallardo University of
More informationThey are congruent since the rst can be moved to coincide with the second. However, the next pair of triangles are not congruent.
Chapter 9 Symmetry In this chapter we explore a connection between algebra and geometry. One of the main topics of plane geometry is that of congruence; roughly, two geometric gures are said to be congruent
More informationA MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASEFIELD MODEL WITH MEMORY
Guidetti, D. and Lorenzi, A. Osaka J. Math. 44 (27), 579 613 A MIXED TYPE IDENTIFICATION PROBLEM RELATED TO A PHASEFIELD MODEL WITH MEMORY DAVIDE GUIDETTI and ALFREDO LORENZI (Received January 23, 26,
More informationON THE MINIMAL DEGREE OF
Monografías Matemáticas García de Galdeano 40, 61 66 (2015) ON THE MINIMAL DEGREE OF LOGARITHMIC VECTOR FIELDS OF LINE ARRANGEMENTS Benoît GuervilleBallé and Juan ViuSos Keywords: Dynamics, Polynomial
More informationFiber sums of genus 2 Lefschetz fibrations
Proceedings of 9 th Gökova GeometryTopology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity
More informationReferences. [1] R. Colombo, F. Marcellini and M. Rascle. A 2Phase Trac Model based on a Speed Bound SIAM J. Appl. Math,Vol 70,(2010),26522666.
References [1] R. Colombo, F. Marcellini and M. Rascle. A 2Phase Trac Model based on a Speed Bound SIAM J. Appl. Math,Vol 70,(2010),26522666. [2] F. Siebel, W. Mauser, S. Moutari and M. Rascle. balanced
More informationMoving Least Squares Approximation
Chapter 7 Moving Least Squares Approimation An alternative to radial basis function interpolation and approimation is the socalled moving least squares method. As we will see below, in this method the
More information1. 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
More information