Domains of analyticity for response solutions in strongly dissipative forced systems
|
|
- Bennett Higgins
- 5 years ago
- Views:
Transcription
1 Domains of analyticity for response solutions in strongly dissipative forced systems Livia Corsi 1, Roberto Feola 2 and Guido Gentile 2 1 Dipartimento di Matematica, Università di Napoli Federico II, Napoli, I-80126, Italy 2 Dipartimento di Matematica, Università di Roma Tre, Roma, I-00146, Italy livia.corsi@unina.it, roberto feola@hotmail.com, gentile@mat.uniroma3.it Abstract We study the analyticity properties on ε of the ordinary differential equation εẍ + ẋ + εg(x) = εf(ωt), where g and f are real-analytic functions, with f quasi-periodic in t with frequency vector ω. A response solution is a quasi-periodic solution to the equation with the same frequency vector as the forcing. If c 0 R is such that g(c 0 ) equals the average of f and g (c 0 ) 0, under very mild assumptions on ω there exists a response solution close to c 0. In particular no assumption at all is required on ω if f is a trigonometric polynomial. We show that such a response solution depends analytically on ε in a domain of the complex plane tangent more than quadratically to the imaginary axis at the origin. 1 Introduction Consider the ordinary differential equation in R εẍ + ẋ + ε g(x) = ε f(ωt), (1.1) where ε R is small and ω R d, with d N, is assumed (without loss of generality) to have rationally independent components, i.e. ω ν 0 ν Z d := Z d \ {0}. For ε > 0 the equation describes a one-dimensional system with mechanical force g, subject to a quasiperiodic forcing f with frequency vector ω and in the presence of strong dissipation. We refer to [2] for some physical background. A quasi-periodic solution to (1.1) with the same frequency vector ω as the forcing will be called a response solution. The functions g : R R and f : T d R are assumed to be real-analytic. In particular f is analytic in a strip Σ ξ := {ψ = (ψ 1,..., ψ d ) (C/2πZ) d : Im ψ k ξ for k = 1,..., d}, with ξ > 0. We also assume that there is c 0 R such that g(c 0 ) = f 0, where f 0 is the average of f on T d, and a := g (c 0 ) 0. In other words c 0 is a simple zero of the function g(x) f 0. Before stating our results we need some more notations. We define the sets C R = {ε C : Re ε 1 > (2R) 1 } and Ω R,B = {ε C : Re ε B (Im ε) 2 and 0 < ε < 2R}. C R consists of two disks with radius R and centers (R, 0) and ( R, 0), while Ω B,R is the 1
2 intersection of the disk of center (0, 0) and radius 2R with two parabolas with vertex at the origin: all such sets are tangent at the origin to the imaginary axis. Note that the smaller B, the more flattened are the parabolas. If 2RB < 1 one has C R Ω B,R. Finally we introduce the following quantities depending on ω: β n (ω) := min { ω ν : 0 < ν 2 n, f ν 0 }, ε n (ω) := 1 2 n log 1 β n (ω), 1 B(ω) := 2 n log 1 α n (ω), α n(ω) := min { ω ν : 0 < ν 2 n}. n=0 Under the assumptions above on f and g, the following result has been proved in [1]. Theorem 1.1. Assume lim n ε n(ω) = 0. Then there exist ε 0 > 0 and B 0 > 0 such that for all B > B 0 there is a response solution x(t) = c 0 + u(ωt, ε) to (1.1), with u(ψ, ε) = O(ε) analytic in ψ Σ ξ and ε Ω ε0,b, for some ξ < ξ. In the theorem above ε 0 has to be small, while B 0 must be large enough. However, for B as close as wished to B 0 one can take ε < ε 0 small enough for the condition εb < 1 to be satisfied, so as to obtain that C ε/2 is contained inside the analyticity domain. In this respect Theorem 1.1 extends previous results in the literature [2, 3], where analyticity in a pair of disks was obtained under stronger conditions on ω, such as the standard Diophantine condition ω ν > γ ν τ ν Z d, (1.2) or the Bryuno condition B(ω) < If either d = 1 or d = 2 and ω satisfies the standard Diophantine condition (1.2) with τ = 1, the response solution is Borel-summable. In the present letter we remove in Theorem 1.1 the condition for B to be large, by proving the following result. Theorem 1.2. Assume lim ε n(ω) = 0, where ε n (ω) is defined as in Theorem 1.1. Then n for all B > 0 there exists ε 0 > 0 such that there is a response solution x(t) = c 0 + u(ωt, ε) to (1.1), with u(ψ, ε) = O(ε) analytic in ψ Σ ξ and ε Ω ε0,b, for some ξ < ξ. The dependence of ε 0 on B is of the form ε 0 = ε 1 B α, for some α > 0 and ε 1 independent of B. The proof of the theorem given in Section 3 yields the value α = 8: such a value is non-optimal and could be improved by a more careful analysis. Thanks to Theorem 1.2 we can estimate the domain of analyticity by the convolution of the domains Ω ε0,b, with ε 0 = B α ε 1, by letting B varying in [0, 1]. This provides a domain that near the origin has boundary of the form x ε β 0 y2+β, where β = 1/α. 2 Tree representation By the analyticity assumptions on f and g we can write f(ψ) = ν Z d e iν ψ f ν, g(x) = 2 a p x p, p=0
3 where f ν Φ e ξ ν, a p := 1 d p g p! dx p (c 0), a p Γ ρ p, for suitable constants Φ, Γ and ρ. We can rewrite (1.1) as εẍ + ẋ + ε a x + µε a p x p = µε e iν ψ f ν, (2.1) p=2 where a := a 1 and µ = 1. However, we can consider µ as a free parameter and study (2.1) for ε C and µ R. Then we look for a quasi-periodic solution to (2.1) of the form x(t, ε, µ) = c 0 + u(ωt, ε, µ), u(ψ, ε, µ) = ν (ε). (2.2) ν Z d k=1 ν Z d µ k e iν ψ u (k) By inserting (2.2) into (2.1) we obtain a recursive definition for the coefficients u ν (k) (ε), which admits a natural graphical representation in terms of trees. A rooted tree θ is a graph with no cycle, such that all the lines are oriented toward a unique point (root) which has only one incident line (root line). All the points in θ except the root are called nodes. The orientation of the lines in θ induces a partial ordering relation ( ) between the nodes. Given two nodes v and w, we shall write w v every time v is along the path (of lines) which connects w to the root. We shall write w l if w v, where v is the node which l exits. For any node v denote by p v the number of lines entering v: v is called and end node if p v = 0 and an internal node if p v > 0. We denote by N(θ) the set of nodes, by E(θ) the set of end nodes, by V (θ) the set of internal nodes and by L(θ) the set of lines; one has N(θ) = E(θ) V (θ). We associate with each end node v E(θ) a mode label ν v Z d and with each internal node an degree label d v {0, 1}. With each line l L(θ) we associate a momentum ν l Z d. We impose the following constraints on the labels: 1. ν l = w E l (θ) ν w, where E l (θ) := {w E(θ) : w l}; 2. p v 2 v V (θ); 3. if d v = 0 then the line l exiting v has ν l = 0. We shall write V (θ) = V 0 (θ) V 1 (θ), where V 0 (θ) := {v V (θ) : d v = 0}. For any discrete set A we denote by A its cardinality. Define the degree and the order of θ as d(θ) := E(θ) + V 1 (θ) and k(θ) := N(θ), respectively. We call equivalent two labelled rooted trees which can be transformed into each other by continuously deforming the lines in such a way that they do not cross each other. In the following we shall consider only inequivalent labelled rooted trees, and we shall call them call trees tout court, for simplicity. We associate with each node v N(θ) a node factor F v and with each line l L(θ) a propagator G l, such that { { ε dv a pv, v V (θ), 1/D(ε, ω ν l ), ν l 0, F v := G l := ε f νv, v E(θ), 1/a, ν l = 0, 3
4 where D(ε, s) := εs 2 + is + ε a. Then, by defining ( )( ) V (θ, ε) := F v G l v N(θ) l L(θ) (2.3) one has u (k) ν (ε) = V (θ, ε), ν 0, u (k) 0 (ε) = V (θ, ε), (2.4) θ T k,ν θ T k,0 where T k,ν is the set of trees of order k and momentum ν associated with the root line. Note that u (1) 0 = 0 and u(2) ν = 0 for all ν Z d. 3 Proof of Theorem 1.2 Lemma 3.1. Set c 0 = min{1/8, B/18, B/8 a, a /8, a B/4, a /2}. There exists ε 1 > 0 such that one has D(ε, s) c 0 max{min{1, s 2 }, ε 2 } for all s R and all ε Ω B,ε1. Proof. Write ε = x + iy, with x By 2 and x small enough. By symmetry it is enough to study y 0. One has D(ε, s) 2 = (s + ya ys 2 ) 2 + x 2 (a s 2 ) 2. If y = 0 the bound is straightforward. If y > 0 denote by s 1 and s 2 the two roots of s + ya ys 2 = 0: one has s 1 = ay + O(y 2 ) and s 2 = 1/y + ay + O(y 2 ). Let ε 1 be so small that s 1 + ay a y/2, s 2 1/y 1/6y and 18 a y 2 1 for ε ε 1. The following inequalities are easily checked: (1) if s < 2 a y, then x a s 2 ax /2 a By 2 /2 Bs 2 /8 a ; (2) if s s 2 < 1/2y, then x a s 2 x s 2 /2 x /18y 2 B/18; (3) if s 2 a y and s s 2 1/2y, then (3.1) s + ya ys 2 y s s 1 s s 2 a y/4, (3.2) s + ya ys 2 s s 1 /2 s /8, (3.3) if either a < 0 or a > 0 and a s 2 > a /2 one has x a s 2 > ax /2, while if a > 0 and a s 2 a /2 one has s + ya ys 2 s y a s 2 a/2. By collecting together all the bounds the assertion follows. Lemma 3.2. For any tree θ one has E(θ) V (θ) + 1 and hence 2 E(θ) k(θ) + 1. Proof. By induction on the order k(θ). For v V 1 (θ) define E(θ, v) := {w E(θ) : the line exiting w enters v} and set r v := E(θ, v), s v := p v r v, µ v := ν w and µ v := µ v. Define V 2 (θ) := {v V (θ) : s v = 0} and V 3 (θ) := {v V (θ) : r v = s v = 1}. For v V 2 (θ) call l v the line exiting v, and for v V 3 (θ) call l v the line exiting v and l v the line entering v which does not exits an end node. Define V 2 (θ) := {v V 2 (θ) : ν lv 0} and V 3 (θ) := {v V 3 (θ) : ν lv 0 and ν l v 0}, and set V 1 (θ) = V 2 (θ) V 3 (θ). By construction one has V 1 (θ) V 1 (θ). Lemma 3.3. There exists C 0 > 0 such that C 0 ω ν e ξ ν /16 ν Z d. Proof. It follows from the hypothesis on ω. Lemma 3.4. One has C 0 ω ν lv e ξµv/16 for v V 2 (θ) and 2C 0 max{ ω ν lv, ω ν l v } e ξµv/16 for v V 3 (θ). 4
5 Proof. For v V 2 (θ) one has ν lv = µ v, so that one can use Lemma 3.3. For v V 3 (θ) one proceeds by contradiction. Suppose that the assertion is false: this would imply e ξµv/16 > C 0 ω ν lv + C 0 ω ν l v C 0 ω (ν lv ν l v ) = C 0 ω µ v e ξµv/16, where we have used that E(θ, v) contains only one node w and hence µ v = ν w 0. Define L 1 (θ, v) := {l v } for v V 2 (θ) and L 1 (θ, v) := {l {l v, l v} : 2C 0 ω ν l e ξµv/16 } for v V 3 (θ). Lemma 3.4 yields L 1 (θ, v) for all v V 1 (θ). Set also L 1 (θ) := {l L(θ) : v V 1 (θ) such that l L 1 (θ, v)}, L int (θ) := {l L(θ) : l exits a node v V 1 (θ)} and L 0 (θ) := L int (θ) \ L 1 (θ). Lemma 3.5. For any tree θ one has 4 L 0 (θ) 3 E(θ) 4. Proof. By induction on V (θ). If V (θ) = 1 then either V (θ) = V 0 (θ) or V (θ) = V 2 (θ) and hence L 0 (θ) = 0, so that the bound holds. If V (θ) 2 the root line l 0 of θ exits a node v 0 V (θ) with s v0 + r v0 2 and s v0 1. Call θ 1,..., θ sv0 the trees whose respective root lines l 1,..., l sv0 enter v 0 : one has E(θ) = E(θ 1 ) E(θ sv0 ) + r v0. If l 0 / L 0 (θ) then L 0 (θ) = L 0 (θ 1 ) L 0 (θ sv0 ) and the bound follows from the inductive hypothesis. If l 0 L 0 (θ) then one has L 0 (θ) = 1 + L 0 (θ 1 ) L 0 (θ sv0 ), so that, again by the inductive hypothesis, 4 L 0 (θ) 3 E(θ) 3r v0 4 (s v0 1). If either r v0 + s v0 3 or r v0 + s v0 = 2 and s v0 = 2, the bound follows. If r v0 + s v0 = 2 and s v0 = 1, then v 0 V 3 (θ), so that either ν l1 = 0 or 2C 0 ω ν l1 e ξµv 0 /16, by Lemma 3.5, because l L 0 (θ) and hence 2C 0 ω ν l0 < e ξµv 0 /16. Therefore l 1 / L 0 (θ). If v 1 is the line which l 1 exits, call θ 1,..., θ s v1 the trees whose root lines enter v 1 : one has L 0 (θ) = 1+ L(θ 1 ) L 0(θ s v1 ) and hence, by the inductive hypothesis, 4 L 0 (θ) 3 E(θ) 3r v0 3r v1 4 (s v1 1), where 3r v0 + 3r v1 + 4s v1 4 5, so that the bound follows in this case too. Lemma 3.6. For any k 1 and ν Z d and any tree θ T k,ν one has V (θ, ε) A k 0c k k+1 0 ε 1+ 8 e 5ξ νv /8, v E(θ) with A 0 a positive constant depending on Φ, Γ and ρ, and c 0 as in Lemma 3.1. Proof. One bounds (2.3) as ( )( V (θ, ε) ε d(θ) a pv v V (θ) v E(θ) f νv )( l L(θ) We deal with the propagators by using Lemma 3.1 as follows. If l exits a node v V 2 (θ), then we have G l 1 f νw f νw G lw c 0 ω ν l 2 c 0 ω ν w 2 c 1 0 C2 0(c 1 0 C2 0Φ) E(θ,v) e 3ξ νw /4, G l ). where l w denotes the line exiting w. For the other lines in L 1 (θ) we distinguish three cases: given a node v V 3 (θ) and denoting by v the node which the line l v exits, (1) if either 5
6 l v / L 1 (θ, v) or l v L 1 (θ, v ), we proceed as for the nodes v V 2 (θ) with l = l v and obtain the same bound; (2) if L 1 (θ, v) = {l v} and l v / L 1 (θ, v ), we proceed as for the nodes v V 2 (θ) with l = l v and we obtain the same bound once more; (3) if both lines l v, l v belong to L 1 (θ, v) and l v / L 1 (θ, w), we bound G lv G l v f νv G lw c 2 0 C4 0(c 1 0 C2 0Φ) E(θ,v) e 5ξ νw /8. For all the other propagators we bound (1) G l 1/ a if l exits a node v V 0 (θ), (2) G l c0 1 ω ν l 2 if l exits an end node and has not been already used in the bounds above for the lines l L 1 (θ), and (3) G l c 1 0 ε 2 if l L 0 (θ). Then we obtain V (θ, ε) ε d(θ) 2 L 0(θ) Γ V (θ) ρ N(θ) (c 1 0 C2 0) V 1(θ) (c 1 0 C2 0Φ) E 1(θ) a V 0(θ) e 5ξ ν /8, where we can bound, by using Lemma 3.2 and Lemma 3.5, d(θ) 2 L 0 (θ) = E(θ) + V 1 (θ) 2 L 0 (θ) E(θ) L 0 (θ) 1 + E(θ) /4 1 + (k(θ) + 1)/8, so that the assertion follows. Lemma 3.7. For any k 1 and ν Z d one has u (k) (ε) A k 1c k ν 0 e ξ ν /2 k+1 1+ ε 8, with A 1 a positive constant C depending on Φ, Γ, ξ and ρ, and c 0 as in Lemma 3.1. Proof. The coefficients u (k) ν are given by (2.4). Each value V (θ, ε) is bounded through Lemma 3.6. The sum over the Fourier labels is performed by using a factor e ξ νv /8 for each end node v E(θ). The sum over the other labels is easily bounded by a constant to the power k. Lemma 3.7 implies that for ε small enough the series (2.2) converges uniformly to a function analytic in ψ Σ ξ, with ξ < ξ/2. Moreover such a function is analytic in ε Ω ε0,b, provided A 8 1 ε 0/c 8 0 is small enough. This completes the proof of Theorem 1.2. References [1] R. Calleja, A. Celletti, R. de la Llave, Construction of response functions in forced strongly dissipative systems, Preprint, 2012, mp arc [2] G. Gentile, M.V. Bartuccelli, J.H.B. Deane, Summation of divergent series and Borel summability for strongly dissipative differential equations with periodic or quasiperiodic forcing terms, J. Math. Phys. 46 (2005), no. 6, , 21 pp. [3] G. Gentile, M.V. Bartuccelli, J.H.B. Deane, Quasiperiodic attractors, Borel summability and the Bryuno condition for strongly dissipative systems, J. Math. Phys. 47 (2006), no. 7, , 10 pp. 6
Construction of quasi-periodic response solutions in forced strongly dissipative systems
Construction of quasi-periodic response solutions in forced strongly dissipative systems Guido Gentile Dipartimento di Matematica, Università di Roma Tre, Roma, I-146, Italy. E-mail: gentile@mat.uniroma3.it
More informationQuasi-periodic motions in strongly dissipative forced systems
Quasi-periodic motions in strongly dissipative forced systems Guido Gentile Dipartimento di Matematica, Università di Roma Tre, Roma, I-00146, Italy. E-mail: gentile@mat.uniroma3.it Abstract We consider
More informationSummation of divergent series and Borel summability for strongly dissipative equations with periodic or quasi-periodic forcing terms
Summation of divergent series and Borel summability for strongly dissipative equations with periodic or quasi-periodic forcing terms Guido Gentile, Michele V. Bartuccelli and Jonathan H.B. Deane Dipartimento
More informationSummation of divergent series and Borel summability for strongly dissipative differential equations with periodic or quasiperiodic forcing terms
JOURNAL OF MATHEMATICAL PHYSICS 46, 062704 2005 Summation of divergent series and Borel summability for strongly dissipative differential equations with periodic or quasiperiodic forcing terms Guido Gentile
More informationDiagrammatic Methods in Classical Perturbation Theory
Diagrammatic Methods in Classical Perturbation Theory Guido Gentile Dipartimento di Matematica, Università di Roma Tre, Roma, I-0046, Italy. E-mail: gentile@mat.uniroma3.it Article outline Glossary. Definition
More informationGlobally and locally attractive solutions for quasi-periodically forced systems
J. Math. Anal. Appl. 328 (27) 699 714 www.elsevier.com/locate/jmaa Globally and locally attractive solutions for quasi-periodically forced systems Michele V. Bartuccelli a, Jonathan H.B. Deane a, Guido
More informationResummations of self energy graphs and KAM theory G. Gentile (Roma3), G.G. (I.H.E.S.) Communications in Mathematical Physics, 227, , 2002.
Resummations of self energy graphs and KAM theory G. Gentile (Roma3), G.G. (I.H.E.S.) Communications in Mathematical Physics, 227, 421 460, 2002. 1 Hamiltonian for a rotator system H = 1 2 (A2 + B 2 )+εf(α,
More informationResummations of self-energy graphs and KAM theory G. Gentile (Roma3), G.G. (The.H.E.S.) Communications in Mathematical Physics, 227, , 2002.
Resummations of self-energy graphs and KAM theory G. Gentile (Roma3), G.G. (The.H.E.S.) Communications in Mathematical Physics, 227, 421 460, 2002. 1 Hamiltonian for a rotators system H = 1 2 (A2 + B 2
More information1 Divergent series summation in Hamilton Jacobi equation (resonances) G. Gentile, G.G. α = ε α f(α)
Divergent series summation in Hamilton Jacobi equation (resonances) Eq. Motion: G. Gentile, G.G. α = ε α f(α) α α 2 α l...... Representation of phase space in terms of l rotators. 2 α = (α,...,α l ) T
More informationElliptic resonances and summation of divergent series
Elliptic resonances and summation of divergent series Guido Gentile, G. Gallavotti Universitá di Roma 3 and Roma 7/giugno/200; 9:42 Hamiltonian : H = 2 I2 +εf(ϕ) with (I,ϕ) R l T l...... Representation
More informationDivergent series resummations: examples in ODE s & PDE s
Divergent series resummations: examples in ODE s & PDE s Survey of works by G. Gentile (Roma3), V. Matropietro (Roma2), G.G. (Roma1) http://ipparco.roma1.infn.it 1 Hamiltonian rotators system α = ε α f(α,
More informationResonances, Divergent series and R.G.: (G. Gentile, G.G.) α = ε α f(α) α 2. 0 ν Z r
B Resonances, Divergent series and R.G.: (G. Gentile, G.G.) Eq. Motion: α = ε α f(α) A A 2 α α 2 α...... l A l Representation of phase space in terms of l rotators: α=(α,...,α l ) T l Potential: f(α) =
More informationUnit 3: HW3.5 Sum and Product
Unit 3: HW3.5 Sum and Product Without solving, find the sum and product of the roots of each equation. 1. x 2 8x + 7 = 0 2. 2x + 5 = x 2 3. -7x + 4 = -3x 2 4. -10x 2 = 5x - 2 5. 5x 2 2x 3 4 6. 1 3 x2 3x
More informationSzemerédi-Trotter theorem and applications
Szemerédi-Trotter theorem and applications M. Rudnev December 6, 2004 The theorem Abstract These notes cover the material of two Applied post-graduate lectures in Bristol, 2004. Szemerédi-Trotter theorem
More informationRENORMALIZATION GROUP AND FIELD THEORETIC TECHNIQUES FOR THE ANALYSIS OF THE LINDSTEDT SERIES ALBERTO BERRETTI AND GUIDO GENTILE
RENORMALIZATION GROUP AND FIELD THEORETIC TECHNIQUES FOR THE ANALYSIS OF THE LINDSTEDT SERIES ALBERTO BERRETTI AND GUIDO GENTILE Abstract. The Lindstedt series were introduced in the XIX th century in
More informationA2 HW Imaginary Numbers
Name: A2 HW Imaginary Numbers Rewrite the following in terms of i and in simplest form: 1) 100 2) 289 3) 15 4) 4 81 5) 5 12 6) -8 72 Rewrite the following as a radical: 7) 12i 8) 20i Solve for x in simplest
More informationInvariant sets for the varactor equation
Invariant sets for the varactor equation M.V. Bartuccelli, J.H.B. Deane, G. Gentile and L. Marsh Department of Mathematics and Statistics, University of Surrey, Guildford GU2 7XH, UK Dipartimento di Matematica,
More informationMTH4101 CALCULUS II REVISION NOTES. 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) ax 2 + bx + c = 0. x = b ± b 2 4ac 2a. i = 1.
MTH4101 CALCULUS II REVISION NOTES 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) 1.1 Introduction Types of numbers (natural, integers, rationals, reals) The need to solve quadratic equations:
More informationLOCAL BEHAVIOR NEAR QUASI PERIODIC SOLUTIONS OF CONFORMALLY SYMPLECTIC SYSTEMS
LOCAL BEHAVIOR NEAR QUASI PERIODIC SOLUTIONS OF CONFORMALLY SYMPLECTIC SYSTEMS RENATO C. CALLEJA, ALESSANDRA CELLETTI, AND RAFAEL DE LA LLAVE Abstract. We study the behavior of conformally symplectic systems
More informationHomogenization of Penrose tilings
Homogenization of Penrose tilings A. Braides Dipartimento di Matematica, Università di Roma or Vergata via della ricerca scientifica, 0033 Roma, Italy G. Riey Dipartimento di Matematica, Università della
More informationRoots are: Solving Quadratics. Graph: y = 2x 2 2 y = x 2 x 12 y = x 2 + 6x + 9 y = x 2 + 6x + 3. real, rational. real, rational. real, rational, equal
Solving Quadratics Graph: y = 2x 2 2 y = x 2 x 12 y = x 2 + 6x + 9 y = x 2 + 6x + 3 Roots are: real, rational real, rational real, rational, equal real, irrational 1 To find the roots algebraically, make
More informationDepartment of Mathematics, University of Wisconsin-Madison Math 114 Worksheet Sections 3.1, 3.3, and 3.5
Department of Mathematics, University of Wisconsin-Madison Math 11 Worksheet Sections 3.1, 3.3, and 3.5 1. For f(x) = 5x + (a) Determine the slope and the y-intercept. f(x) = 5x + is of the form y = mx
More informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More informationLecture 3: Asymptotic Methods for the Reduced Wave Equation
Lecture 3: Asymptotic Methods for the Reduced Wave Equation Joseph B. Keller 1 The Reduced Wave Equation Let v (t,) satisfy the wave equation v 1 2 v c 2 = 0, (1) (X) t2 where c(x) is the propagation speed
More informationMath-2A Lesson 13-3 (Analyzing Functions, Systems of Equations and Inequalities) Which functions are symmetric about the y-axis?
Math-A Lesson 13-3 (Analyzing Functions, Systems of Equations and Inequalities) Which functions are symmetric about the y-axis? f ( x) x x x x x x 3 3 ( x) x We call functions that are symmetric about
More information1. Use the properties of exponents to simplify the following expression, writing your answer with only positive exponents.
Math120 - Precalculus. Final Review. Fall, 2011 Prepared by Dr. P. Babaali 1 Algebra 1. Use the properties of exponents to simplify the following expression, writing your answer with only positive exponents.
More informationAn introduction to Birkhoff normal form
An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an
More informationRao s degree sequence conjecture
Rao s degree sequence conjecture Maria Chudnovsky 1 Columbia University, New York, NY 10027 Paul Seymour 2 Princeton University, Princeton, NJ 08544 July 31, 2009; revised December 10, 2013 1 Supported
More informationOblique derivative problems for elliptic and parabolic equations, Lecture II
of the for elliptic and parabolic equations, Lecture II Iowa State University July 22, 2011 of the 1 2 of the of the As a preliminary step in our further we now look at a special situation for elliptic.
More informationEXISTENCE AND UNIQUENESS FOR A THREE DIMENSIONAL MODEL OF FERROMAGNETISM
1 EXISTENCE AND UNIQUENESS FOR A THREE DIMENSIONAL MODEL OF FERROMAGNETISM V. BERTI and M. FABRIZIO Dipartimento di Matematica, Università degli Studi di Bologna, P.zza di Porta S. Donato 5, I-4126, Bologna,
More informationBUILT YOU. ACT Pathway. for
BUILT for YOU 2016 2017 Think Through Math s is built to equip students with the skills and conceptual understandings of high school level mathematics necessary for success in college. This pathway progresses
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationMCPS Algebra 2 and Precalculus Standards, Categories, and Indicators*
Content Standard 1.0 (HS) Patterns, Algebra and Functions Students will algebraically represent, model, analyze, and solve mathematical and real-world problems involving functional patterns and relationships.
More informationA NICE DIOPHANTINE EQUATION. 1. Introduction
A NICE DIOPHANTINE EQUATION MARIA CHIARA BRAMBILLA Introduction One of the most interesting and fascinating subjects in Number Theory is the study of diophantine equations A diophantine equation is a polynomial
More informationRambo s Math GRE Practice Test. Charles Rambo
Rambo s Math GRE Practice Test Charles Rambo Preface Thank you for checking out my practice exam! This was heavily influenced by the GR1268, GR0568, and GR8767 exams. I also used Rudin s Principles of
More informationMath 120, Sample Final Fall 2015
Math 10, Sample Final Fall 015 Disclaimer: This sample final is intended to help students prepare for the final exam The final exam will be similar in structure and type of problems, however the actual
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
More information2.4 Lecture 7: Exponential and trigonometric
154 CHAPTER. CHAPTER II.0 1 - - 1 1 -.0 - -.0 - - - - - - - - - - 1 - - - - - -.0 - Figure.9: generalized elliptical domains; figures are shown for ǫ = 1, ǫ = 0.8, eps = 0.6, ǫ = 0.4, and ǫ = 0 the case
More information4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**
4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN Robin Thomas* Xingxing Yu** School of Mathematics Georgia Institute of Technology Atlanta, Georgia 30332, USA May 1991, revised 23 October 1993. Published
More informationARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS
ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS TIMO ERKAMA It is an open question whether n-cycles of complex quadratic polynomials can be contained in the field Q(i) of complex rational numbers
More informationNormal form for the non linear Schrödinger equation
Normal form for the non linear Schrödinger equation joint work with Claudio Procesi and Nguyen Bich Van Universita di Roma La Sapienza S. Etienne de Tinee 4-9 Feb. 2013 Nonlinear Schrödinger equation Consider
More informationCORRIGENDUM: THE SYMPLECTIC SUM FORMULA FOR GROMOV-WITTEN INVARIANTS
CORRIGENDUM: THE SYMPLECTIC SUM FORMULA FOR GROMOV-WITTEN INVARIANTS ELENY-NICOLETA IONEL AND THOMAS H. PARKER Abstract. We correct an error and an oversight in [IP]. The sign of the curvature in (8.7)
More informationPerturbation theory, KAM theory and Celestial Mechanics 7. KAM theory
Perturbation theory, KAM theory and Celestial Mechanics 7. KAM theory Alessandra Celletti Department of Mathematics University of Roma Tor Vergata Sevilla, 25-27 January 2016 Outline 1. Introduction 2.
More informationa k 0, then k + 1 = 2 lim 1 + 1
Math 7 - Midterm - Form A - Page From the desk of C. Davis Buenger. https://people.math.osu.edu/buenger.8/ Problem a) [3 pts] If lim a k = then a k converges. False: The divergence test states that if
More informationKing Fahd University of Petroleum and Minerals Prep-Year Math Program Math Term 161 Recitation (R1, R2)
Math 001 - Term 161 Recitation (R1, R) Question 1: How many rational and irrational numbers are possible between 0 and 1? (a) 1 (b) Finite (c) 0 (d) Infinite (e) Question : A will contain how many elements
More informationERRATA: Probabilistic Techniques in Analysis
ERRATA: Probabilistic Techniques in Analysis ERRATA 1 Updated April 25, 26 Page 3, line 13. A 1,..., A n are independent if P(A i1 A ij ) = P(A 1 ) P(A ij ) for every subset {i 1,..., i j } of {1,...,
More informationParabolas infiltrating the Ford circles
Bull. Math. Soc. Sci. Math. Roumanie Tome 59(07) No. 2, 206, 75 85 Parabolas infiltrating the Ford circles by S. Corinne Hutchinson and Alexandru Zaharescu Abstract We define and study a new family of
More informationAN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W 1,p FOR EVERY p > 2 BUT NOT ON H0
AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W,p FOR EVERY p > BUT NOT ON H FERNANDO FARRONI, RAFFAELLA GIOVA AND FRANÇOIS MURAT Abstract. In this note we give an example of functional
More informationKAM theory: a journey from conservative to dissipative systems
KAM theory: a journey from conservative to dissipative systems Alessandra Celletti Department of Mathematics University of Roma Tor Vergata 4 July 2012 Outline 1. Introduction 2. Qualitative description
More informationFINAL EXAM CALCULUS 2. Name PRACTICE EXAM
FINAL EXAM CALCULUS 2 MATH 2300 FALL 208 Name PRACTICE EXAM Please answer all of the questions, and show your work. You must explain your answers to get credit. You will be graded on the clarity of your
More information1. Introduction. 2. Outlines
1. Introduction Graphs are beneficial because they summarize and display information in a manner that is easy for most people to comprehend. Graphs are used in many academic disciplines, including math,
More informationPre-Calculus: Functions and Their Properties (Solving equations algebraically and graphically, matching graphs, tables, and equations, and
Pre-Calculus: 1.1 1.2 Functions and Their Properties (Solving equations algebraically and graphically, matching graphs, tables, and equations, and finding the domain, range, VA, HA, etc.). Name: Date:
More informationKAM for quasi-linear KdV. Pietro Baldi, Massimiliano Berti, Riccardo Montalto
KAM for quasi-linear KdV Pietro Baldi, Massimiliano Berti, Riccardo Montalto Abstract. We prove the existence and stability of Cantor families of quasi-periodic, small amplitude solutions of quasi-linear
More informationIntegrated Math 3 Math 3 Course Description:
Course Description: Integrated Math 3 Math 3 Course Description: Integrated strands include algebra, functions, geometry, trigonometry, statistics, probability and discrete math. Scope and sequence includes
More informationA Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits
A Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits Ran Raz Amir Shpilka Amir Yehudayoff Abstract We construct an explicit polynomial f(x 1,..., x n ), with coefficients in {0,
More informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationMAT116 Final Review Session Chapter 3: Polynomial and Rational Functions
MAT116 Final Review Session Chapter 3: Polynomial and Rational Functions Quadratic Function A quadratic function is defined by a quadratic or second-degree polynomial. Standard Form f x = ax 2 + bx + c,
More informationMath 181, Exam 2, Study Guide 2 Problem 1 Solution. 1 + dx. 1 + (cos x)2 dx. 1 + cos2 xdx. = π ( 1 + cos π 2
Math 8, Exam, Study Guide Problem Solution. Use the trapezoid rule with n to estimate the arc-length of the curve y sin x between x and x π. Solution: The arclength is: L b a π π + ( ) dy + (cos x) + cos
More informationStability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games
Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Alberto Bressan ) and Khai T. Nguyen ) *) Department of Mathematics, Penn State University **) Department of Mathematics,
More informationPeriodic solutions for a class of nonlinear partial differential equations in higher dimension
Periodic solutions for a class of nonlinear partial differential equations in higher dimension Guido Gentile 1 and Michela Procesi 2 1 Dipartimento di Matematica, Università di Roma Tre, Roma, I-00146,
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More information36. Double Integration over Non-Rectangular Regions of Type II
36. Double Integration over Non-Rectangular Regions of Type II When establishing the bounds of a double integral, visualize an arrow initially in the positive x direction or the positive y direction. A
More informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More information9.5. Polynomial and Rational Inequalities. Objectives. Solve quadratic inequalities. Solve polynomial inequalities of degree 3 or greater.
Chapter 9 Section 5 9.5 Polynomial and Rational Inequalities Objectives 1 3 Solve quadratic inequalities. Solve polynomial inequalities of degree 3 or greater. Solve rational inequalities. Objective 1
More informationNOTES ON CALCULUS OF VARIATIONS. September 13, 2012
NOTES ON CALCULUS OF VARIATIONS JON JOHNSEN September 13, 212 1. The basic problem In Calculus of Variations one is given a fixed C 2 -function F (t, x, u), where F is defined for t [, t 1 ] and x, u R,
More information( ) ( ) ( ) ( ) Given that and its derivative are continuous when, find th values of and. ( ) ( )
1. The piecewise function is defined by where and are constants. Given that and its derivative are continuous when, find th values of and. When When of of Substitute into ; 2. Using the substitution, evaluate
More informationWeak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij
Weak convergence and Brownian Motion (telegram style notes) P.J.C. Spreij this version: December 8, 2006 1 The space C[0, ) In this section we summarize some facts concerning the space C[0, ) of real
More informationTennessee s State Mathematics Standards - Algebra II
Domain Cluster Standard Scope and Clarifications The Real Number System (N-RN) Extend the properties of exponents to rational exponents 1. Explain how the definition of the meaning of rational exponents
More informationColumbus City Schools High School CCSS Mathematics III - High School PARRC Model Content Frameworks Mathematics - Core Standards And Math Practices
A Correlation of III Common Core To the CCSS III - - Core Standards And s A Correlation of - III Common Core, to the CCSS III - - Core Standards and s Introduction This document demonstrates how - III
More informationTaylor and Laurent Series
Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x
More information= 10 such triples. If it is 5, there is = 1 such triple. Therefore, there are a total of = 46 such triples.
. Two externally tangent unit circles are constructed inside square ABCD, one tangent to AB and AD, the other to BC and CD. Compute the length of AB. Answer: + Solution: Observe that the diagonal of the
More informationChapter 8 ~ Quadratic Functions and Equations In this chapter you will study... You can use these skills...
Chapter 8 ~ Quadratic Functions and Equations In this chapter you will study... identifying and graphing quadratic functions transforming quadratic equations solving quadratic equations using factoring
More information(a) Write down the value of q and of r. (2) Write down the equation of the axis of symmetry. (1) (c) Find the value of p. (3) (Total 6 marks)
1. Let f(x) = p(x q)(x r). Part of the graph of f is shown below. The graph passes through the points ( 2, 0), (0, 4) and (4, 0). (a) Write down the value of q and of r. (b) Write down the equation of
More informationLearning Objectives for Math 166
Learning Objectives for Math 166 Chapter 6 Applications of Definite Integrals Section 6.1: Volumes Using Cross-Sections Draw and label both 2-dimensional perspectives and 3-dimensional sketches of the
More informationDipartimento di Matematica
Dipartimento di Matematica L. SCUDERI ON THE COMPUTATION OF NEARLY SINGULAR INTEGRALS IN 3D BEM COLLOCATION Rapporto interno N. 14, giugno 2006 Politecnico di Torino Corso Duca degli Abruzzi, 24-10129
More informationSome basic elements of Probability Theory
Chapter I Some basic elements of Probability Theory 1 Terminology (and elementary observations Probability theory and the material covered in a basic Real Variables course have much in common. However
More informationMATH 6337: Homework 8 Solutions
6.1. MATH 6337: Homework 8 Solutions (a) Let be a measurable subset of 2 such that for almost every x, {y : (x, y) } has -measure zero. Show that has measure zero and that for almost every y, {x : (x,
More informationCHINO VALLEY UNIFIED SCHOOL DISTRICT INSTRUCTIONAL GUIDE ALGEBRA II
CHINO VALLEY UNIFIED SCHOOL DISTRICT INSTRUCTIONAL GUIDE ALGEBRA II Course Number 5116 Department Mathematics Qualification Guidelines Successful completion of both semesters of Algebra 1 or Algebra 1
More informationGRE Math Subject Test #5 Solutions.
GRE Math Subject Test #5 Solutions. 1. E (Calculus) Apply L Hôpital s Rule two times: cos(3x) 1 3 sin(3x) 9 cos(3x) lim x 0 = lim x 2 x 0 = lim 2x x 0 = 9. 2 2 2. C (Geometry) Note that a line segment
More informationAlgebra Performance Level Descriptors
Limited A student performing at the Limited Level demonstrates a minimal command of Ohio s Learning Standards for Algebra. A student at this level has an emerging ability to A student whose performance
More informationEXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS
EXISTECE AD REGULARITY RESULTS FOR SOME OLIEAR PARABOLIC EUATIOS Lucio BOCCARDO 1 Andrea DALL AGLIO 2 Thierry GALLOUËT3 Luigi ORSIA 1 Abstract We prove summability results for the solutions of nonlinear
More informationy = x 3 and y = 2x 2 x. 2x 2 x = x 3 x 3 2x 2 + x = 0 x(x 2 2x + 1) = 0 x(x 1) 2 = 0 x = 0 and x = (x 3 (2x 2 x)) dx
Millersville University Name Answer Key Mathematics Department MATH 2, Calculus II, Final Examination May 4, 2, 8:AM-:AM Please answer the following questions. Your answers will be evaluated on their correctness,
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics NEWER APPLICATIONS OF GENERALIZED MONOTONE SEQUENCES L. LEINDLER Bolyai Institute, University of Szeged, Aradi vértanúk tere 1 H-6720 Szeged, Hungary
More information3 + 4i 2 + 3i. 3 4i Fig 1b
The introduction of complex numbers in the 16th century was a natural step in a sequence of extensions of the positive integers, starting with the introduction of negative numbers (to solve equations of
More informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
More informationFall 2013 Hour Exam 2 11/08/13 Time Limit: 50 Minutes
Math 8 Fall Hour Exam /8/ Time Limit: 5 Minutes Name (Print): This exam contains 9 pages (including this cover page) and 7 problems. Check to see if any pages are missing. Enter all requested information
More informationPOSITIVE AND NEGATIVE CORRELATIONS FOR CONDITIONAL ISING DISTRIBUTIONS
POSITIVE AND NEGATIVE CORRELATIONS FOR CONDITIONAL ISING DISTRIBUTIONS CAMILLO CAMMAROTA Abstract. In the Ising model at zero external field with ferromagnetic first neighbors interaction the Gibbs measure
More informationMATH 31B: MIDTERM 2 REVIEW. sin 2 x = 1 cos(2x) dx = x 2 sin(2x) 4. + C = x 2. dx = x sin(2x) + C = x sin x cos x
MATH 3B: MIDTERM REVIEW JOE HUGHES. Evaluate sin x and cos x. Solution: Recall the identities cos x = + cos(x) Using these formulas gives cos(x) sin x =. Trigonometric Integrals = x sin(x) sin x = cos(x)
More informationDispersion for the Schrodinger Equation on discrete trees
Dispersion for the Schrodinger Equation on discrete trees April 11 2012 Preliminaries Let Γ = (V, E) be a graph, denoting V the set of vertices and E the set of edges, assumed to be segments which are
More informationNonlinear Diffusion in Irregular Domains
Nonlinear Diffusion in Irregular Domains Ugur G. Abdulla Max-Planck Institute for Mathematics in the Sciences, Leipzig 0403, Germany We investigate the Dirichlet problem for the parablic equation u t =
More informationAlgebra 2 Khan Academy Video Correlations By SpringBoard Activity
SB Activity Activity 1 Creating Equations 1-1 Learning Targets: Create an equation in one variable from a real-world context. Solve an equation in one variable. 1-2 Learning Targets: Create equations in
More informationSKILL BUILDER TEN. Graphs of Linear Equations with Two Variables. If x = 2 then y = = = 7 and (2, 7) is a solution.
SKILL BUILDER TEN Graphs of Linear Equations with Two Variables A first degree equation is called a linear equation, since its graph is a straight line. In a linear equation, each term is a constant or
More informationName: Answer Key David Arnold. Math 50B Integral Calculus May 13, Final Exam
Math 5B Integral Calculus May 3, 7 Final Exam Name: Answer Key David Arnold Instructions. (9 points) Follow the directions exactly! Whatever you are asked to do, you must do to receive full credit for
More informationAlgebra 2 Khan Academy Video Correlations By SpringBoard Activity
SB Activity Activity 1 Creating Equations 1-1 Learning Targets: Create an equation in one variable from a real-world context. Solve an equation in one variable. 1-2 Learning Targets: Create equations in
More informationMath 120: Precalculus Autumn 2017 A List of Topics for the Final
Math 120: Precalculus Autumn 2017 A List of Topics for the Final Here s a fairly comprehensive list of things you should be comfortable doing for the final. Really Old Stuff 1. Unit conversion and rates
More informationFIVE-LIST-COLORING GRAPHS ON SURFACES II. A LINEAR BOUND FOR CRITICAL GRAPHS IN A DISK
FIVE-LIST-COLORING GRAPHS ON SURFACES II. A LINEAR BOUND FOR CRITICAL GRAPHS IN A DISK Luke Postle 1 Department of Combinatorics and Optimization University of Waterloo Waterloo, ON Canada N2L 3G1 and
More informationMassachusetts Institute of Technology Department of Physics. Final Examination December 17, 2004
Massachusetts Institute of Technology Department of Physics Course: 8.09 Classical Mechanics Term: Fall 004 Final Examination December 17, 004 Instructions Do not start until you are told to do so. Solve
More informationMath Curriculum Map: Integrated Algebra II Unit: 1 Quarter: Time Frame: Review of Algebra 13 days Essential Questions: Key Concepts: Key Vocabulary:
Math Curriculum Map: Integrated Algebra II Unit: 1 Quarter: Time Frame: Review of Algebra 1 13 days Essential Questions: How does the order of operations help solve one- and two- step equations? How is
More information