A result of existence for an original convectiondiffusion equation. G. Gagneux and G. Vallet


 Charla Marjory Adams
 2 years ago
 Views:
Transcription
1 RACSAM Rev. R. Acad. Cien. Serie A. Mat. VOL. 99 (), 2005, pp Matemática Aplicada / Applied Matematics Comunicación Preliminar / Preliminary Communication A result of existence for an original convectiondiffusion equation G. Gagneux and G. Vallet Abstract. In tis paper, we are interested in te matematical analysis of a nonclassical conservation law. Te model describes stratigrapic processes of te geology, taking into account a limited weatering condition. Firstly, we present te pysical topic and te matematical formulation, wic lead to an original conservation law. Ten, te definition of a solution and some matematical tools in order to prove te existence of a solution. Un resultado de existencia para una ecuación original de difusiónconvección Resumen. En este artículo se estudia el análisis matemático de una ley de conservación que no es clásica. El modelo describe procesos estatigráficos en Geología y tiene en cuenta una condición de tasa de erosión limitada. En primer lugar se presentan el modelo físico y la formulación matemática (posiblemente nueva). Tras enunciar la definición de solución, se presentan las erramientas que permiten probar la existencia de soluciones. Introduction In tis paper, we are interested in te matematical analysis of a stratigrapic model developed by te Institut Français du Pétrole (IFP). Te model concerns geologic basin formation by te way of erosion and sedimentation. By taking into account large scale in time and space and by knowing a priori, te tectonics, te eustatism and te sediments flux at te basin boundary, te model as to state about te transport of sediments. One may find, on te one and, in D. Greanjeon and al. [0] and R. Eymard and al. [7] te pysical and te numerical modelling of te multilitological case, and, on te oter and, in S.N. Antontsev and al. [2], G. Gagneux and al. [8], [9] a matematical analysis of te monolitological case. Let us consider in te sequel a sedimentary basin, denoted by Ξ wit base a smoot, bounded domain in R N (N =, 2), assumed orizontal. In order to describe te teoretical topograpy u(t, x) of te basin for a.e. (t, x) in Q =]0, T [, te gravitational model as to take into account: i) a sediment flux assumed to be proportional to q t = [u + τ t u], were τ is a nonnegative parameter, ii) an erosion speed, t u in its nonpositive part, tat is underestimated by E, were E is a given nonnegative bounded measurable function in Q (a weatering limited process): i.e. t u + E 0 in Q. Te original aspect of tis model is its weater limited condition on te erosion rate. Presentado por J. I. Díaz Díaz el 2 de marzo de Recibido: 5 de febrero de Aceptado: de junio de Palabras clave / Keywords: Stratigrapic models, Weater limited, Degenerated conservation laws. Matematics Subject Classifications: 35K65, 35L80, 35Q35. c 2005 Real Academia de Ciencias, España. 25
2 G. Gagneux and G. Vallet In order to join togeter te constraint and a conservative formulation, D. Greanjeon [0] proposes to correct te diffusive flux q t by introducing a dimensionless multiplier λ : te new flux is ten q cor = λ [u + τ t u], were λ is an unknown function wit values a priori in [0, ]. Ten, we will ave to add a relevant law of state in te form λ = λ( t u) for posing satisfactory closure conditions. Terefore, te matematical modelling as to express respectively: te mass balance of te sediment: t u div(λ [u + τ t u]) = 0 in Q. te boundary conditions on = Γ e Γ s specifying te input and output fluxes: q cor = f on ]0, T [ Γ e, t u + E 0, f q cor and (f q cor )( t u + E) = 0 on ]0, T [ Γ s. te weater limited condition (moving obstacle depending on climate, batymetry,... ): t u E in Q. () te initial condition u t=0 = u 0 and te closure of te model by defining te role of te flux limitor λ. In order to simplify, one considers in te sequel omogeneous Diriclet conditions on te boundary. G. Gagneux, D. Etienne and G. Vallet [6] ave considered boundary conditions of unilateral type wit τ = 0. Te matematical analysis is inspired by te capter 2 of G. Duvaut and J. L. Lions [5] and by te new problems of J. L Lions [, p. 420], dealing of termic. Ten, te problem of te regularity of t u arises in view of defining te trace of t u on Γ s. If τ = 0, t u belongs a priori to L 2 (Q) and not to L 2 (0, T, H ()). Wat justifies te interest for te study of te case τ > 0. In order to give a matematical modelling of λ, T. Gallouët and R. Masson [7] propose to consider te following global constraint, leading to a nonstandard free boundary problem: t u + E 0, λ 0 and ( t u + E)( λ) = 0 in Q. (2) It means tat te flux as to be corrected because of te constraint (i.e. if λ <, ten t u + E = 0). If te erosion rate constraint is inactive, te flux is equal to te diffusive one. Ten S. N. Antontsev, G. Gagneux and G. Vallet [2] propose (if τ = 0) te following conservative formulation tat contains implicitly (). See G. Vallet [4] too. If H denotes te maximal monotone grap of te Heaviside function, ten (λ, ) formally solves: 0 = t u div(λ [u + τ t u]) were λ H( t u + E) in Q. Tis general problem remains an open problem and te aim of tis paper is to give some matematical results wen H is replaced by a continuous function a, an approximation Yosida of H for example. Anoter pysical motivation can be found in [2] and [3] for describing te ysteresis penomena of pore water. 2 Presentation of te model Tus, te problem of te stratigrapic motion may be written: find u a priori in L 2 (0, T, V ) wit t u in L 2 (0, T, V ) were V = H0 () and H = L 2 () suc tat, t u + E 0 a.e. in Q and v V, for a.e. t in ]0, T [, { t uv + a( t u + E) [u + τ t u] v} dx = 0, (3) togeter wit te initial condition u t=0 = u 0 a.e. in. 26
3 An original convectiondiffusion equation In te sequel τ > 0, E : [0, T ] R is a non negative continuous function and a is a continuous function defined on R + tat satisfies: 0 a M, a(0) = 0 and a(x) > 0 if x > 0, in order to ave implicitly t u + E 0 a.e. in Q and A(x) = x a(s) ds. Moreover, and for tecnical reasons (te motivation is to 0 derive various ways of approximating te Heaviside grap by Yosida regularized functions), one assumes tat a A as got on R + a continuity modulus wose square is an Osgood function; for simplicity, we consider te case were a A is Hölder continuous wit exponent 2. Remark. Te problem can be written in te nonclassical form: { t u τ A( t u + E) div(a( t u + E) u) = 0 and t u + E 0 in Q, u = 0 and t u = 0 in ]0, T [, u t=0 = u 0 in. 2. If by extension a(x) = 0 for any negative x, te suitable test function v = ( t u + E) leads to t u + E 0 a.e. in Q. So, one may assumes in te sequel suc an ypotesis on te function a. 3. If u 0 V, ten u and t u belong to L (0, T, V ). By considering ε > 0 and v = tu ds 0 a(s+e)+ε in te variational formulation, one gets: M tu 2 H + [u + τ t u] t u dx 0, (4) and M tu 2 L 2 (0,t,H) + 2 u(t) 2 H N + τ tu 2 L 2 (0,t,H N ) 2 u 0 2 H N. (5) Note tat tis is also true for any t since u C s ([0, T ], V ), i.e. u(t) exists in V for any t. Let us consider again inequality (4) to obtain wit te above estimates te assertion: M tu 2 H + τ 2 tu 2 H N C u 0 2 H N 3 Existence of a strong solution Te key for understanding compactness properties in te regularizing procedure is te following assertion: Lemma Let us consider κ given in H (), E a real number and b a bounded essentially nonnegative continuous function suc tat b B is Hölder continuous wit exponent 2, B = b. Ten, tere exists at most one solution w in V suc tat for any v in V, {wv + b(w + E) [κ + w] v} dx = 0. (6) PROOF. If one denotes by w and w 2 two admissible solutions, one gets {(w w 2 )v + [B(w + E) B(w 2 + E)] v + [b(w + E) b(w 2 + E)] κ v} dx = 0. For a given µ > 0, let us set p µ (t) = [µ,+ [ (t) + ln( e µ t) [ µ e,µ[ (t) and v = p µ (ξ) were ξ = B(w + E) B(w 2 + E); terefore, it comes (w w 2 )p µ (ξ) dx + { µ e ξ µ} 2ξ 2 ξ dx C 2 κ dx, { µ e ξ µ} and te solution is unique by considering te limits wen µ goes to
4 G. Gagneux and G. Vallet 3. Semidiscretized degenerated processes Let us consider > 0, u 0 in V, E 0 and for a given positive α, a α = max(α, a). We record for later use te following assertion tanks to ScauderTyconov fixed point teorem and lemma. Proposition Tere exists a unique u α in V suc tat, v V, { u α u 0 v + a α ( u α u 0 + E) [u α + τ u α u 0 ] v} dx = 0. (7) We derive from te proposition 7 and te lemma a version of te degenerated case. Proposition 2 Let us consider > 0, u 0 in V, ten tere exists a unique u in V suc tat, v V, { u u 0 v + a( u u 0 + E) [u + τ u u 0 u u 0 ] v} dx = 0, + E 0 a.e. in. (8) 3.2 Semidiscretized degenerated differential inclusion Proposition 3 Tere exists (u, λ) in V L () suc tat, λ H( u u0 + E) were H is te maximal monotone grap of te function of Heaviside, and v V, { u u0 v + λ [u + τ u u } 0 ] v dx = 0. (9) PROOF. Let us assume in tis section tat for any given positive ε, a = a ε = max(0, min(, ε Id)). Te corresponding solutions are denoted by u ε and tanks to te above inequality, a subsequence still indexed by ε can be extracted, suc tat u ε converges weakly in V towards u, strongly in H and a.e. in. Moreover, u u0 + E 0 a.e. in. Furtermore, A ε converges uniformly towards (.) + and ten A ε ( uε u0 + E) converges weakly in V towards u u0 + E. Up to a new subsequence, let us denote by λ te weak limit in L () of a ε ( uε u0 + E) and remark tat inevitably λ = a.e. in { u u0 + E > 0} i.e. λ H( u u0 + E). Passing to te limits in te variational relation stating u ɛ and since uε u0 = 0 in {λ }, one gets (9). 3.3 Existence of a strong solution Inductively, te following result can be proved: let us consider N N wit = T N, u 0 in V and E k 0 for any integer k. Proposition 4 For u 0 = u 0, tere exists a unique sequence (u k ) k in V suc tat, v V, { uk+ u k v + a( uk+ u k + E k ) [u k+ + τ uk+ u k ] v} dx = 0. Moreover, uk+ u k + E k 0 a.e. in, 28 uk+ u k 2 H + τ uk+ u k 2 V + M 2 [ uk+ 2 V + u k+ u k 2 V u k 2 V ] 0. (0) For any sequence (v k ) k H, let us note in te sequel v = N k=0 N v k+ [k,(k+)[ and ṽ = k=0 [ vk+ v k (t k) + v k ] [k,(k+)[.
5 An original convectiondiffusion equation Ten, from (0), one as tat (u ) and (ũ ) are bounded sequences in L (0, T, V ) and tat ( t ũ ) is a bounded sequence in L 2 (0, T, V ). Still coming from (0), one gets uk+ u k 2 H + τ uk+ u k 2 V M 2τ uk+ 2 V and ( t ũ ) is a bounded sequence in L (0, T, V ). In particular, (ũ ) is bounded in H (0, T, V ) and tere exists a subsequence, still indexed by suc tat for any t, ũ (t) u(t) in V. Moreover, if t [k, (k+)[, u (t) ũ (t) V = ũ (k) ũ (t) V (k+) k t ũ (s) V ds C. Ten, for any t, u (t) u(t) in V. Since t ũ is bounded in L (0, T, V ), it follows tat for any t of Z were Z [0, T ] is a measurable set suc tat L([0, T ]\Z) = 0, t ũ (t) is a bounded sequence in V. Terefore, up to a subsequence indexed by t t ũ t ξ(t) in V, strongly in L 2 and a.e. in wit ξ(t) + E(t) 0 a.e. in. Let us note tat for any t in [k, (k + )[, v V, { t ũ v + a( t ũ + E ) [u + τ t ũ ] v} dx = 0. () Given tat, a( t ũ t + E) v converges towards a(ξ(t) + E) v in L 2 () N and tat [u t + ε t ũ t ] converges weakly towards [u(t) + εξ(t)] in L 2 () N, ξ(t) is a solution to te problem: at time t, find w in V wit w + E(t) 0 a.e. in, suc tat for any v in V, {wv + a(w + E(t)) [u(t) + τw] v} dx = 0. (2) Tanks to Lemma wit b = τ a in R + and κ = τ u(t), te solution ξ(t) is unique and all te sequence t ũ (t) converges towards ξ(t) weakly in V. For any f in H (), since t < f, ξ(t) > is te limit of te sequence of measurable functions t < f, t ũ (t) >, it is a measurable function tanks to Pettis teorem (K. Yosida [6, p. 3]), since V is a separable set. For any v in L 2 (0, T, V ), ( t ũ (t), v(t)) converges a.e. in ]0, T [ towards (ξ(t), v(t)). Moreover, ( t ũ (t), v(t)) C v(t) V a.e. since te sequence ( t ũ ) is bounded in L (0, T, V ). Tus, te weak convergence in L 2 (0, T, V ) of t ũ towards ξ can be proved. And one gets tat ξ = t u. At last, for t a.e. in ]0, T [, passing to limits in () leads to te existence of a solution. 4 About te differential inclusion On te one and, one may remark tat te estimations (0) remain for te sequence of solutions given by (9). Moreover, te sequence of associated parameters (λ k ) is bounded in L () and ten, one gets: v L 2 (0, T, V ), { t ũ v + λ [u + τ t ũ ] v} dxdt = 0, (3) Q were te same a priori estimates old for te sequences (ũ ) and (u ) tan te one given in te existence section. Furtermore, (λ ) is bounded in L (Q) and λ H( t ũ + E ). On te oter and, if a = a ε = max(0, min(, ε Id)) and if u ε is a solution to te problem (3), te remarks to te presentation section lead to: (u ε ) (resp. (λ ε ) ε = (a ε ( t u ε + E)) ε ) is a bounded sequence in W, (0, T, V ) (resp. L (Q)) and v L 2 (0, T, V ), { t u ε v + λ ε [u ε + τ t u ε ] v} dxdt = 0. (4) Q In bot cases, eac accumulation point provides a mild solution in te sense of P. Bénilan and al. [4] but, as already mentioned in G. Gagneux and al. [8] te double weak convergence in te term λ ε u ε does not allow us to pass to limits. 29
6 G. Gagneux and G. Vallet 5 Conclusion and open problems A solution as been found in Lip([0, T ], H0 ()) to te degenerated problem t u τ A( t u + E) div(a( t u + E) u) = 0 in Q, t u + E 0 in Q, u = 0 and t u = 0 in ]0, T [, u t=0 = u 0 in. In order to conclude tat tis problem is wellposed in te sense of Hadamard, one still as to prove tat suc a solution is unique. Tis is still an open problem, mainly due to a beaviour of ysteresis type of te equation. Let us cite a recent paper of Z. Wang and al. [5] were te uniqueness of te solution to a weakly similar equation as been proved. Te metod is based on a Holmgren approac. Anoter possibility consists in getting information on te localization and te finite speed propagation of ground via te metods of S.N. Antontsev and al. s book []. Te above solution is a solution to a perturbation of te real problem since a as to be te grap of te Heaviside function in order to satisfy te condition (2). Tis problem is open too as mentioned in te section: About te differential inclusion. References [] Antontsev S.N., Díaz J.I. and Smarev S. (2002) Energy metods for free boundary problems. Applications to nonlinear PDEs and fluid mecanics. Progress in Nonlinear Diff. Equ. and teir Appl. 48. Basel, Birkäuser. [2] Antontsev S.N., Gagneux G. and Vallet G. (2003) On some stratigrapic control problems, Journal of Applied Mecanics and Tecnical Pysics (New York), 44(6) [3] Bainov D. and Simeonov P. (992) Integral inequalities and applications, 57, Kluwer Acad. Pub., Dordrect. [4] Bénilan P., Crandall M.G. and Pazy A. (988) Bonnes solutions d un problème d évolution semilinéaire, C. R. Acad. Sci. Paris, Sér. I, 306, [5] Duvaut G. and Lions J.L. (972) Les inéquations en mécanique et en pysique, Dunod, Paris. [6] Etienne D., Gagneux G. and Vallet G. (2005) Nouveaux problèmes unilatéraux en sédimentologie, publication interne du Laboratoire de Matématiques Appliquées, University of Pau, to appear. [7] Eymard R., Gallouët T., Granjeon D., Masson R. and Tran Q.H. (2004) Multilitology stratigrapic model under maximum erosion rate constraint, Internat. J. Numer. Metods Eng. 60(2) [8] Gagneux G., Luce R. and Vallet G. (2004) A nonstandard freeboundary problem arising from stratigrapy, publication interne du Laboratoire de Matématiques Appliquées n 2004/33, University of Pau. [9] Gagneux G. and Vallet G. (2002) Sur des problèmes d asservissements stratigrapiques, Control, Optimisation and Calculus of Variations, 8, [0] Granjeon D., Huy Tran Q., Masson R. and Glowinski R. (2000) Modèle stratigrapique multilitologique sous contrainte de taux d érosion maximum, Institut Français du Pétrole. Rapport interne. [] Lions J.L. (969) Quelques métodes de résolution des problèmes aux limites non linéaires, Dunod, Paris. [2] Mualem Y. and Dagan G. (975) Dependent domain model of capillary ysteresis, W. Res. Rec., (3), [3] Poulovassilis A. and Cilds E. C. (97) Te ysteresis of pore water: te nonindependence of domains, Soil Sci., 2(5), [4] Vallet G. (2003) Sur une loi de conservation issue de la géologie, C. R. Acad. Sci. Paris, Sér. I, 337,
7 An original convectiondiffusion equation [5] Wang Z. and Yin J. (2004) Uniqueness of solutions to a viscous diffusion equation, Appl. Mat. Letters, 7(2) [6] Yosida K. (965) Functional analysis, Berlin, SpringerVerlag. XI. G. Gagneux G. Vallet Lab. de Matématiques Appliquées Lab. de Matématiques Appliquées UMR CNRS 542 UMR CNRS 542 IPRA BP 55 IPRA BP Pau Cedex (FRANCE) 6403 Pau Cedex (FRANCE) 3
FINITE DIFFERENCE METHODS
FINITE DIFFERENCE METHODS LONG CHEN Te best known metods, finite difference, consists of replacing eac derivative by a difference quotient in te classic formulation. It is simple to code and economic to
More informationTrapezoid Rule. y 2. y L
Trapezoid Rule and Simpson s Rule c 2002, 2008, 200 Donald Kreider and Dwigt Lar Trapezoid Rule Many applications of calculus involve definite integrals. If we can find an antiderivative for te integrand,
More informationTangent Lines and Rates of Change
Tangent Lines and Rates of Cange 922005 Given a function y = f(x), ow do you find te slope of te tangent line to te grap at te point P(a, f(a))? (I m tinking of te tangent line as a line tat just skims
More informationFinite Volume Discretization of the Heat Equation
Lecture Notes 3 Finite Volume Discretization of te Heat Equation We consider finite volume discretizations of te onedimensional variable coefficient eat equation, wit Neumann boundary conditions u t x
More informationThis supplement is meant to be read after Venema s Section 9.2. Throughout this section, we assume all nine axioms of Euclidean geometry.
Mat 444/445 Geometry for Teacers Summer 2008 Supplement : Similar Triangles Tis supplement is meant to be read after Venema s Section 9.2. Trougout tis section, we assume all nine axioms of uclidean geometry.
More informationVerifying Numerical Convergence Rates
1 Order of accuracy Verifying Numerical Convergence Rates We consider a numerical approximation of an exact value u. Te approximation depends on a small parameter, suc as te grid size or time step, and
More informationOn the existence of multiple principal eigenvalues for some indefinite linear eigenvalue problems
RACSAM Rev. R. Acad. Cien. Serie A. Mat. VOL. 97 (3), 2003, pp. 461 466 Matemática Aplicada / Applied Mathematics Comunicación Preliminar / Preliminary Communication On the existence of multiple principal
More information2 Limits and Derivatives
2 Limits and Derivatives 2.7 Tangent Lines, Velocity, and Derivatives A tangent line to a circle is a line tat intersects te circle at exactly one point. We would like to take tis idea of tangent line
More informationNew Results on the Burgers and the Linear Heat Equations in Unbounded Domains. J. I. Díaz and S. González
RACSAM Rev. R. Acad. Cien. Serie A. Mat. VOL. 99 (2), 25, pp. 219 225 Matemática Aplicada / Applied Mathematics Comunicación Preliminar / Preliminary Communication New Results on the Burgers and the Linear
More informationOPTIMAL DISCONTINUOUS GALERKIN METHODS FOR THE ACOUSTIC WAVE EQUATION IN HIGHER DIMENSIONS
OPTIMAL DISCONTINUOUS GALERKIN METHODS FOR THE ACOUSTIC WAVE EQUATION IN HIGHER DIMENSIONS ERIC T. CHUNG AND BJÖRN ENGQUIST Abstract. In tis paper, we developed and analyzed a new class of discontinuous
More informationA Simple Observation Concerning Contraction Mappings
Revista Colombiana de Matemáticas Volumen 46202)2, páginas 229233 A Simple Observation Concerning Contraction Mappings Una simple observación acerca de las contracciones German LozadaCruz a Universidade
More informationCHAPTER 7. Di erentiation
CHAPTER 7 Di erentiation 1. Te Derivative at a Point Definition 7.1. Let f be a function defined on a neigborood of x 0. f is di erentiable at x 0, if te following it exists: f 0 fx 0 + ) fx 0 ) x 0 )=.
More informationOptimal Pricing Strategy for Second Degree Price Discrimination
Optimal Pricing Strategy for Second Degree Price Discrimination Alex O Brien May 5, 2005 Abstract Second Degree price discrimination is a coupon strategy tat allows all consumers access to te coupon. Purcases
More information7.6 Complex Fractions
Section 7.6 Comple Fractions 695 7.6 Comple Fractions In tis section we learn ow to simplify wat are called comple fractions, an eample of wic follows. 2 + 3 Note tat bot te numerator and denominator are
More informationSection 3.3. Differentiation of Polynomials and Rational Functions. Difference Equations to Differential Equations
Difference Equations to Differential Equations Section 3.3 Differentiation of Polynomials an Rational Functions In tis section we begin te task of iscovering rules for ifferentiating various classes of
More informationMath 113 HW #5 Solutions
Mat 3 HW #5 Solutions. Exercise.5.6. Suppose f is continuous on [, 5] and te only solutions of te equation f(x) = 6 are x = and x =. If f() = 8, explain wy f(3) > 6. Answer: Suppose we ad tat f(3) 6. Ten
More informationInstantaneous Rate of Change:
Instantaneous Rate of Cange: Last section we discovered tat te average rate of cange in F(x) can also be interpreted as te slope of a scant line. Te average rate of cange involves te cange in F(x) over
More informationThe EOQ Inventory Formula
Te EOQ Inventory Formula James M. Cargal Matematics Department Troy University Montgomery Campus A basic problem for businesses and manufacturers is, wen ordering supplies, to determine wat quantity of
More informationEXISTENCE AND UNIQUENESS FOR SOLUTIONS OF A PARABOLIC QUASIVARIATIONAL INEQUALITIES WITH IMPULSE CONTROL PROBLEM
EXISTENCE AND UNIQUENESS FOR SOLUTIONS OF A PARABOLIC QUASIVARIATIONAL INEQUALITIES WITH IMPULSE CONTROL PROBLEM SALAH BOULAARAS Abstract. In tis paper, we present a new proof for te existence and uniqueness
More informationLecture 10: What is a Function, definition, piecewise defined functions, difference quotient, domain of a function
Lecture 10: Wat is a Function, definition, piecewise defined functions, difference quotient, domain of a function A function arises wen one quantity depends on anoter. Many everyday relationsips between
More informationAn inquiry into the multiplier process in ISLM model
An inquiry into te multiplier process in ISLM model Autor: Li ziran Address: Li ziran, Room 409, Building 38#, Peing University, Beijing 00.87,PRC. Pone: (86) 0062763074 Internet Address: jefferson@water.pu.edu.cn
More informationON LOCAL LIKELIHOOD DENSITY ESTIMATION WHEN THE BANDWIDTH IS LARGE
ON LOCAL LIKELIHOOD DENSITY ESTIMATION WHEN THE BANDWIDTH IS LARGE Byeong U. Park 1 and Young Kyung Lee 2 Department of Statistics, Seoul National University, Seoul, Korea Tae Yoon Kim 3 and Ceolyong Park
More informationCan a LumpSum Transfer Make Everyone Enjoy the Gains. from Free Trade?
Can a LumpSum Transfer Make Everyone Enjoy te Gains from Free Trade? Yasukazu Icino Department of Economics, Konan University June 30, 2010 Abstract I examine lumpsum transfer rules to redistribute te
More informationDistances in random graphs with infinite mean degrees
Distances in random graps wit infinite mean degrees Henri van den Esker, Remco van der Hofstad, Gerard Hoogiemstra and Dmitri Znamenski April 26, 2005 Abstract We study random graps wit an i.i.d. degree
More informationLecture Notes 3 SteadyState Flow of Ground Water in Sedimentary Basins
Lecture Notes 3 SteadyState Flow of Ground Water in Sedimentary Basins TopograpyDriven Flow Among te several mecanisms tat drive te flow of ground water in sedimentary basins, topograpy ranks as one
More informationA New Cement to Glue Nonconforming Grids with Robin Interface Conditions: The Finite Element Case
A New Cement to Glue Nonconforming Grids wit Robin Interface Conditions: Te Finite Element Case Martin J. Gander, Caroline Japet 2, Yvon Maday 3, and Frédéric Nataf 4 McGill University, Dept. of Matematics
More informationCyber Epidemic Models with Dependences
Cyber Epidemic Models wit Dependences Maocao Xu 1, Gaofeng Da 2 and Souuai Xu 3 1 Department of Matematics, Illinois State University mxu2@ilstu.edu 2 Institute for Cyber Security, University of Texas
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 informationProof of the Power Rule for Positive Integer Powers
Te Power Rule A function of te form f (x) = x r, were r is any real number, is a power function. From our previous work we know tat x x 2 x x x x 3 3 x x In te first two cases, te power r is a positive
More informationDerivatives Math 120 Calculus I D Joyce, Fall 2013
Derivatives Mat 20 Calculus I D Joyce, Fall 203 Since we ave a good understanding of its, we can develop derivatives very quickly. Recall tat we defined te derivative f x of a function f at x to be te
More informationLecture 10. Limits (cont d) Onesided limits. (Relevant section from Stewart, Seventh Edition: Section 2.4, pp. 113.)
Lecture 10 Limits (cont d) Onesided its (Relevant section from Stewart, Sevent Edition: Section 2.4, pp. 113.) As you may recall from your earlier course in Calculus, we may define onesided its, were
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 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 informationExistence 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
More informationFinite Difference Approximations
Capter Finite Difference Approximations Our goal is to approximate solutions to differential equations, i.e., to find a function (or some discrete approximation to tis function) tat satisfies a given relationsip
More informationSAT Math MustKnow Facts & Formulas
SAT Mat MustKnow Facts & Formuas Numbers, Sequences, Factors Integers:..., 3, 2, 1, 0, 1, 2, 3,... Rationas: fractions, tat is, anyting expressabe as a ratio of integers Reas: integers pus rationas
More informationUnderstanding the Derivative Backward and Forward by Dave Slomer
Understanding te Derivative Backward and Forward by Dave Slomer Slopes of lines are important, giving average rates of cange. Slopes of curves are even more important, giving instantaneous rates of cange.
More informationExternal approximation of nonlinear operator equations
External approximation of nonlinear operator equations Etienne Emmric a a TU Berlin, Institut für Matematik, Straße des 17. Juni 136, 10623 Berlin January 4, 2009) Based upon an external approximation
More informationComputer Science and Engineering, UCSD October 7, 1999 GoldreicLevin Teorem Autor: Bellare Te GoldreicLevin Teorem 1 Te problem We æx a an integer n for te lengt of te strings involved. If a is an nbit
More informationModule 1: Introduction to Finite Element Analysis Lecture 1: Introduction
Module : Introduction to Finite Element Analysis Lecture : Introduction.. Introduction Te Finite Element Metod (FEM) is a numerical tecnique to find approximate solutions of partial differential equations.
More informationThe Derivative as a Function
Section 2.2 Te Derivative as a Function 200 Kiryl Tsiscanka Te Derivative as a Function DEFINITION: Te derivative of a function f at a number a, denoted by f (a), is if tis limit exists. f (a) f(a+) f(a)
More informationM(0) = 1 M(1) = 2 M(h) = M(h 1) + M(h 2) + 1 (h > 1)
Insertion and Deletion in VL Trees Submitted in Partial Fulfillment of te Requirements for Dr. Eric Kaltofen s 66621: nalysis of lgoritms by Robert McCloskey December 14, 1984 1 ackground ccording to Knut
More informationModule 2. The Science of Surface and Ground Water. Version 2 CE IIT, Kharagpur
Module Te Science of Surface and Ground Water Version CE IIT, Karagpur Lesson 6 Principles of Ground Water Flow Version CE IIT, Karagpur Instructional Objectives On completion of te lesson, te student
More informationME422 Mechanical Control Systems Modeling Fluid Systems
Cal Poly San Luis Obispo Mecanical Engineering ME422 Mecanical Control Systems Modeling Fluid Systems Owen/Ridgely, last update Mar 2003 Te dynamic euations for fluid flow are very similar to te dynamic
More informationDifferentiable Functions
Capter 8 Differentiable Functions A differentiable function is a function tat can be approximated locally by a linear function. 8.. Te derivative Definition 8.. Suppose tat f : (a, b) R and a < c < b.
More informationSchedulability Analysis under Graph Routing in WirelessHART Networks
Scedulability Analysis under Grap Routing in WirelessHART Networks Abusayeed Saifulla, Dolvara Gunatilaka, Paras Tiwari, Mo Sa, Cenyang Lu, Bo Li Cengjie Wu, and Yixin Cen Department of Computer Science,
More informationTheoretical calculation of the heat capacity
eoretical calculation of te eat capacity Principle of equipartition of energy Heat capacity of ideal and real gases Heat capacity of solids: DulongPetit, Einstein, Debye models Heat capacity of metals
More informationACT Math Facts & Formulas
Numbers, Sequences, Factors Integers:..., 3, 2, 1, 0, 1, 2, 3,... Rationals: fractions, tat is, anyting expressable as a ratio of integers Reals: integers plus rationals plus special numbers suc as
More information1 Derivatives of Piecewise Defined Functions
MATH 1010E University Matematics Lecture Notes (week 4) Martin Li 1 Derivatives of Piecewise Define Functions For piecewise efine functions, we often ave to be very careful in computing te erivatives.
More informationMultiplicative Relaxation with respect to Thompson s Metric
Revista Colombiana de Matemáticas Volumen 48(2042, páginas 227 Multiplicative Relaxation with respect to Thompson s Metric Relajamiento multiplicativo con respecto a la métrica de Thompson Gerd Herzog
More informationOptimized Data Indexing Algorithms for OLAP Systems
Database Systems Journal vol. I, no. 2/200 7 Optimized Data Indexing Algoritms for OLAP Systems Lucian BORNAZ Faculty of Cybernetics, Statistics and Economic Informatics Academy of Economic Studies, Bucarest
More informationProjective Geometry. Projective Geometry
Euclidean versus Euclidean geometry describes sapes as tey are Properties of objects tat are uncanged by rigid motions» Lengts» Angles» Parallelism Projective geometry describes objects as tey appear Lengts,
More informationMATHEMATICS FOR ENGINEERING DIFFERENTIATION TUTORIAL 1  BASIC DIFFERENTIATION
MATHEMATICS FOR ENGINEERING DIFFERENTIATION TUTORIAL 1  BASIC DIFFERENTIATION Tis tutorial is essential prerequisite material for anyone stuing mecanical engineering. Tis tutorial uses te principle of
More informationThe finite element immersed boundary method: model, stability, and numerical results
Te finite element immersed boundary metod: model, stability, and numerical results Lucia Gastaldi Università di Brescia ttp://dm.ing.unibs.it/gastaldi/ INdAM Worksop, Cortona, September 18, 2006 Joint
More informationSAMPLE DESIGN FOR THE TERRORISM RISK INSURANCE PROGRAM SURVEY
ASA Section on Survey Researc Metods SAMPLE DESIG FOR TE TERRORISM RISK ISURACE PROGRAM SURVEY G. ussain Coudry, Westat; Mats yfjäll, Statisticon; and Marianne Winglee, Westat G. ussain Coudry, Westat,
More informationf(a + h) f(a) f (a) = lim
Lecture 7 : Derivative AS a Function In te previous section we defined te derivative of a function f at a number a (wen te function f is defined in an open interval containing a) to be f (a) 0 f(a + )
More informationThe Stekloff Problem for Rotationally Invariant Metrics on the Ball
Revista Colombiana de Matemáticas Volumen 47(2032, páginas 890 The Steklo Problem or Rotationally Invariant Metrics on the Ball El problema de Steklo para métricas rotacionalmente invariantes en la bola
More informationSum of the generalized harmonic series with even natural exponent
Rendiconti di Matematica, Serie VII Volume 33, Roma (23), 9 26 Sum of te generalized armonic erie wit even natural exponent STEFANO PATRÌ Abtract: In ti paper we deal wit real armonic erie, witout conidering
More informationUnemployment insurance/severance payments and informality in developing countries
Unemployment insurance/severance payments and informality in developing countries David Bardey y and Fernando Jaramillo z First version: September 2011. Tis version: November 2011. Abstract We analyze
More informationResearch on the Antiperspective Correction Algorithm of QR Barcode
Researc on te Antiperspective Correction Algoritm of QR Barcode Jianua Li, YiWen Wang, YiJun Wang,Yi Cen, Guoceng Wang Key Laboratory of Electronic Tin Films and Integrated Devices University of Electronic
More informationTRADING AWAY WIDE BRANDS FOR CHEAP BRANDS. Swati Dhingra London School of Economics and CEP. Online Appendix
TRADING AWAY WIDE BRANDS FOR CHEAP BRANDS Swati Dingra London Scool of Economics and CEP Online Appendix APPENDIX A. THEORETICAL & EMPIRICAL RESULTS A.1. CES and Logit Preferences: Invariance of Innovation
More informationSinguläre Phänomene und Skalierung in mathematischen Modellen
RHEINISCHE FRIDRICHWILHELMUNIVERSITÄ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
More informationModèle géométrique de plissement constraint par la rhéologie et l équilibre mécanique: Application possibe en régime extensif?
Modèle géométrique de plissement constraint par la rhéologie et l équilibre mécanique: Application possibe en régime extensif? Yves M. Leroy (Laboratoire de Géologie, ENS), Bertrand Maillot (University
More informationGeometric Stratification of Accounting Data
Stratification of Accounting Data Patricia Gunning * Jane Mary Horgan ** William Yancey *** Abstract: We suggest a new procedure for defining te boundaries of te strata in igly skewed populations, usual
More informationIn other words the graph of the polynomial should pass through the points
Capter 3 Interpolation Interpolation is te problem of fitting a smoot curve troug a given set of points, generally as te grap of a function. It is useful at least in data analysis (interpolation is a form
More informationf(x) f(a) x a Our intuition tells us that the slope of the tangent line to the curve at the point P is m P Q =
Lecture 6 : Derivatives and Rates of Cange In tis section we return to te problem of finding te equation of a tangent line to a curve, y f(x) If P (a, f(a)) is a point on te curve y f(x) and Q(x, f(x))
More informationDuplication of TimeVarying Graphs
Duplication of TimeVarying Graphs François Queyroi Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6, F75005, Paris CNRS, UMR 7606, LIP6, F75005, Paris, France francois.queyroi@lip6.fr ABSTRACT.
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 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 information6. Groundwater flow equation
66. Groundater flo euation Mass conservation: M in M out = M/t Darc s la M relationsip No e can put tem all togeter. n auifer aving a cross sectional area. Top and bottom are confined b auitards, and
More informationAn 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
More information1 Density functions, cummulative density functions, measures of central tendency, and measures of dispersion
Density functions, cummulative density functions, measures of central tendency, and measures of dispersion densityfunctionsintro.tex October, 9 Note tat tis section of notes is limitied to te consideration
More informationOptimization of Supply Chain Networks
Optimization of Supply Chain Networks M. Herty TU Kaiserslautern September 2006 (2006) 1 / 41 Contents 1 Supply Chain Modeling 2 Networks 3 Optimization Continuous optimal control problem Discrete optimal
More informationSolution Derivations for Capa #7
Solution Derivations for Capa #7 1) Consider te beavior of te circuit, wen various values increase or decrease. (Select Iincreases, Ddecreases, If te first is I and te rest D, enter IDDDD). A) If R1
More informationACTIVITY: Deriving the Area Formula of a Trapezoid
4.3 Areas of Trapezoids a trapezoid? How can you derive a formula for te area of ACTIVITY: Deriving te Area Formula of a Trapezoid Work wit a partner. Use a piece of centimeter grid paper. a. Draw any
More informationCompute the derivative by definition: The four step procedure
Compute te derivative by definition: Te four step procedure Given a function f(x), te definition of f (x), te derivative of f(x), is lim 0 f(x + ) f(x), provided te limit exists Te derivative function
More informationA Multigrid Tutorial part two
A Multigrid Tutorial part two William L. Briggs Department of Matematics University of Colorado at Denver Van Emden Henson Center for Applied Scientific Computing Lawrence Livermore National Laboratory
More informationMATHEMATICAL MODELS OF LIFE SUPPORT SYSTEMS Vol. I  Mathematical Models for Prediction of Climate  Dymnikov V.P.
MATHEMATICAL MODELS FOR PREDICTION OF CLIMATE Institute of Numerical Matematics, Russian Academy of Sciences, Moscow, Russia. Keywords: Modeling, climate system, climate, dynamic system, attractor, dimension,
More informationA simple application of the implicit function theorem
Boletín de la Asociación Matemática Venezolana, Vol. XIX, No. 1 (2012) 71 DIVULGACIÓN MATEMÁTICA A simple application of the implicit function theorem Germán LozadaCruz Abstract. In this note we show
More informationComparison between two approaches to overload control in a Real Server: local or hybrid solutions?
Comparison between two approaces to overload control in a Real Server: local or ybrid solutions? S. Montagna and M. Pignolo Researc and Development Italtel S.p.A. Settimo Milanese, ITALY Abstract Tis wor
More informationSAT Subject Math Level 1 Facts & Formulas
Numbers, Sequences, Factors Integers:..., 3, 2, 1, 0, 1, 2, 3,... Reals: integers plus fractions, decimals, and irrationals ( 2, 3, π, etc.) Order Of Operations: Aritmetic Sequences: PEMDAS (Parenteses
More informationPart II: Finite Difference/Volume Discretisation for CFD
Part II: Finite Difference/Volume Discretisation for CFD Finite Volume Metod of te AdvectionDiffusion Equation A Finite Difference/Volume Metod for te Incompressible NavierStokes Equations MarkerandCell
More informationDiscussion 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 GenonCatalot To cite this version: Fabienne
More informationFaraday s Law of Induction Motional emf
Faraday s Law of Induction Motional emf Motors and Generators Lenz s Law Eddy Currents Te needle deflects momentarily wen te switc is closed A current flows troug te loop wen a magnet is moved near it,
More informationThe modelling of business rules for dashboard reporting using mutual information
8 t World IMACS / MODSIM Congress, Cairns, Australia 37 July 2009 ttp://mssanz.org.au/modsim09 Te modelling of business rules for dasboard reporting using mutual information Gregory Calbert Command, Control,
More informationMathematical analysis of a model of Morphogenesis: steady states. J. Ignacio Tello
XX Congreso de Ecuaciones Diferenciales y Aplicaciones X Congreso de Matemática Aplicada Sevilla, 2428 septiembre 27 (pp. 1 8) Mathematical analysis of a model of Morphogenesis: steady states J. Ignacio
More informationNotes: Most of the material in this chapter is taken from Young and Freedman, Chap. 12.
Capter 6. Fluid Mecanics Notes: Most of te material in tis capter is taken from Young and Freedman, Cap. 12. 6.1 Fluid Statics Fluids, i.e., substances tat can flow, are te subjects of tis capter. But
More informationEXISTENCE AND NONEXISTENCE 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: 7669. UL: http://ejde.math.txstate.edu
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 information1 Computational Fluid Dynamics Reading Group: Finite Element Methods for Stokes & The Infamous InfSup Condition
1 Computational Fluid Dynamics Reading Group: Finite Element Metods for Stokes & Te Infamous InfSup Condition Fall 009. 09/11/09 Darsi Devendran, Sandra May & Eduardo Corona 1.1 Introduction Last week
More informationCharacterization of researchers in condensed matter physics using simple quantity based on h index. M. A. Pustovoit
Caracterization of researcers in condensed matter pysics using simple quantity based on index M. A. Pustovoit Petersburg Nuclear Pysics Institute, Gatcina Leningrad district 188300 Russia Analysis of
More informationClassification 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
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 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 informationAn Interest Rate Model
An Interest Rate Model Concepts and Buzzwords Building Price Tree from Rate Tree Lognormal Interest Rate Model Nonnegativity Volatility and te Level Effect Readings Tuckman, capters 11 and 12. Lognormal
More information6. Differentiating the exponential and logarithm functions
1 6. Differentiating te exponential and logaritm functions We wis to find and use derivatives for functions of te form f(x) = a x, were a is a constant. By far te most convenient suc function for tis purpose
More informationCollege Planning Using Cash Value Life Insurance
College Planning Using Cas Value Life Insurance CAUTION: Te advisor is urged to be extremely cautious of anoter college funding veicle wic provides a guaranteed return of premium immediately if funded
More informationPretrial Settlement with Imperfect Private Monitoring
Pretrial Settlement wit Imperfect Private Monitoring Mostafa Beskar University of New Hampsire JeeHyeong Park y Seoul National University July 2011 Incomplete, Do Not Circulate Abstract We model pretrial
More informationSurface Areas of Prisms and Cylinders
12.2 TEXAS ESSENTIAL KNOWLEDGE AND SKILLS G.10.B G.11.C Surface Areas of Prisms and Cylinders Essential Question How can you find te surface area of a prism or a cylinder? Recall tat te surface area of
More information