Local and global finite branching of solutions of ODEs in the complex plane
|
|
- Eustace Cameron
- 5 years ago
- Views:
Transcription
1 Local and global finite branching of solutions of ODEs in the complex plane Workshop on Singularities and Nonlinear ODEs Thomas Kecker University College London / University of Portsmouth Warszawa,
2 Outline To give a brief explanation about fixed and movable singularities
3 Outline To give a brief explanation about fixed and movable singularities To describe classes of (systems of) equations, with a simple local behaviour about the movable singularities of any of its solutions
4 Outline To give a brief explanation about fixed and movable singularities To describe classes of (systems of) equations, with a simple local behaviour about the movable singularities of any of its solutions To present the main ingredients for a method of proof that every movable singularity is of the type described
5 Outline To give a brief explanation about fixed and movable singularities To describe classes of (systems of) equations, with a simple local behaviour about the movable singularities of any of its solutions To present the main ingredients for a method of proof that every movable singularity is of the type described To discuss the local and global branching of the solutions
6 Outline To give a brief explanation about fixed and movable singularities To describe classes of (systems of) equations, with a simple local behaviour about the movable singularities of any of its solutions To present the main ingredients for a method of proof that every movable singularity is of the type described To discuss the local and global branching of the solutions To classify the admissible solutions of a certain 2 nd -order equation that are globally quadratic over the field of meromorphic functions
7 Fixed and movable singularities Consider the equation w = w 2 ( z 2 w 2 2 z + 1 ) z 2 w 2,
8 Fixed and movable singularities Consider the equation w = w 2 ( z 2 w 2 2 z + 1 ) z 2 w 2, which has the general solution w(z) = 1 z tan(z c), c C being an arbitrary integration constant.
9 Fixed and movable singularities Consider the equation w = w 2 ( z 2 w 2 2 z + 1 ) z 2 w 2, which has the general solution w(z) = 1 tan(z c), z c C being an arbitrary integration constant. The singularity located at z = 0 is fixed. All other singularities (located at z = c + πn 2, n Z) are movable square-root branch points.
10 Fixed and movable singularities Consider the equation w = w 2 ( z 2 w 2 2 z + 1 ) z 2 w 2, which has the general solution w(z) = 1 z tan(z c), c C being an arbitrary integration constant. The singularity located at z = 0 is fixed. All other singularities (located at z = c + πn 2, n Z) are movable square-root branch points. Definition A singularity z 0 is called an algebraic branch point if there is a rational number r > 0 such that the solution is represented, in a neighbourhood of z 0, by the sum of a Laurent series in (z z 0 ) r with finite principle part.
11 Analytic continuation and Painlevé s Lemma In the general situation we start from a local analytic solution about some point z 0 given by Cauchy s existence and uniqueness theorem and analytically continue the solution along some rectifiable path Γ.
12 Analytic continuation and Painlevé s Lemma In the general situation we start from a local analytic solution about some point z 0 given by Cauchy s existence and uniqueness theorem and analytically continue the solution along some rectifiable path Γ. Lemma (Painlevé) Let F k (z, y 1,..., y m ), k = 1,..., m, be analytic functions in a neighbourhood of a point (z, η 1,..., η m ) C m+1. Let Γ be a curve with end point z and suppose that (y 1,..., y m ) are analytic on Γ \ {z } and satisfy y k = F k (z, y 1,..., y m ), k = 1,..., m. Suppose there is a sequence (z n ) n N Γ such that z n z and y k (z n ) η k as n for all k = 1,..., n. Then the solution can be analytically continued to include the point z. z 0 z
13 First-order equations Theorem (Painlevé, 1888) Any movable singularity z of a solution of the first-order equation y (z) = P(z, y) Q(z, y), is an algebraic branch point, i.e. the solution can be represented by a series expansion y(z) = k=0 c k (z z ) k+k 0 n, k 0 Z, n N, convergent in some branched, punctured, neighbourhood of z.
14 First-order equations Theorem (Painlevé, 1888) Any movable singularity z of a solution of the first-order equation y (z) = P(z, y) Q(z, y), is an algebraic branch point, i.e. the solution can be represented by a series expansion y(z) = k=0 c k (z z ) k+k 0 n, k 0 Z, n N, convergent in some branched, punctured, neighbourhood of z. Proof. See E. L. Ince, Ordinary Differential Equations, Dover, New York, 1956; E. Hille, Ordinary Differential Equations in the Complex Domain, Wiley, New York, 1976.
15 First-order equations Theorem (Painlevé, 1888) Any movable singularity z of a solution of the first-order equation y (z) = P(z, y) Q(z, y), is an algebraic branch point, i.e. the solution can be represented by a series expansion y(z) = k=0 c k (z z ) k+k 0 n, k 0 Z, n N, convergent in some branched, punctured, neighbourhood of z. Proof. See E. L. Ince, Ordinary Differential Equations, Dover, New York, 1956; E. Hille, Ordinary Differential Equations in the Complex Domain, Wiley, New York, Question: For which classes of 2 nd -order, higher-order or systems of equations can we make a statement of this form?
16 Second-order and higher-order equations For differential equations of order 2 or higher other types of movable singularities do in general occur:
17 Second-order and higher-order equations For differential equations of order 2 or higher other types of movable singularities do in general occur: movable essential singularities ( y (y ) 2) ( ) y(y ) 3 = 0, y(z) = c 1 exp. z + c 2
18 Second-order and higher-order equations For differential equations of order 2 or higher other types of movable singularities do in general occur: movable essential singularities ( y (y ) 2) ( ) y(y ) 3 = 0, y(z) = c 1 exp. z + c 2 movable logarithmic branch points y + (y ) 2 = 0, y(z) = log(z + c 1 ) + c 2.
19 Second-order and higher-order equations For differential equations of order 2 or higher other types of movable singularities do in general occur: movable essential singularities ( y (y ) 2) ( ) y(y ) 3 = 0, y(z) = c 1 exp. z + c 2 movable logarithmic branch points y + (y ) 2 = 0, y(z) = log(z + c 1 ) + c 2. movable natural barriers, e.g. in Chazy s equation y = 2yy 3(y ) 2, any solution of which can only be defined on some disc, the radius of which depends on the initial conditions.
20 Painlevé property and Painlevé equations Restricting to the case where all movable singularities are poles, Painlevé, Gambier, Fuchs classified all second-order rational equations of the form y = R(z, y, y ) with this property, known as the Painlevé property.
21 Painlevé property and Painlevé equations Restricting to the case where all movable singularities are poles, Painlevé, Gambier, Fuchs classified all second-order rational equations of the form y = R(z, y, y ) with this property, known as the Painlevé property. For first-order equations y = R(z, y), the only type of equation with the Painlevé property is the Riccati equation y = a(z)y 2 + b(z)y + c(z).
22 Painlevé property and Painlevé equations Restricting to the case where all movable singularities are poles, Painlevé, Gambier, Fuchs classified all second-order rational equations of the form y = R(z, y, y ) with this property, known as the Painlevé property. For first-order equations y = R(z, y), the only type of equation with the Painlevé property is the Riccati equation y = a(z)y 2 + b(z)y + c(z). For second-order equations, up to transformations of the form z φ(z), y α(z)y + β(z) γ(z)y + δ(z), they found fifty canonical equations, all of which can be solved in terms of linear differential equations, classically known functions such as elliptic functions, and the solutions of the six nonlinear Painlevé equations.
23 The six Painlevé equations P I : P II : y = 6y 2 + z y = 2y 3 + zy + α P III : y = (y ) 2 y y z + 1 z (αy 2 + β) + γy 3 + δ y P IV : y = (y ) y 2 y 3 + 4zy 2 + 2(z 2 α)y + β y P V : y = 3y 1 2y(y 1) (y ) 2 y ( z + αy + β ) (y 1) 2 y z 2 P VI : y = 1 ( 1 2 y + 1 y ) (y ) 2 y z + y(y 1)(y z) z 2 (z 1) 2 ( α + β z + γy z ( 1 z + 1 z y z δy(y + 1) + (y 1) ) y y 2 + γ z 1 ) z(z 1) + δ (y 1) 2 (y z) 2
24 Painlevé test and Painlevé property About an arbitrary point z 0, the equation y = 2y 1 y (y ) 2 has a one-parameter family of Laurent series solutions y(z) = c k (z z 0 ) k, k= 1 i.e. the equation passes the Painlevé test.
25 Painlevé test and Painlevé property About an arbitrary point z 0, the equation y = 2y 1 y (y ) 2 has a one-parameter family of Laurent series solutions y(z) = c k (z z 0 ) k, k= 1 i.e. the equation passes the Painlevé test. However, it does NOT possess the Painlevé property, the general solution being of the form y(z) = log(tan(az + b)), which has a logarithmic branched singularity at z = b a.
26 Painlevé property of the Painlevé equations Painlevé s original proof for P I was somewhat incomplete
27 Painlevé property of the Painlevé equations Painlevé s original proof for P I was somewhat incomplete The first complete proof in the published literature (not using the iso-monodromy method) was given by Hinkkanen & Laine (1999).
28 Painlevé property of the Painlevé equations Painlevé s original proof for P I was somewhat incomplete The first complete proof in the published literature (not using the iso-monodromy method) was given by Hinkkanen & Laine (1999). A correct proof was circulating in lecture notes at the University of Tokyo by Hukuhara (1960), published by Okamoto & Takano in 2001
29 Painlevé property of the Painlevé equations Painlevé s original proof for P I was somewhat incomplete The first complete proof in the published literature (not using the iso-monodromy method) was given by Hinkkanen & Laine (1999). A correct proof was circulating in lecture notes at the University of Tokyo by Hukuhara (1960), published by Okamoto & Takano in 2001 Other direct proofs are by Steinmetz (2000), Shimomura (2001), Yan & Hu (2003)
30 Painlevé property for P I, y = 6y 2 + z The proof considers an auxiliary function W (z) = (y ) 2 4y 3 2zy + y y,
31 Painlevé property for P I, y = 6y 2 + z The proof considers an auxiliary function W (z) = (y ) 2 4y 3 2zy + y y, which satisfies a first-order linear differential equation W + 1 y 2 W = z y + y y 3.
32 Painlevé property for P I, y = 6y 2 + z The proof considers an auxiliary function W (z) = (y ) 2 4y 3 2zy + y y, which satisfies a first-order linear differential equation W + 1 y 2 W = z y + y y 3. Using the integrating factor ( I (z) = exp Γ ) dτ y(τ) 2, this can be converted into an integral representation for W, ( W (z) = I (z) 1 W (z) I (z) 2y y 2 Γ I (ζ) 2y(ζ) 4 (2ζy(ζ)3 1)dζ showing that W remains bounded as z z, provided that 1/y is bounded on the path Γ. ),
33 A curve deformation lemma To show that 1/y is bounded we employ a lemma by Shimomura (2001).
34 A curve deformation lemma To show that 1/y is bounded we employ a lemma by Shimomura (2001). Define u, v by y = u 2, ( y = u2 2 2u 3 + zu ) 2 u3 v.
35 A curve deformation lemma To show that 1/y is bounded we employ a lemma by Shimomura (2001). Define u, v by y = u 2, ( y = u2 2 2u 3 + zu ) 2 u3 v. Find a regular initial value problem in u and v ±u =1 + zu4 4 ± u5 4 u6 v 2 v = ± z2 u 8 + 3zu2 ± 8 ( 1 4 zv ) u 3 5u4 v 4 ± 3u5 v 2, 2 showing that u, v are analytic at z, corresponding to a pole of y.
36 Equations with algebraic singularities Theorem (R. A. Smith, 1953) 1) Let f and g be polynomials of degree n and m, respectively, where n > m, and let P be analytic at some point z. Then there is an infinite family of solutions of y + f (y)y + g(y) = P(z), which have an algebraic branch point at z. In a neighbourhood of z these solutions can be expressed in the form y(z) = a k (z z ) k/n, with a 1 0. k= 1
37 Equations with algebraic singularities Theorem (R. A. Smith, 1953) 1) Let f and g be polynomials of degree n and m, respectively, where n > m, and let P be analytic at some point z. Then there is an infinite family of solutions of y + f (y)y + g(y) = P(z), which have an algebraic branch point at z. In a neighbourhood of z these solutions can be expressed in the form y(z) = a k (z z ) k/n, with a 1 0. k= 1 2) Let Γ be contour of finite length in C having z as an end point. Let y(z) be a solution which can be continued analytically along Γ as far as z but not over it, then z is an algebraic branch point as described.
38 2) Let Γ be contour of finite length in C having z as an end point. Let y(z) be a solution which can be continued analytically along Γ as far as z but not over it, then z is an algebraic branch point as described. 3) If the singularity at z is not of the algebraic type described then Γ has infinite length and z is an accumulation point of algebraic branch points. Equations with algebraic singularities Theorem (R. A. Smith, 1953) 1) Let f and g be polynomials of degree n and m, respectively, where n > m, and let P be analytic at some point z. Then there is an infinite family of solutions of y + f (y)y + g(y) = P(z), which have an algebraic branch point at z. In a neighbourhood of z these solutions can be expressed in the form y(z) = a k (z z ) k/n, with a 1 0. k= 1
39 Equations with algebraic singularities In a series of papers, S. Shimomura (2007,2008) considered the equations y 2(2k + 1) = (2k 1) 2 y 2k + z, k N (1) y = k + 1 k 2 y 2k+1 + zy + α, k N \ {2}, (2) of P I -type and P II -type, respectively.
40 Equations with algebraic singularities In a series of papers, S. Shimomura (2007,2008) considered the equations y 2(2k + 1) = (2k 1) 2 y 2k + z, k N (1) y = k + 1 k 2 y 2k+1 + zy + α, k N \ {2}, (2) of P I -type and P II -type, respectively. Theorem Any singularity of a solution of one of the equations (1) or (2) that can be reached by analytic continuation along a finite length curve is algebraic.
41 Equations with algebraic singularities In a series of papers, S. Shimomura (2007,2008) considered the equations y 2(2k + 1) = (2k 1) 2 y 2k + z, k N (1) y = k + 1 k 2 y 2k+1 + zy + α, k N \ {2}, (2) of P I -type and P II -type, respectively. Theorem Any singularity of a solution of one of the equations (1) or (2) that can be reached by analytic continuation along a finite length curve is algebraic. When looking at more general equations (Filipuk & Halburd 2009) y = N 2 2(N + 1) (N 1) 2 y(z)n + a n (z)y(z) n, there are certain obstructions to the existence of algebraic singularities. n=0
42 Existence of formal series expansions Firstly, we look for leading-order behaviour of the form y(z) = c 0 (z ẑ) p + o((z ẑ) p ), as z ẑ.
43 Existence of formal series expansions Firstly, we look for leading-order behaviour of the form y(z) = c 0 (z ẑ) p + o((z ẑ) p ), as z ẑ. We find c N 1 0 = 1, p = 2 N 1.
44 Existence of formal series expansions Firstly, we look for leading-order behaviour of the form y(z) = c 0 (z ẑ) p + o((z ẑ) p ), as z ẑ. We find c N 1 0 = 1, p = 2 N 1. Substituting into the equation an expansion of the form y(z) = c n (z ẑ) (n 2)/(N 1), n=0
45 Existence of formal series expansions Firstly, we look for leading-order behaviour of the form y(z) = c 0 (z ẑ) p + o((z ẑ) p ), as z ẑ. We find c N 1 0 = 1, p = 2 N 1. Substituting into the equation an expansion of the form y(z) = c n (z ẑ) (n 2)/(N 1), n=0 leads to a recurrence relation for the coefficients of the form (n + N 1)(n 2N 2)c n = P n (c 0,..., c n 1 ).
46 Existence of formal series expansions Firstly, we look for leading-order behaviour of the form y(z) = c 0 (z ẑ) p + o((z ẑ) p ), as z ẑ. We find c N 1 0 = 1, p = 2 N 1. Substituting into the equation an expansion of the form y(z) = c n (z ẑ) (n 2)/(N 1), n=0 leads to a recurrence relation for the coefficients of the form (n + N 1)(n 2N 2)c n = P n (c 0,..., c n 1 ). Thus c 0,..., c 2N+1 are determined but for n = 2N + 2 we obtain the condition P 2N+2 (c 0,..., c 2N+1 ) = 0, leaving c 2N+2 arbitrary.
47 These conditions, for every c 0 satisfying c N 0 = 1, turn out to be a n 2(ẑ) = 0 (N even), + one additional condition (N odd).
48 These conditions, for every c 0 satisfying c N 0 = 1, turn out to be a n 2(ẑ) = 0 (N even), + one additional condition (N odd). Theorem (Filipuk & Halburd, 2009) Suppose a 0,..., a n 2 are analytic in a common domain Ω C and for each ẑ Ω there exists, for all c 0 satisfying c0 N = 1, a formal series solution of the form y(z) = c n (z ẑ) (n 2)/(N 1). (3) n=0 Let y be a solution that can be analytically continued along a finite length curve Γ up to but not including its endpoint z 0. Then y has a convergent series expansion in a punctured neighbourhood of ẑ = z 0 of the form (3).
49 These conditions, for every c 0 satisfying c N 0 = 1, turn out to be a n 2(ẑ) = 0 (N even), + one additional condition (N odd). Theorem (Filipuk & Halburd, 2009) Suppose a 0,..., a n 2 are analytic in a common domain Ω C and for each ẑ Ω there exists, for all c 0 satisfying c0 N = 1, a formal series solution of the form y(z) = c n (z ẑ) (n 2)/(N 1). (3) n=0 Let y be a solution that can be analytically continued along a finite length curve Γ up to but not including its endpoint z 0. Then y has a convergent series expansion in a punctured neighbourhood of ẑ = z 0 of the form (3). Remark The Theorem shows that for this class of equations, passing the (weak) Painlevé test is equivalent to having the (weak) Painlevé property.
50 The proof relies, like the proof for the Painlevé property of the Painlevé equations, on an auxiliary function W which remains bounded as z z.
51 The proof relies, like the proof for the Painlevé property of the Painlevé equations, on an auxiliary function W which remains bounded as z z. W is related to the Hamiltonian structure of the equation.
52 The proof relies, like the proof for the Painlevé property of the Painlevé equations, on an auxiliary function W which remains bounded as z z. W is related to the Hamiltonian structure of the equation. Consider the more general Hamiltonian H(z, p, q) = qn+1 N pm+1 M (i,j) I a ij (z)p i q j, where I = {(i, j) N 2 : i(n + 1) + j(m + 1) < (M + 1)(N + 1)} and the a ij, (i, j) I are analytic in some common domain Ω.
53 The proof relies, like the proof for the Painlevé property of the Painlevé equations, on an auxiliary function W which remains bounded as z z. W is related to the Hamiltonian structure of the equation. Consider the more general Hamiltonian H(z, p, q) = qn+1 N pm+1 M (i,j) I a ij (z)p i q j, where I = {(i, j) N 2 : i(n + 1) + j(m + 1) < (M + 1)(N + 1)} and the a ij, (i, j) I are analytic in some common domain Ω. dq dz = H p = pm + ia ij (z)p i 1 q j (i,j) I dp dz = H z = qn (4) ja ij (z)p i q j 1 (i,j) I
54 Theorem (TK, 2013) Suppose that for every pair of values (c 10, c 20 ) satisfying c MN 1 1,0 = 1, c 2,0 = c M 1,0, for all ẑ Ω the Hamiltonian system admits a formal series solution q(z) = c 1,k (z ẑ) k M 1 MN 1, p(z) = c 2,k (z ẑ) k N 1 MN 1. k=0 Then, every movable singularity z of a solution of the Hamiltonian system, obtained by analytic continuation along a rectifiable curve, is algebraic, and represented by series q(z) = k=0 k=0 k=0 C 1,k (z z ) kd N 1 MN 1, p(z) = C 2,k (z z ) kd M 1 MN 1, (5) where d = gcd{m + 1, N + 1, MN 1}, convergent in a branched, punctured, neighbourhood of z.
55 For the proof, the auxiliary function W is taken to be of the form W (z) = qn+1 N pm+1 M for some suitable set J N 2, (i,j) I a ij (z)p i q j + (k,l) J β kl p k q l,
56 For the proof, the auxiliary function W is taken to be of the form W (z) = qn+1 N pm+1 M (i,j) I a ij (z)p i q j + for some suitable set J N 2, such that W satisfies (k,l) J W = P(z, q, p)w + Q(z, q, p) + d R(z, q, p), dz β kl p k q l, where P, Q and R are certain rational functions in q and p. Also, the existence of the formal series solutions needs to be used here.
57 For the proof, the auxiliary function W is taken to be of the form W (z) = qn+1 N pm+1 M (i,j) I a ij (z)p i q j + for some suitable set J N 2, such that W satisfies (k,l) J W = P(z, q, p)w + Q(z, q, p) + d R(z, q, p), dz β kl p k q l, where P, Q and R are certain rational functions in q and p. Also, the existence of the formal series solutions needs to be used here. This first-order linear differential equation for W can be integrated ( ) W (z) = R(z) + I (z) C + (Q(ζ) + P(ζ)R(ζ))I (ζ) 1 dζ Γ ( ) I (z) = exp P(ζ)dζ, C = W (z 0 ) R(z 0 ), Γ Γ being a path of integration from z 0 to z.
58 By a certain modification of the curve Γ one can achieve that 1 q and 1 p, as well as certain terms of the form pk occuring in P, Q, R, are bounded q l in a neighbourhood of a movable singularity z.
59 By a certain modification of the curve Γ one can achieve that 1 q and 1 p, as well as certain terms of the form pk occuring in P, Q, R, are bounded q l in a neighbourhood of a movable singularity z. Using W, one can define variables u, v by p = u (N 1)/d, W (z, q, p) = v + F (z, u, v).
60 By a certain modification of the curve Γ one can achieve that 1 q and 1 p, as well as certain terms of the form pk occuring in P, Q, R, are bounded q l in a neighbourhood of a movable singularity z. Using W, one can define variables u, v by p = u (N 1)/d, W (z, q, p) = v + F (z, u, v). Changing the role of dependent and independent variable one finds a regular initial value problem dz du = u(mn 1)/d 1 A(z, u, v), dv = B(z, u, v), du showing that z is analytic in a neighbourhood of u = 0 with initial value z(0) = z and z z u (MN 1)/d. Transforming the variables back to p, q shows that z is an algebraic branch point of the solution.
61 An example M = N = 2: The Hamiltonian is given by H(z, q, p) = 1 3 q p3 + α 1,1 (z)qp + α 1,0 (z)q + α 0,1 (z)p The existence of formal series solutions q(z) = c 1,k (z ẑ) k, p(z) = k= 1 c 2,k (z ẑ) k k= 1 is equivalent to the resonance conditions α 1,1 0, α 1,0 0 and 0, i.e. one is essentially left with α 0,1 q = p 2 + zq + β, p = q 2 zp γ. (6) Theorem (A) shows that for system (6) all movable singularities of a solution (q, p) are poles, i.e. it has the Painlevé property. In fact, the solutions can be expressed in terms of the P IV transcendents.
62 Local vs. global branching We have presented a class of equations for which all solutions are locally finite-valued.
63 Local vs. global branching We have presented a class of equations for which all solutions are locally finite-valued. Apart from the meromorphic (single-valued) case, these equations are in general not integrable
64 Local vs. global branching We have presented a class of equations for which all solutions are locally finite-valued. Apart from the meromorphic (single-valued) case, these equations are in general not integrable The possibility of accumulation points of movable branch points, reached by analytic continuation about an inifinite length curve, cannot be excluded, see an example by R.A. Smith (1953): y + 4y 3 y + y = 0.
65 Local vs. global branching We have presented a class of equations for which all solutions are locally finite-valued. Apart from the meromorphic (single-valued) case, these equations are in general not integrable The possibility of accumulation points of movable branch points, reached by analytic continuation about an inifinite length curve, cannot be excluded, see an example by R.A. Smith (1953): y + 4y 3 y + y = 0. A condition for the equations to be integrable would be to demand that the solutions are also globally finite-valued. This leads to the notion of algebroid solutions, i.e. y satisfies an algebraic equation y n + s 1 (z)y n s n (z) = 0, (7) where s 1,..., s n are meromorphic functions.
66 Malmquist s Theorem In the case of a single first-order equation the following is known: Theorem (Malmquist 1913) Suppose there exists a transcendental algebroid solution for the equation y = P(z, y), P, Q C(z)[X ]. (8) Q(z, y) Then, by a rational transformation w = R(z, y), the equation can be reduced to a Riccati equation in w with rational coefficients, w = a(z)w 2 + b(z)w + c(z).
67 Malmquist s Theorem In the case of a single first-order equation the following is known: Theorem (Malmquist 1913) Suppose there exists a transcendental algebroid solution for the equation y = P(z, y), P, Q C(z)[X ]. (8) Q(z, y) Then, by a rational transformation w = R(z, y), the equation can be reduced to a Riccati equation in w with rational coefficients, w = a(z)w 2 + b(z)w + c(z). Remark: Usually Malmquist s Theorem is quoted as the following: If equation (8) has a transcendental meromorphic solution, then it must be already a Riccati equation.
68 Admissible solutions Employing Nevanlinna Theory, Malmquist s Theorem can be generalised to the notion of admissible solutions (K. Yosida, 1932). We adopt the usual notation for the Nevanlinna functions T (r, f ) = m(r, f ) + N(r, f ).
69 Admissible solutions Employing Nevanlinna Theory, Malmquist s Theorem can be generalised to the notion of admissible solutions (K. Yosida, 1932). We adopt the usual notation for the Nevanlinna functions T (r, f ) = m(r, f ) + N(r, f ). A meromorphic function that behaves like o(t (r, f )) as r, possibly outside some exceptional set of finite measure, is denoted by S(r, f ).
70 Admissible solutions Employing Nevanlinna Theory, Malmquist s Theorem can be generalised to the notion of admissible solutions (K. Yosida, 1932). We adopt the usual notation for the Nevanlinna functions T (r, f ) = m(r, f ) + N(r, f ). A meromorphic function that behaves like o(t (r, f )) as r, possibly outside some exceptional set of finite measure, is denoted by S(r, f ). We have the Lemma on the Logarithmic Derivative m (r, f ) = S(r, f ). f
71 Admissible solutions Employing Nevanlinna Theory, Malmquist s Theorem can be generalised to the notion of admissible solutions (K. Yosida, 1932). We adopt the usual notation for the Nevanlinna functions T (r, f ) = m(r, f ) + N(r, f ). A meromorphic function that behaves like o(t (r, f )) as r, possibly outside some exceptional set of finite measure, is denoted by S(r, f ). We have the Lemma on the Logarithmic Derivative m (r, f ) = S(r, f ). f Let y(z) be an algebroid solution of the differential equation F (z; y, y, y,..., y (k) ) = 0, with coefficients {a λ, λ I }. y is called admissible if for some j {1,..., n}, T (r, a λ ) = S(r, s j ) λ I.
72 Algebroid solutions of 2 nd -order equations Theorem (TK) Let y be an admissible solution of the equation y = 3 4 y 5 + a 4 (z)y 4 + a 3 (z)y 3 + a 2 (z)y 2 + a 1 (z)y + a 0 (z), (9) such that y also satisfies the irreducible equation y(z) 2 + s 1 (z)y(z) + s 2 (z) = 0. Then s 1 is proportional to a 4 and s 2 satisfies an equation which either reduces to a Riccati equation with coefficient functions that are rational expressions in a 0,..., a 4 and their derivatives, or to the equation s 2 = (s 2 )2 2s s (az + b)s ((az + b) 2 c)s 2.
73 At a singularity z 0 of y where a 0,..., a 4 are analytic, we have y 1, y 2 (z z 0 ) 1/2
74 At a singularity z 0 of y where a 0,..., a 4 are analytic, we have y 1, y 2 (z z 0 ) 1/2 From the differential equation, using the Lemma on the Logarithmic Derivative, one can obtain m(r, s j ) = S(r, y), j = 1, 2.
75 At a singularity z 0 of y where a 0,..., a 4 are analytic, we have y 1, y 2 (z z 0 ) 1/2 From the differential equation, using the Lemma on the Logarithmic Derivative, one can obtain m(r, s j ) = S(r, y), j = 1, 2. Since s 1 and s 2 are meromorphic and s 1 = (y 1 + y 2 ), s 2 = y 1 y 2, we see that s 1 has no pole at any such z 0, so N(r, s 1 ) = S(r, y), but therefore s 2 must have poles such that N(r, s 2 ) = O(T (r, y)).
76 Differentiating y 2 + s 1 y + s 2 = 0 yields 2yy + s 1y + s 1 y + s 2 = 0 = y = s 1 y + s 2 2y + s 1. (10)
77 Differentiating y 2 + s 1 y + s 2 = 0 yields 2yy + s 1y + s 1 y + s 2 = 0 = y = s 1 y + s 2 2y + s 1. (10) Differentiating again, using (9) to replace y and (10) to replace y and expanding by (2y + s 1 ) 2 yields an equation in y, s 1, s 1, s 1, s 2, s 2, s 2. Using y 2 = s 1 y s 2 repeatedly reduces the order of y until one ends up with F 1 (s 1, s 1, s 1, s 2, s 2, s 2 )y + F 0 (s 1, s 1, s 1, s 2, s 2, s 2 ) = 0.
78 Differentiating y 2 + s 1 y + s 2 = 0 yields 2yy + s 1y + s 1 y + s 2 = 0 = y = s 1 y + s 2 2y + s 1. (10) Differentiating again, using (9) to replace y and (10) to replace y and expanding by (2y + s 1 ) 2 yields an equation in y, s 1, s 1, s 1, s 2, s 2, s 2. Using y 2 = s 1 y s 2 repeatedly reduces the order of y until one ends up with F 1 (s 1, s 1, s 1, s 2, s 2, s 2 )y + F 0 (s 1, s 1, s 1, s 2, s 2, s 2 ) = 0. Since the equation y 2 + s 1 y + s 2 = 0 was assumed to be irreducible, we have F 0 = F 1 0. The relation F 1 0 yields the equation s 1 s a 4 s 4 1 a 3 s a 2 s 2 1 a 1 s 1 + 2a 0 =s 2 (5s 3 1 4a 4 s a 3 s 1 + 2a 2 ) + s 2 2 (2a 4 5s 1 )
79 Differentiating y 2 + s 1 y + s 2 = 0 yields 2yy + s 1y + s 1 y + s 2 = 0 = y = s 1 y + s 2 2y + s 1. (10) Differentiating again, using (9) to replace y and (10) to replace y and expanding by (2y + s 1 ) 2 yields an equation in y, s 1, s 1, s 1, s 2, s 2, s 2. Using y 2 = s 1 y s 2 repeatedly reduces the order of y until one ends up with F 1 (s 1, s 1, s 1, s 2, s 2, s 2 )y + F 0 (s 1, s 1, s 1, s 2, s 2, s 2 ) = 0. Since the equation y 2 + s 1 y + s 2 = 0 was assumed to be irreducible, we have F 0 = F 1 0. The relation F 1 0 yields the equation s 1 s a 4 s 4 1 a 3 s a 2 s 2 1 a 1 s 1 + 2a 0 =s 2 (5s 3 1 4a 4 s a 3 s 1 + 2a 2 ) + s 2 2 (2a 4 5s 1 ) Since T (r, s 1 ) = S(r, s 2 ), the left and right hand sides must both vanish identically, showing s 1 = 2 5 a 4.
80 Letting a 4 = s 1 = 0, one obtains from the relation F 0 0 the equation s 2 = (s 2 )2 2s s3 2 2a 3 (z)s a 1 (z)s 2, for which s 2 is a meromorphic solution.
81 Letting a 4 = s 1 = 0, one obtains from the relation F 0 0 the equation s 2 = (s 2 )2 2s s3 2 2a 3 (z)s a 1 (z)s 2, for which s 2 is a meromorphic solution. At any pole z 0, we find s 2 (z) = α z z 0 + c k (z z 0 ) k, α = ±1. k=0
82 Letting a 4 = s 1 = 0, one obtains from the relation F 0 0 the equation s 2 = (s 2 )2 2s s3 2 2a 3 (z)s a 1 (z)s 2, for which s 2 is a meromorphic solution. At any pole z 0, we find s 2 (z) = α z z 0 + c k (z z 0 ) k, α = ±1. k=0 Computing the coefficients c k, k = 0, 1,... recursively, one finds, at k = 2, the condition αa 3 (z 0 ) + a 3 (z 0 )a 3(z 0 ) 2a 1(z 0 ) = 0.
83 We have two cases: Case 1: Only one type of pole, s 2 α z z 0 occurs with frequency of order O(T (r, s 2 )), the other, s 2 α z z 0, with frequency S(r, s 2 ). Let w(z) = s 2(z) + αs 2 (z) 2 αa 3 (z)s 2 (z), (11) which has no pole if at z 0 if s 2 α z z 0, i.e. N(r, w) = S(r, s 2 ). Since also m(r, w) = S(r, s 2 ), we have T (r, w) = S(r, s 2 ), i.e. s 2 satisfies the Riccati equation (11) admissibly.
84 We have two cases: Case 1: Only one type of pole, s 2 α z z 0 occurs with frequency of order O(T (r, s 2 )), the other, s 2 α z z 0, with frequency S(r, s 2 ). Let w(z) = s 2(z) + αs 2 (z) 2 αa 3 (z)s 2 (z), (11) which has no pole if at z 0 if s 2 α z z 0, i.e. N(r, w) = S(r, s 2 ). Since also m(r, w) = S(r, s 2 ), we have T (r, w) = S(r, s 2 ), i.e. s 2 satisfies the Riccati equation (11) admissibly. Case 2: Both types of poles, α = ±1, occur with frequency of order O(T (r, s 2 )). Then one finds from the resonance conditions a 3 0, (a 2 3 4a 1 ) 0. Letting a 3 (z) = 2(az + b) and a 1 (z) = (az + b) 2 c one obtains s 2 = (s 2 )2 2s s (az + b)s ((az + b) 2 c)s 2.
On the singularities of non-linear ODEs
On the singularities of non-linear ODEs Galina Filipuk Institute of Mathematics University of Warsaw G.Filipuk@mimuw.edu.pl Collaborators: R. Halburd (London), R. Vidunas (Tokyo), R. Kycia (Kraków) 1 Plan
More informationAn old new class of meromorphic functions. Norbert Steinmetz. June 13, 2015
Norbert Steinmetz June 13, 2015 NEW & OLD NEW: Hamiltonian system p = H q = q 2 zp α q = H p = p 2 + zq + β with Hamiltonian H(z, p, q) = 1 3 (p3 + q 3 ) + zpq + αq + βp OLD: Almost Painlevé IV 2ww = w
More informationMATH COMPLEX ANALYSIS. Contents
MATH 3964 - OMPLEX ANALYSIS ANDREW TULLOH AND GILES GARDAM ontents 1. ontour Integration and auchy s Theorem 2 1.1. Analytic functions 2 1.2. ontour integration 3 1.3. auchy s theorem and extensions 3
More informationLinear and nonlinear ODEs and middle convolution
Linear and nonlinear ODEs and middle convolution Galina Filipuk Institute of Mathematics University of Warsaw G.Filipuk@mimuw.edu.pl Collaborator: Y. Haraoka (Kumamoto University) 1 Plan of the Talk: Linear
More informationComplex Difference Equations of Malmquist Type
Computational Methods and Function Theory Volume 1 2001), No. 1, 27 39 Complex Difference Equations of Malmquist Type Janne Heittokangas, Risto Korhonen, Ilpo Laine, Jarkko Rieppo, and Kazuya Tohge Abstract.
More informationPRELIMINARIES FOR HYPERGEOMETRIC EQUATION. We will only consider differential equations with regular singularities in this lectures.
PRELIMINARIES FOR HYPERGEOMETRIC EQUATION EDMUND Y.-M. CHIANG Abstract. We give a brief introduction to some preliminaries for Gauss hypergeometric equations. We will only consider differential equations
More informationGrowth of meromorphic solutions of delay differential equations
Growth of meromorphic solutions of delay differential equations Rod Halburd and Risto Korhonen 2 Abstract Necessary conditions are obtained for certain types of rational delay differential equations to
More informationPainlevé Test and Higher Order Differential Equations
Journal of Nonlinear Mathematical Physics Volume 9, Number 3 2002), 282 30 Article Painlevé Test and Higher Order Differential Equations Uğurhan MUĞAN and Fahd JRAD SUNY at Buffalo, Department of Mathematics,
More informationDifference analogue of the lemma on the logarithmic derivative with applications to difference equations
Loughborough University Institutional Repository Difference analogue of the lemma on the logarithmic derivative with applications to difference equations This item was submitted to Loughborough University's
More informationGlobal Properties Of The Painlevé Transcendents
Global Properties Of The Painlevé Transcendents New results and open questions by Norbert Steinmetz in Dortmund Abstract. We prove several lower estimates for the Nevanlinna characteristic functions and
More informationDifference analogue of the Lemma on the. Logarithmic Derivative with applications to. difference equations
Difference analogue of the Lemma on the Logarithmic Derivative with applications to difference equations R.G. Halburd, Department of Mathematical Sciences, Loughborough University Loughborough, Leicestershire,
More informationCHARACTERIZATIONS OF LINEAR DIFFERENTIAL SYSTEMS WITH A REGULAR SINGULAR POINT
CHARACTERIZATIONS OF LINEAR DIFFERENTIAL SYSTEMS WITH A REGULAR SINGULAR POINT The linear differential system by W. A. HARRIS, Jr. (Received 25th July 1971) -T = Az)w (1) where w is a vector with n components
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationOn the meromorphic solutions of an equation of Hayman
J. Math. Anal. Appl. 281 (2003) 663 677 www.elsevier.com/locate/jmaa On the meromorphic solutions of an equation of Hayman Y.M. Chiang a,1 and R.G. Halburd b,,2 a Department of Mathematics, Hong Kong University
More information1. Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials.
Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials A rational function / is a quotient of two polynomials P, Q with 0 By Fundamental Theorem of algebra, =
More informationarxiv:nlin/ v1 [nlin.si] 13 Apr 2005
Diophantine Integrability R.G. Halburd Department of Mathematical Sciences, Loughborough University Loughborough, Leicestershire, LE11 3TU, UK (Dated: received January 1, revised March 7, 005) The heights
More informationOn rational approximation of algebraic functions. Julius Borcea. Rikard Bøgvad & Boris Shapiro
On rational approximation of algebraic functions http://arxiv.org/abs/math.ca/0409353 Julius Borcea joint work with Rikard Bøgvad & Boris Shapiro 1. Padé approximation: short overview 2. A scheme of rational
More informationDiophantine integrability
Loughborough University Institutional Repository Diophantine integrability This item was submitted to Loughborough University's Institutional Repository by the/an author. Additional Information: This pre-print
More informationLecture 3. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 3 E- and G-functions 1 / 20
Lecture 3 Frits Beukers Arithmetic of values of E- and G-function Lecture 3 E- and G-functions 1 / 20 G-functions, definition Definition An analytic function f (z) given by a powerseries a k z k k=0 with
More informationSOLUTIONS OF NONHOMOGENEOUS LINEAR DIFFERENTIAL EQUATIONS WITH EXCEPTIONALLY FEW ZEROS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 23, 1998, 429 452 SOLUTIONS OF NONHOMOGENEOUS LINEAR DIFFERENTIAL EQUATIONS WITH EXCEPTIONALLY FEW ZEROS Gary G. Gundersen, Enid M. Steinbart, and
More informationMeromorphic solutions of a third order nonlinear differential equation
Meromorphic solutions of a third order nonlinear differential equation Robert Conte 1,2 and Tuen-Wai Ng 1 20 November 2009, revised 21 January 2010 Abstract. We prove that all the meromorphic solutions
More informationConsidering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.
Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and
More information. OKAMOTO S SPACE FOR THE FIRST PAINLEVÉ EQUATION IN BOUTROUX COORDINATES J.J. DUISTERMAAT AND N. JOSHI
. OKAMOTO S SPACE FOR THE FIRST PAINLEVÉ EQUATION IN BOUTROUX COORDINATES J.J. DUISTERMAAT AND N. JOSHI Abstract. We study the completeness and connectedness of asymptotic behaviours of solutions of the
More informationAdditional material: Linear Differential Equations
Chapter 5 Additional material: Linear Differential Equations 5.1 Introduction The material in this chapter is not formally part of the LTCC course. It is included for completeness as it contains proofs
More informationSOME PROPERTIES OF MEROMORPHIC SOLUTIONS FOR q-difference EQUATIONS
Electronic Journal of Differential Equations, Vol. 207 207, No. 75, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu SOME PROPERTIES OF MEROMORPHIC SOLUTIONS FOR q-difference
More informationPROPERTIES OF SCHWARZIAN DIFFERENCE EQUATIONS
Electronic Journal of Differential Equations, Vol. 2015 (2015), No. 199, pp. 1 11. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu PROPERTIES OF
More informationIII. Consequences of Cauchy s Theorem
MTH6 Complex Analysis 2009-0 Lecture Notes c Shaun Bullett 2009 III. Consequences of Cauchy s Theorem. Cauchy s formulae. Cauchy s Integral Formula Let f be holomorphic on and everywhere inside a simple
More informationLecture 4. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 4 E- and G-functions 1 / 27
Lecture 4 Frits Beukers Arithmetic of values of E- and G-function Lecture 4 E- and G-functions 1 / 27 Two theorems Theorem, G.Chudnovsky 1984 The minimal differential equation of a G-function is Fuchsian.
More informationSingularities, Algebraic entropy and Integrability of discrete Systems
Singularities, Algebraic entropy and Integrability of discrete Systems K.M. Tamizhmani Pondicherry University, India. Indo-French Program for Mathematics The Institute of Mathematical Sciences, Chennai-2016
More informationLAURENT SERIES AND SINGULARITIES
LAURENT SERIES AND SINGULARITIES Introduction So far we have studied analytic functions Locally, such functions are represented by power series Globally, the bounded ones are constant, the ones that get
More informationPart IB Complex Analysis
Part IB Complex Analysis Theorems Based on lectures by I. Smith Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationConformal maps. Lent 2019 COMPLEX METHODS G. Taylor. A star means optional and not necessarily harder.
Lent 29 COMPLEX METHODS G. Taylor A star means optional and not necessarily harder. Conformal maps. (i) Let f(z) = az + b, with ad bc. Where in C is f conformal? cz + d (ii) Let f(z) = z +. What are the
More information1 Introduction. or equivalently f(z) =
Introduction In this unit on elliptic functions, we ll see how two very natural lines of questions interact. The first, as we have met several times in Berndt s book, involves elliptic integrals. In particular,
More informationWhen does a formal finite-difference expansion become real? 1
When does a formal finite-difference expansion become real? 1 Edmund Y. M. Chiang a Shaoji Feng b a The Hong Kong University of Science & Technology b Chinese Academy of Sciences Computational Methods
More informationBäcklund transformations for fourth-order Painlevé-type equations
Bäcklund transformations for fourth-order Painlevé-type equations A. H. Sakka 1 and S. R. Elshamy Department of Mathematics, Islamic University of Gaza P.O.Box 108, Rimae, Gaza, Palestine 1 e-mail: asakka@mail.iugaza.edu
More informationExistence of finite-order meromorphic solutions as a detector of integrability in difference equations
Physica D 28 2006 9 203 www.elsevier.com/locate/physd Existence of finite-order meromorphic solutions as a detector of integrability in difference equations R.G. Halburd, R.J. Korhonen Department of Mathematical
More informationChapter 30 MSMYP1 Further Complex Variable Theory
Chapter 30 MSMYP Further Complex Variable Theory (30.) Multifunctions A multifunction is a function that may take many values at the same point. Clearly such functions are problematic for an analytic study,
More informationComplex Analysis Important Concepts
Complex Analysis Important Concepts Travis Askham April 1, 2012 Contents 1 Complex Differentiation 2 1.1 Definition and Characterization.............................. 2 1.2 Examples..........................................
More informationChapter 1. Introduction and Preliminaries
Chapter Introduction and Preliminaries . Introduction Nevanlinna theory ( also called Value Distribution Theory ) is a branch of complex analysis developed by Finnish mathematician Rolf Nevanlinna. Nevanlinna
More informationarxiv: v2 [math.ca] 10 Apr 2011
. OKAMOTO S SPACE FOR THE FIRST PAINLEVÉ EQUATION IN BOUTROUX COORDINATES J.J. DUISTERMAAT AND N. JOSHI arxiv:1010.5563v2 [math.ca] 10 Apr 2011 Abstract. We study the completeness and connectedness of
More information7 Asymptotics for Meromorphic Functions
Lecture G jacques@ucsd.edu 7 Asymptotics for Meromorphic Functions Hadamard s Theorem gives a broad description of the exponential growth of coefficients in power series, but the notion of exponential
More informationAn example of generalization of the Bernoulli numbers and polynomials to any dimension
An example of generalization of the Bernoulli numbers and polynomials to any dimension Olivier Bouillot, Villebon-Georges Charpak institute, France C.A.L.I.N. team seminary. Tuesday, 29 th March 26. Introduction
More informationPoles and α-points of Meromorphic Solutions of the First Painlevé Hierarchy
Publ. RIMS, Kyoto Univ. 40 2004), 471 485 Poles and α-points of Meromorphic Solutions of the First Painlevé Hierarchy By Shun Shimomura Abstract The first Painlevé hierarchy, which is a sequence of higher
More informationIsolated singular points
Chapter 5 Isolated singular points We take up in this chapter a classical subject in the theory of linear differential equations. We shall consider differential equations that are analytic except at isolated
More informationDepartment of mathematics MA201 Mathematics III
Department of mathematics MA201 Mathematics III Academic Year 2015-2016 Model Solutions: Quiz-II (Set - B) 1. Obtain the bilinear transformation which maps the points z 0, 1, onto the points w i, 1, i
More informationFINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours.
FINAL EXAM MATH 220A, UCSD, AUTUMN 4 You have three hours. Problem Points Score There are 6 problems, and the total number of points is 00. Show all your work. Please make your work as clear and easy to
More informationExceptional solutions to the Painlevé VI equation
Exceptional solutions to the Painlevé VI equation Alexandre Eremenko, Andrei Gabrielov and Aimo Hinkkanen December 10, 2016 Abstract We find all solutions of the Painlevé VI equations with the property
More informationMEROMORPHIC FUNCTIONS WHOSE JULIA SETS CONTAIN A FREE JORDAN ARC
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 18, 1993, 273 298 MEROMORPHIC FUNCTIONS WHOSE JULIA SETS CONTAIN A FREE JORDAN ARC Gwyneth M. Stallard Imperial College of Science,
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationA New Technique in Nonlinear Singularity Analysis
Publ. RIMS, Kyoto Univ. 39 (2003), 435 449 A New Technique in Nonlinear Singularity Analysis By Pilar R. Gordoa, Nalini Joshi and Andrew Pickering Abstract The test for singularity structure proposed by
More informationRiemann Surfaces. Dr C. Teleman 1. Lent Term L A TEXed by James Lingard please send all comments and corrections to
Riemann Surfaces Dr C. Teleman 1 Lent Term 2001 1 L A TEXed by James Lingard please send all comments and corrections to james@lingard.com Lecture 1 What are Riemann surfaces and where do they come from?
More informationChapter 11. Cauchy s Integral Formula
hapter 11 auchy s Integral Formula If I were founding a university I would begin with a smoking room; next a dormitory; and then a decent reading room and a library. After that, if I still had more money
More informationZero localization: from 17th-century algebra to challenges of today
Zero localization: from 7th-century algebra to challenges of today UC Berkeley & TU Berlin Bremen summer school July 203 Descartes rule of signs Theorem [Descartes]. The number of positive zeros of a real
More informationOn probability measures with algebraic Cauchy transform
On probability measures with algebraic Cauchy transform Boris Shapiro Stockholm University IMS Singapore, January 8, 2014 Basic definitions The logarithimic potential and the Cauchy transform of a (compactly
More informationPart IB. Complex Analysis. Year
Part IB Complex Analysis Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section I 2A Complex Analysis or Complex Methods 7 (a) Show that w = log(z) is a conformal
More informationSOME PROPERTIES OF SYMPLECTIC RUNGE-KUTTA METHODS
SOME PROPERTIES OF SYMPLECTIC RUNGE-KUTTA METHODS ERNST HAIRER AND PIERRE LEONE Abstract. We prove that to every rational function R(z) satisfying R( z)r(z) = 1, there exists a symplectic Runge-Kutta method
More informationPart IB. Further Analysis. Year
Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on
More informationCONSEQUENCES OF POWER SERIES REPRESENTATION
CONSEQUENCES OF POWER SERIES REPRESENTATION 1. The Uniqueness Theorem Theorem 1.1 (Uniqueness). Let Ω C be a region, and consider two analytic functions f, g : Ω C. Suppose that S is a subset of Ω that
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationChapter 6: The metric space M(G) and normal families
Chapter 6: The metric space MG) and normal families Course 414, 003 04 March 9, 004 Remark 6.1 For G C open, we recall the notation MG) for the set algebra) of all meromorphic functions on G. We now consider
More informationValue distribution of the fifth Painlevé transcendents in sectorial domains
J. Math. Anal. Appl. 33 (7) 817 88 www.elsevier.com/locate/jmaa Value distribution of the fifth Painlevé transcendents in sectorial domains Yoshikatsu Sasaki Graduate School of Mathematics, Kyushu University,
More informationSecond-order second-degree Painlevé equations related with Painlevé I VI equations and Fuchsian-type transformations
Second-order second-degree Painlevé equations related with Painlevé I VI equations and Fuchsian-type transformations U. Muğan and A. Sakka Citation: J. Math. Phys. 40, 3569 (1999); doi: 10.1063/1.532909
More informationBANK-LAINE FUNCTIONS WITH SPARSE ZEROS
BANK-LAINE FUNCTIONS WITH SPARSE ZEROS J.K. LANGLEY Abstract. A Bank-Laine function is an entire function E satisfying E (z) = ± at every zero of E. We construct a Bank-Laine function of finite order with
More informationarxiv: v2 [nlin.si] 3 Feb 2016
On Airy Solutions of the Second Painlevé Equation Peter A. Clarkson School of Mathematics, Statistics and Actuarial Science, University of Kent, Canterbury, CT2 7NF, UK P.A.Clarkson@kent.ac.uk October
More informationFIRST PART On the general study of iteration of a rational substitution. The set of the singular points of the iteration.
34 FIRST PART On the general study of iteration of a rational substitution. The set of the singular points of the iteration. 7. For all this Memoir, we have defined φ(z) the rational fraction whose iteration
More informationON FACTORIZATIONS OF ENTIRE FUNCTIONS OF BOUNDED TYPE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 345 356 ON FACTORIZATIONS OF ENTIRE FUNCTIONS OF BOUNDED TYPE Liang-Wen Liao and Chung-Chun Yang Nanjing University, Department of Mathematics
More informationOn the value distribution of composite meromorphic functions
On the value distribution of composite meromorphic functions Walter Bergweiler and Chung-Chun Yang Dedicated to Professor Klaus Habetha on the occasion of his 60th birthday 1 Introduction and main result
More informationProblems for MATH-6300 Complex Analysis
Problems for MATH-63 Complex Analysis Gregor Kovačič December, 7 This list will change as the semester goes on. Please make sure you always have the newest version of it.. Prove the following Theorem For
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Spring Semester 2015
Department of Mathematics, University of California, Berkeley YOUR OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Spring Semester 205. Please write your - or 2-digit exam number on this
More informationNotes by Zvi Rosen. Thanks to Alyssa Palfreyman for supplements.
Lecture: Hélène Barcelo Analytic Combinatorics ECCO 202, Bogotá Notes by Zvi Rosen. Thanks to Alyssa Palfreyman for supplements.. Tuesday, June 2, 202 Combinatorics is the study of finite structures that
More informationOn the linear differential equations whose general solutions are elementary entire functions
On the linear differential equations whose general solutions are elementary entire functions Alexandre Eremenko August 8, 2012 The following system of algebraic equations was derived in [3], in the study
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationMATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM
MATH 566 LECTURE NOTES 4: ISOLATED SINGULARITIES AND THE RESIDUE THEOREM TSOGTGEREL GANTUMUR 1. Functions holomorphic on an annulus Let A = D R \D r be an annulus centered at 0 with 0 < r < R
More informationResearch Article Uniqueness Theorems of Difference Operator on Entire Functions
Discrete Dynamics in Nature and Society Volume 203, Article ID 3649, 6 pages http://dx.doi.org/0.55/203/3649 Research Article Uniqueness Theorems of Difference Operator on Entire Functions Jie Ding School
More informationPower Series Solutions for Ordinary Differential Equations
Power Series Solutions for Ordinary Differential Equations James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University December 4, 2017 Outline 1 Power
More informationBoutroux s Method vs. Re-scaling Lower estimates for the orders of growth of the second and fourth Painlevé transcendents
Boutroux s Method vs. Re-scaling Lower estimates for the orders of growth of the second and fourth Painlevé transcendents 18.06.2003 by Norbert Steinmetz in Dortmund Abstract. We give a new proof of Shimomura
More informationMath Homework 2
Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is
More informationAnalog of Hayman Conjecture for linear difference polynomials
Analog of Hayman Conjecture for linear difference polynomials RAJ SHREE DHAR Higher Education Department, J and K Government Jammu and Kashmir,INDIA dhar.rajshree@jk.gov.in September 9, 2018 Abstract We
More informationTranscendents defined by nonlinear fourth-order ordinary differential equations
J. Phys. A: Math. Gen. 3 999) 999 03. Printed in the UK PII: S0305-447099)9603-6 Transcendents defined by nonlinear fourth-order ordinary differential equations Nicolai A Kudryashov Department of Applied
More informationarxiv:nlin/ v2 [nlin.si] 9 Oct 2002
Journal of Nonlinear Mathematical Physics Volume 9, Number 1 2002), 21 25 Letter On Integrability of Differential Constraints Arising from the Singularity Analysis S Yu SAKOVICH Institute of Physics, National
More informationFrom the definition of a surface, each point has a neighbourhood U and a homeomorphism. U : ϕ U(U U ) ϕ U (U U )
3 Riemann surfaces 3.1 Definitions and examples From the definition of a surface, each point has a neighbourhood U and a homeomorphism ϕ U from U to an open set V in R 2. If two such neighbourhoods U,
More informationFIXED POINTS OF MEROMORPHIC SOLUTIONS OF HIGHER ORDER LINEAR DIFFERENTIAL EQUATIONS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 3, 2006, 9 2 FIXED POINTS OF MEROMORPHIC SOLUTIONS OF HIGHER ORDER LINEAR DIFFERENTIAL EQUATIONS Liu Ming-Sheng and Zhang Xiao-Mei South China Normal
More informationSelected Solutions To Problems in Complex Analysis
Selected Solutions To Problems in Complex Analysis E. Chernysh November 3, 6 Contents Page 8 Problem................................... Problem 4................................... Problem 5...................................
More informationOrder and type of indeterminate moment problems and the Valent conjecture. Ryszard Szwarc (joint work with Christian Berg) Copenhagen, August, 2015
Order and type of indeterminate moment problems and the Valent conjecture Ryszard Szwarc (joint work with Christian Berg) Copenhagen, August, 2015 For an indeterminate moment problem let p n denote the
More informationComplex Analysis. Travis Dirle. December 4, 2016
Complex Analysis 2 Complex Analysis Travis Dirle December 4, 2016 2 Contents 1 Complex Numbers and Functions 1 2 Power Series 3 3 Analytic Functions 7 4 Logarithms and Branches 13 5 Complex Integration
More informationOn the Transformations of the Sixth Painlevé Equation
Journal of Nonlinear Mathematical Physics Volume 10, Supplement 2 (2003), 57 68 SIDE V On the Transformations of the Sixth Painlevé Equation Valery I GROMAK andgalinafilipuk Department of differential
More informationMACSYMA PROGRAM FOR THE PAINLEVÉ TEST FOR NONLINEAR ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
. MACSYMA PROGRAM FOR THE PAINLEVÉ TEST FOR NONLINEAR ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS Willy Hereman Mathematics Department and Center for the Mathematical Sciences University of Wisconsin at
More informationAn analogue of the Weierstrass ζ-function in characteristic p. José Felipe Voloch
An analogue of the Weierstrass ζ-function in characteristic p José Felipe Voloch To J.W.S. Cassels on the occasion of his 75th birthday. 0. Introduction Cassels, in [C], has noticed a remarkable analogy
More information8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces
8 8 THE RIEMANN MAPPING THEOREM 8.1 Simply Connected Surfaces Our aim is to prove the Riemann Mapping Theorem which states that every simply connected Riemann surface R is conformally equivalent to D,
More informationHere are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook.
Phys374, Spring 2008, Prof. Ted Jacobson Department of Physics, University of Maryland Complex numbers version 5/21/08 Here are brief notes about topics covered in class on complex numbers, focusing on
More informationELLIPTIC FUNCTIONS AND THETA FUNCTIONS
ELLIPTIC FUNCTIONS AND THETA FUNCTIONS LECTURE NOTES FOR NOV.24, 26 Historically, elliptic functions were first discovered by Niels Henrik Abel as inverse functions of elliptic integrals, and their theory
More informationGrowth of Solutions of Second Order Complex Linear Differential Equations with Entire Coefficients
Filomat 32: (208), 275 284 https://doi.org/0.2298/fil80275l Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Growth of Solutions
More informationHamiltonian partial differential equations and Painlevé transcendents
The 6th TIMS-OCAMI-WASEDA Joint International Workshop on Integrable Systems and Mathematical Physics March 22-26, 2014 Hamiltonian partial differential equations and Painlevé transcendents Boris DUBROVIN
More informationMATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD
MATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD TSOGTGEREL GANTUMUR 1. Introduction Suppose that we want to solve the equation f(z) = β where f is a nonconstant entire function and
More informationarxiv: v2 [nlin.si] 4 Oct 2017
ASYMPTOTIC BEHAVIOUR OF THE FIFTH PAINLEVÉ TRANSCENDENTS IN THE SPACE OF INITIAL VALUES NALINI JOSHI AND MILENA RADNOVIĆ arxiv:170300100v [nlinsi] 4 Oct 017 Abstract We study the asymptotic behaviour of
More informationDiagonals: Combinatorics, Asymptotics and Computer Algebra
Diagonals: Combinatorics, Asymptotics and Computer Algebra Bruno Salvy Inria & ENS de Lyon Families of Generating Functions (a n ) 7! A(z) := X n 0 a n z n counts the number of objects of size n captures
More informationTheorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r
2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such
More informationLimits in differential fields of holomorphic germs
Limits in differential fields of holomorphic germs D. Gokhman Division of Mathematics, Computer Science and Statistics University of Texas at San Antonio Complex Variables 28:27 36 (1995) c 1995 Gordon
More informationGeometric Asymptotics
Geometric Asymptotics Nalini Joshi @monsoon0 Odlyzko 011 Supported by the Australian Research Council Motion Gridlock in India http://thedailynewnation.com/news/5791/a-total-trafficchaos-at-shahbagh-intersection-in-city-as-vehicles-got-stuck-up-to-make-waythrough-the-massive-gridlock-this-photo-was-taken-on-saturday.html
More informationGluing linear differential equations
Gluing linear differential equations Alex Eremenko March 6, 2016 In this talk I describe the recent work joint with Walter Bergweiler where we introduce a method of construction of linear differential
More information