DOCSLIB.ORG

Effective Ways of Solving Some Pdes with Complicated Boundary Conditions on Unbounded Domains

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Effective Ways of Solving Some Pdes with Complicated Boundary Conditions on Unbounded Domains Effective ways of solving some PDEs with complicated Boundary Conditions on Unbounded domains Anastasia V. Kisil, Royal Society Dorothy Hodgkin Fellow, University of Manchester, partly in collaboration with Matthew Priddin, Dr Lorna Ayton and Matthew Colbrook. Overview • Introduction to Wiener–Hopf technique, pole removal and factorisation • Conformal mapping and Rational approximations using Chebfun • Iterative method for n by n matrix equations. • Numerically effective by expanding in vanishing basis of Chebyshev polynomials, using APPROXFUN.JL and SINGULARINTEGRALEQUATIONS.JL • Separation of variables in elliptic coordinates, Mathieu functions • Numerically effective solution which works for varying porosity and elasticity Open Problem by Sheehan Olver • Numerically solving oscillatory Wiener-Hopf problems like the ones that will be shortly introduced. • Computing oscillatory Hilbert (or equivalently Cauchy) transforms • The answer to adequately separate out oscillatory and non-oscillatory behaviour The Classic Wiener–Hopf method Find the functions Φ+(α) and Ψ-(α) such that A(α)Φ+(α) + Ψ-(α) + C(α) = 0, on a strip around the real axis, where A(α) and C(α) are given and are analytic on the strip. Classic Wiener–Hopf method relies on multiplicative factorising -1 A(α) = A+(α)(A-(α)) followed by additive decomposing - + C(α)A-(α) = (C(α)A-(α)) + (C(α)A-(α)) the forcing term. + - A+(α)Φ+(α) + (C(α)A-(α)) = -A-(α)Ψ-(α)-(C(α)A-(α)) Cannot solve matrix Wiener–Hopf equations in this way. The W–H Pole Removal (Singularities Matching) Suppose that A(α) is rational, then we can solve A(α)Φ+(α) + Ψ-(α) + C(α) = 0, without multiplicative factorisation. - + Perform an additive split A(α)Φ+(α) = (A(α)Φ+(α)) + (A(α)Φ+(α)) and C(α) = C+(α) + C-(α). - n Ai Since A(α) is rational can write (A(α)Φ+(α)) = where αi i=0 α-αi are the poles in the upper half-plane, and Ai constants (residues at αi). P n n Ai + Ai - A(α)Φ+(α)- + C (α) = -Ψ-(α)- - C (α), α - αi α - αi i= i= X0 X0 Reduced the problem to a linear system of equations (by setting α = αi). Idea: do a rational approximation of A(α) and then apply pole removal 1 0.95 0.9 0.85 0.8 0.75 0.7 0.65 0.6 0.55 0.5 −50 −40 −30 −20 −10 0 10 20 30 40 50 q (y2+1) Figure: Showing the function to be approximated F(y) = (y2+22) . Function mapped to the interval 1 0.95 0.9 0.85 0.8 0.75 0.7 0.65 0.6 0.55 0.5 −1 −0.8 −0.6 −0.4 −0.2 0 0.2 0.4 0.6 0.8 1 q 2 Figure: Showing the new function to be approximated F(x) = 5-3z Error of the mapped function x 10−12 6 4 2 0 −2 −4 −6 −1 −0.5 0 0.5 1 Figure: Showing the error in approximating F(x) by [5,5] done by cf in Chebfun Error on the real line of the factors x 10−12 14 12 10 8 6 4 2 0 −2 −100 −50 0 50 100 Figure: The error in approximating F(y) by [10,10] (solid green curves) and the error after it is split in factors, jF+(y)- F˜+(y)j (dotted red curve). Poles and Zeros 2 1.5 1 0.5 0 −0.5 −1 −1.5 −2 −2 −1 0 1 2 x 10−7 Figure: The poles and zeroes in approximating F(y) by [10,10] the poles are filled in red circles whereas the zeroes are green circles. The scale of the x-axis is 10-7. sqrt((z.2+1)./(z.2+4)) −3 −3 −2 −2 −1 −1 0 0 1 1 2 2 −3 −2 −1 0 1 2 −3 −2 −1 0 1 2 Figure: Contour lines for the real and imaginary are superimposed on a full colour image using a colour scheme developed by John Richardson. Red is real, blue is positive imaginary, green is negative imaginary, black is small magnitude and white is large magnitude. Branch cuts appear as colour discontinuities and coalescent contour lines. Produced using zviz.m 0 L Acoustic plane wave incident pi = exp(-ik0x cos θi - ik0y sin θi) The scattered pressure is governed by Helmholtz (reduced wave) equation @ @ + + k2 φ = 0. @x2 @y2 On the rigid wall and porous wall ∂φ = ik sin θ exp(-ik cos θ ), y = 0, - < x < 0, @y 0 i 0 i ∂φ ρ0 - ik0 sin θi exp(-ik0 cos θi) = 2 φ(x, 0),1 y = 0, 0 < x < L, @y m Fourier Transforms Define half range and full range Fourier transform with respect to x = 0: 0 Φ(α, y) = φ(ξ, y)eiαξdξ + φ(ξ, y)eiαξdξ (8) Z- Z01 =Φ(0)(α, y) + Φ(0)(α, y) (9) -1 + And the Fourier transform with respect to the point x = L: L Φ(L)(α, y) = φ(ξ, y)eiα(ξ-L)dξ + φ(ξ, y)eiα(ξ-L)dξ (10) Z- ZL1 =Φ(L)(α, y) + Φ(L)(α, y) (11) -1 + The relation between the transforms is: Φ(L)(α, y) = Φ(α, y)eiαL The Wiener–Hopf Equation By taking Fourier transform of the governing equation and the boundary condition a matrix Wiener-Hopf equation can be obtained: ! -γ(α)P(α) ! ! Φ(0)(α) 1 P(α)eiαL Φ0(0)(α) f (α) - = - γ(α) + + 1 , (L) 1 -iαL 0(L) f (α) Φ- (α) γ(α) e 0 Φ+ (α) 2 q -m 2 2 Here P = 2ρ and γ(α) = α - k0. The Wiener–Hopf Factorisation A partial factorisation is -iαL ! ! -e 1-γP Φ(0) P- P- - (12) 1 0 (L) P- Φ- ! 0(0)! 0 -P+ Φ+ f3 = P+ iαL + , (13) - P P e 0(L) f γP + + Φ+ 4 or re-arranged -e-iαL 1 ! (0)! (L) ! Φ -γP+Φ- P- P- - + (14) 1 0 Φ(L) - 1 Φ0(0) P- - γP- + ! 0 -P Φ0(0) f = + + + 3 , (15) -P P eiαL 0(L) f + + Φ+ 4 General Setting This method could be used for a general W-H equation of the form ! ! Φ(0)(α) A(α) B(α)eiαL Ψ(0)(α) f (α) - = + + 1 , (L) C(α)e-iαL 0 (L) f (α) Φ- (α) Ψ+ (α) 2 like before we would like to consider - - - (L)n - + (L)n -iαL - (0)n - K1 Φ- =f3 - K1 Φ- + e K3 Ψ+ + f1 , + + + (0)n + - (0)n iαL + (L)n-1 + K3 Ψ+ =f1 - K3 Ψ+ + e K1 Φ- + f3 , where K = A and K = A . 1 CB- 3 B- Convergence Theorem For sufficiently large L there exists a constant q < 1 such that (L)n+1 (L)n a (L)n (L)n-1 a kΦ- - Φ- k2 6 qkΦ- - Φ- k2 , for all n and, hence, the error at the n-th iteration is qn kΦ(L)n - Φ(L)ka kΦ(L)0 - Φ(L)1ka. - - 2 6 1 - q - - 2 (0)n Analogous statements are true for Ψ+ . Example: Integral Equation Consider the following (one-sided) integral equation (first considered by Wickham & Abrahams and recently by Antipov) u(x) = λ k(x - t)u(t)dt + f(x), 0 < x < (28) Z01 with the matrix kernel given by 1 e-jxj e-jx-Lj (29) e-jx+Lj e-jxj This integral equation is reduced to a Wiener–Hopf equation by extending the range of x and applying the Fourier transform. 0.3 0.2 0.1 0 -0.1 -0.2 -0.3 -10 -5 0 5 10 (1) (1)0 Figure: Showing the real part of U+ (solid black line), U+ (red dotted line) (1)1 and U+ (blue dashed line). The parameters are λ = -15 and L = 0.04. Two rigid strips The boundary value problem for φ is governed by Helmholz equation @ @ + + k2 φ = 0, @x2 @y2 ∂φt with Newmann conditions (hard) @y = 0 valid on the strips. The boundary conditions for φs are ∂φ (x, 0±) s = ik sin θ exp(-ik cos θ ) a < x < a a < x < a , @y 0 i 0 i 1 2 3 4 φs(x, 0) = 0 for, - < x < a1, a2 < x < a3 and a4 < x < , and Sommerfeld radiation1 condition at infinity. 1 Fourier transforms The unknown Fourier transforms are a1 ∂φ(ξ, y) V (α, y) = eiαξdξ, 1 @y Z- a2 iαξ V2(α, y) = 1φ(ξ, y)e dξ, Za1 a3 ∂φ(ξ, y) V (α, y) = eiαξdξ, 3 @y Za2 a4 iαξ V4(α, y) = φ(ξ, y)e dξ, Za3 ∂φ(ξ, y) V (α, y) = eiαξdξ. 5 @y Za14 The 4 by 4 Wiener–Hopf Equation The kernel of Wiener–Hopf Equation is 0 Ke i(a3-a4)α Kei(a2-a4)α ei(a1-a4)α1 B 00 ei(a2-a1)α 0 C B C @ 0 ei(a3-a2)α 00 A ei(a4-a3)α 000 p with K = α2 - k2. And the plus and minus functions defined as ( ) ( ) 0 1 1 0 -ia α 1 0 1 1 0 -ia α 1 Ψ- e 4 V4 Ψ+ e 4 V5 (2) -ia α (2) -ia α BΨ C Be 3 V3C BΨ C Be 1 V2C B - C = B C , B + C = B C . B (3)C e-ia2αV B (3)C e-ia2αV Ψ- @ 2A Ψ+ @ 3A @ A -ia α @ A -ia α (4) e 1 V1 (4) e 3 V4 Ψ- Ψ+ Re-arrangement In a systematic way can re-arrange (a -a ) (a -a ) (a -a ) 0 (1)1 0KE 3 4 KE 2 4 E 1 4 1 Ψ- 0 F 1 (2) B01 KE(a2-a3) E(a1-a3)C BΨ C BE(a4-a3)FC B C B - C = B C - KE (a1-a2) B (3)C E(a4-a2)F @00 A @Ψ- A @ A 0001 (4) E(a4-a1)F Ψ- 0 (1)1 0 -1000 1 Ψ+ (4) B-E(a4-a3) K 00 C BΨ C - B C B + C -E(a4-a2) KE(a3-a2) 10 B (3)C @ A @Ψ+ A -E(a4-a1) KE(a3-a1) E(a2-a1) K (2) Ψ+ where Eb = eibα The ‘vanishing basis’ of Chebyshev polynomials Expanding h(s) in Chebyshev polynomials of the first kind Tj: nc-1 h(s) = ajTj(s) (33) j= X0 The ‘vanishing basis’ of Chebyshev polynomials of the first kind, given by z z z T0 (s) = 1, T1 (s) = s, Tj (s) = Tj(s)- Tj-2(s), for j > 2 (34) whose Cauchy transforms against the weight w(s) take the simple form 1 1 T z(s) j-1 j w(s)s = i J-1(α) j 2 (35) 2πi s - α .
Load more

Recommended publications
  • Mathieu Functions for Purely Imaginary Parameters
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Computational and Applied Mathematics 236 (2012) 4513–4524 Contents lists available at SciVerse ScienceDirect Journal of Computational and Applied Mathematics journal homepage: www.elsevier.com/locate/cam Mathieu functions for purely imaginary parameters C.H. Ziener a,d,∗, M. Rückl b,c, T. Kampf c, W.R. Bauer d, H.P. Schlemmer a a German Cancer Research Center - DKFZ, Department of Radiology, Im Neuenheimer Feld 280, 69120 Heidelberg, Germany b Humboldt-University Berlin, Department of Physics, Newtonstraße 15, 12489 Berlin, Germany c Julius-Maximilians-Universität Würzburg, Experimentelle Physik 5, Am Hubland, 97074 Würzburg, Germany d Julius-Maximilians-Universität Würzburg, Medizinische Klinik I, Oberdürrbacher Straße 6, 97080 Würzburg, Germany article info a b s t r a c t Article history: For the Mathieu differential equation y00.x/CTa−2q cos.x/Uy.x/ D 0 with purely imaginary Received 23 December 2011 parameter q D is, the characteristic value a exhibits branching points. We analyze the Received in revised form 24 April 2012 properties of the Mathieu functions and their Fourier coefficients in the vicinity of the branching points. Symmetry relations for the Mathieu functions as well as the Fourier Keywords: coefficients behind a branching point are given. A numerical method to compute Mathieu Mathieu functions functions for all values of the parameter s is presented. Numerical computation ' 2012 Elsevier B.V. All rights reserved. 1. Introduction Many problems in physics can be expressed as partial differential equations and the main task that remains is to find mathematical solutions of these equations that fit the physical initial and boundary conditions.
    [Show full text]
  • Combinatorial Approach to Mathieu and Lam\'E Equations
    Combinatorial approach to Mathieu and Lam´eequations Wei He1, a) 1Center of Mathematical Sciences, Zhejiang University, Hangzhou 310027, China 2Instituto de F´ısica Te´orica, Universidade Estadual Paulista, Barra Funda, 01140-070, S˜ao Paulo, SP, Brazil Based on some recent progress on a relation between four dimensional super Yang- Mills gauge theory and quantum integrable system, we study the asymptotic spec- trum of the quantum mechanical problems described by the Mathieu equation and the Lam´eequation. The large momentum asymptotic expansion of the eigenvalue is related to the instanton partition function of supersymmetric gauge theories which can be evaluated by a combinatorial method. The electro-magnetic duality of gauge theory indicates that in the parameter space there are three asymptotic expansions for the eigenvalue, we confirm this fact by performing the WKB analysis in each asymptotic expansion region. The results presented here give some new perspective on the Floquet theory about periodic differential equation. PACS numbers: 12.60.Jv, 02.30.Hq, 02.30.Mv Keywords: Seiberg-Witten theory, instanton partition function, Mathieu equation, Lam´eequation, WKB method arXiv:1108.0300v6 [math-ph] 27 Jul 2015 a)Electronic mail: [email protected] 1 CONTENTS I. Introduction 3 II. Differential equations and gauge theory 4 A. The Mathieu equation 4 B. The Lam´eequation 5 C. The spectrum of Schr¨odinger operator and quantum gauge theory 8 III. Spectrum of the Mathieu equation 9 A. Combinatorial evaluating in the electric region 10 B. Extension to other regions 11 IV. Combinatorial approach to the Lam´eeigenvalue 13 A. Identify parameters 14 B.
    [Show full text]
  • Resurgence and the Nekrasov-Shatashvili Limit
    Published for SISSA by Springer Received: January 26, 2015 Accepted: February 6, 2015 Published: February 25, 2015 Resurgence and the Nekrasov-Shatashvili limit: connecting weak and strong coupling in the Mathieu JHEP02(2015)160 and Lam´esystems G¨ok¸ceBa¸sara and Gerald V. Dunneb aMaryland Center for Fundamental Physics, University of Maryland, College Park, MD, 20742, U.S.A. bDepartment of Physics, University of Connecticut, Storrs CT 06269, U.S.A. E-mail: [email protected], [email protected] Abstract: The Nekrasov-Shatashvili limit for the low-energy behavior of N = 2 and N = 2∗ supersymmetric SU(2) gauge theories is encoded in the spectrum of the Mathieu and Lam´eequations, respectively. This correspondence is usually expressed via an all- orders Bohr-Sommerfeld relation, but this neglects non-perturbative effects, the nature of which is very different in the electric, magnetic and dyonic regions. In the gauge theory dyonic region the spectral expansions are divergent, and indeed are not Borel-summable, so they are more properly described by resurgent trans-series in which perturbative and non- perturbative effects are deeply entwined. In the gauge theory electric region the spectral expansions are convergent, but nevertheless there are non-perturbative effects due to poles in the expansion coefficients, and which we associate with worldline instantons. This provides a concrete analog of a phenomenon found recently by Drukker, Mari˜noand Putrov in the large N expansion of the ABJM matrix model, in which non-perturbative effects are related to complex space-time instantons. In this paper we study how these very different regimes arise from an exact WKB analysis, and join smoothly through the magnetic region.
    [Show full text]
  • Surface Motion of a Half-Space Containing an Elliptical-Arc Canyon Under Incident SH Waves
    mathematics Article Surface Motion of a Half-Space Containing an Elliptical-Arc Canyon under Incident SH Waves Hui Qi, Fuqing Chu *, Jing Guo * and Runjie Yang College of Aerospace and Civil Engineering, Harbin Engineering University, Harbin 150001, China; [email protected] or [email protected] (H.Q.); [email protected] (R.Y.) * Correspondence: [email protected] (F.C.); [email protected] or [email protected] (J.G.) Received: 21 September 2020; Accepted: 23 October 2020; Published: 30 October 2020 Abstract: The existence of local terrain has a great influence on the scattering and diffraction of seismic waves. The wave function expansion method is a commonly used method for studying terrain effects, because it can reveal the physical process of wave scattering and verify the accuracy of numerical methods. An exact, analytical solution of two-dimensional scattering of plane SH (shear-horizontal) waves by an elliptical-arc canyon on the surface of the elastic half-space is proposed by using the wave function expansion method. The problem of transforming wave functions in multi-ellipse coordinate systems was solved by using the extra-domain Mathieu function addition theorem, and the steady-state solution of the SH wave scattering problem of elliptical-arc depression terrain was reduced to the solution of simple infinite algebra equations. The numerical results of the solution are obtained by truncating the infinite equation. The accuracy of the proposed solution is verified by comparing the results obtained when the elliptical arc-shaped depression is degraded into a semi-ellipsoidal depression or even a semi-circular depression with previous results.
    [Show full text]
  • Introduction to Mathieu Functions
    University of Montana ScholarWorks at University of Montana Graduate Student Theses, Dissertations, & Professional Papers Graduate School 1964 Introduction to Mathieu functions Dennis Charles Pilling The University of Montana Follow this and additional works at: https://scholarworks.umt.edu/etd Let us know how access to this document benefits ou.y Recommended Citation Pilling, Dennis Charles, "Introduction to Mathieu functions" (1964). Graduate Student Theses, Dissertations, & Professional Papers. 8092. https://scholarworks.umt.edu/etd/8092 This Thesis is brought to you for free and open access by the Graduate School at ScholarWorks at University of Montana. It has been accepted for inclusion in Graduate Student Theses, Dissertations, & Professional Papers by an authorized administrator of ScholarWorks at University of Montana. For more information, please contact [email protected]. AN INTRODUCTION TO MATHIEU FUNCTIONS by DENNIS CHARLES PILLING B,A. Western Washington State College, 19^2 Presented in partial fulfillment of the requirements for the degree of Master of Arts MONTANA STATE UNIVERSITY 1964 Approved by : Chairman, Board of Examiners Dea^,/Graduate School cy' Date Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. UMI Number: EP38893 All rights reserved INFORMATION TO ALL USERS The quality of this reproduction is dependent upon the quality of the copy submitted. In the unlikely event that the author did not send a complete manuscript and there are missing pages, these will be noted. Also, if material had to be removed, a note will indicate the deletion. UMT Oisssrtation Publishing UMI EP38893 Published by ProQuest LLO (2013). Copyright in the Dissertation held by the Author.
    [Show full text]
  • A Mathieu Function Boundary Spectral Method for Scattering by Multiple Variable Poro-Elastic Plates, with Applications to Metama
    A Mathieu function boundary royalsocietypublishing.org/journal/rspa spectral method for scattering by multiple variable poro-elastic plates, with Research Cite this article: Colbrook MJ, Kisil AV. 2020 A applications to metamaterials Mathieu function boundary spectral method and acoustics for scattering by multiple variable poro-elastic plates, with applications to metamaterials and Matthew J. Colbrook1 and Anastasia V. Kisil2 acoustics. Proc.R.Soc.A476: 20200184. http://dx.doi.org/10.1098/rspa.2020.0184 1Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Wilberforce Road, Cambridge CB3 0WA, UK Received: 17 March 2020 2Department of Mathematics, The University of Manchester, Accepted: 10 August 2020 Manchester, M13 9PL, UK MJC, 0000-0003-4964-9575; AVK, 0000-0001-7652-5880 Subject Areas: applied mathematics, computational Many problems in fluid mechanics and acoustics can mathematics, differential equations be modelled by Helmholtz scattering off poro-elastic plates. We develop a boundary spectral method, based on collocation of local Mathieu function Keywords: expansions, for Helmholtz scattering off multiple boundary spectral methods, Mathieu variable poro-elastic plates in two dimensions. Such functions, acoustic scattering, poro-elastic boundary conditions, namely the varying physical boundary conditions, metamaterials parameters and coupled thin-plate equation, present a considerable challenge to current methods. The new Author for correspondence: method is fast, accurate and flexible, with the ability to compute expansions in thousands (and even tens Matthew J. Colbrook of thousands) of Mathieu functions, thus making it e-mail: [email protected] a favourable method for the considered geometries. Comparisons are made with elastic boundary element methods, where the new method is found to be faster and more accurate.
    [Show full text]
  • The Solution of the Raman-Nath Equations Ii
    DIFFRACTION OF LIGHT BY SUPERSONIC WAVES: THE SOLUTION OF THE RAMAN-NATH EQUATIONS II. The Exact Solution BY ROBERT MERTENS (Rijksuniversiteit Gent. Seminarie voor Analytische Mechanica, Gent, Beigium) AND FREDERIK KULIASKO (RijksuniverMteit Gent. Seminarie voor Wiskundige Natuurkunde, Gent, Belglum) Received January 1, 1968 (Communicated by Sir C. V. Raman, V.R.S., Nobel Laureate) A~STRACT The partial differential equation associated with the system of differ- ence-differential equations of Raman-Nath for the amplitudes of the diffracted light-waves is solved exactly by the method of the separation of the variables. The solution is presented asa double in¡ series con- taining the Fourier coefficients of the even periodir Mathieu functions with period zr and the corresponding eigenvalues. Considering this solu- tion asa Laurent series in one of the variables, the Laurent coetª immediately give the exact expressions for the amplitudes of the diffrac- red light-waves, from which the formulae for the intensities are caleu- late& The connection between the Raman-Nath method and Brillouin's Mathieu function method has thus been achieved. 1. II'~TRODUCTION ThE problem of the diffra•tion of light by a supersonie wave has given ¡ to two important methods of solution: (1)the method of Brillouin1 based on the expansion of the solution of the wave equation into a series of Mathieu functions; (2) the method of Raman-Nath 2 starting from a Fourier expan- sion of the solution of the wave equation and leading to a system of diffcrence-differential cquations for the amplitudes of the diffracted light- waves. B¡ exposed his method in the case of a standing ultrasonic wave.
    [Show full text]
  • Ntheory and Numerical Analysis of the Mathieu Functionso
    “Theory and numerical analysis of the Mathieu functions” v. 2.11 (August 2008) by Dr. Julio C. Gutiérrez-Vega e-mail: [email protected] http://homepages.mty.itesm.mx/jgutierr/ Monterrey, Nuevo-León, México Cite this material as: Julio C. Gutiérrez-Vega, “Formal analysis of the propagation of invariant optical …elds in elliptic coordinates,”Ph. D. Thesis, INAOE, México, 2000. [http://homepages.mty.itesm.mx/jgutierr/] i ii Contents 1 Introduction 1 1.1 Elliptical-cylindrical coordinate system . 1 1.2 Wave and Helmholtz equations in elliptic coordinates . 3 2 Theory of the elliptic-cylinder functions 5 2.1 Mathieu di¤erential equations . 5 2.2 Solution of the Angular Mathieu equation . 6 2.2.1 Recurrence relations for the coe¢ cients . 8 2.2.2 Characteristic values am and bm ................................. 9 2.2.3 Characteristic curves a(q) and b (q) ................................ 10 2.2.4 Orthogonality and normalization . 12 2.2.5 Asymptotic behavior of Angular solutions when q 0 ..................... 12 ! 2.2.6 Angular solutions with q < 0 ................................... 12 2.3 Solution of the Radial Mathieu equation . 13 2.3.1 Case q > 0, First kind solutions Jem and Jom,[J-Bessel type] . 14 2.3.2 Case q > 0, Second kind solutions Nem and Nom,[N-Bessel type] . 15 2.3.3 Case q < 0, First kind solutions Iem and Iom,[I-Bessel type] . 16 2.3.4 Case q < 0, Second kind solutions Kem and Kom,[K-Bessel type] . 16 2.3.5 General radial solution of integral order . 17 2.3.6 Mathieu-Hankel solutions .
    [Show full text]
  • On Spectral Approximations in Elliptical Geometries Using Mathieu Functions
    MATHEMATICS OF COMPUTATION Volume 78, Number 266, April 2009, Pages 815–844 S 0025-5718(08)02197-2 Article electronically published on November 20, 2008 ON SPECTRAL APPROXIMATIONS IN ELLIPTICAL GEOMETRIES USING MATHIEU FUNCTIONS JIE SHEN AND LI-LIAN WANG Abstract. We consider in this paper approximation properties and applica- tions of Mathieu functions. A first set of optimal error estimates are derived for the approximation of periodic functions by using angular Mathieu func- tions. These approximation results are applied to study the Mathieu-Legendre approximation to the modified Helmholtz equation and Helmholtz equation. Illustrative numerical results consistent with the theoretical analysis are also presented. 1. Introduction The Mathieu functions were first introduced by Mathieu in the nineteenth cen- tury, when he determined the vibrational modes of a stretched membrane with an el- liptic boundary [27]. Since then, these functions have been extensively used in many areas of physics and engineering (cf., for instance, [25, 23, 19, 4, 21, 5, 32, 8, 17]), and many efforts have also been devoted to analytic, numerical and various other aspects of Mathieu functions (cf., for instance, [26, 6, 3, 36]). A considerable amount of mathematical results of Mathieu functions are contained in the books [28, 29, 1]. However, most of these results are concerned with classical properties such as identi- ties, recursions and asymptotics. To the best of our knowledge, there are essentially no results on their approximation properties (in Sobolev spaces) which are neces- sary for the analysis of spectral methods using Mathieu functions. A main objective of this paper is to derive a first set of optimal approximation results for the Math- ieu functions.
    [Show full text]
  • J. A. Richards
    Communications and Control Engineering Series Editors: A. Fettweis· J. L. Massey· M. Thoma J. A. Richards Analysis of Periodically Time¥arying Systems With 73 Figures Springer-Verlag Berlin Heidelberg New York 1983 J. A. RICHARDS School of Electrical Engineering and Computer Science University of New South Wales P.O. Box 1 Kensington, N.S.W. 2033, Australia ISBN-13:978-3-642-81875-2 e-ISBN-13:978-3-642-81873-8 DOl: 10.1007/978-3-642-81873-8 Library of Congress Cataloging in Publication Data Richards, John Alan, 1945-. Analysis of periodically time-varying systems. (Communications and control engineering series) Bibliography: p. Includes index. 1. System analysis. I. Title. II. Series. QA402.R47 1983 003 82-5978 AACR2 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to .Verwertungsgesellschaft Wort«, Munich. © Springer-Verlag Berlin, Heidelberg 1983 Softcover reprint of the hardcover 1st edition 1983 The use of registered names, trademarks, etc. in this publication does not imply, even in the absence ofa specific statement, that such names are exempt from tbe relevant protective laws and regulations and therefore free for general use. Typesetting: Asco Trade Typesetting Ltd., Hong Kong 206113020-543210 To Dick Huey Preface Many of the practical techniques developed for treating systems described by periodic differential equations have arisen in different fields of application; con­ sequently some procedures have not always been known to workers in areas that might benefit substantially from them.
    [Show full text]
  • Examples of Heun and Mathieu Functions As Solutions of Wave
    Examples of Heun and Mathieu Functions as Solutions of Wave Equations in Curved Spaces 1 T.Birkandan∗ and M. Horta¸csu∗† ∗Department of Physics, Istanbul Technical University, Istanbul, Turkey. †Feza G¨ursey Institute, Istanbul, Turkey. February 4, 2008 Abstract We give examples where the Heun function exists as solutions of wave equations encountered in general relativity. As a new example we find that while the Dirac equation written in the background of Nutku helicoid metric yields Mathieu functions as its solutions in four space- time dimensions, the trivial generalization to five dimensions results in the double confluent Heun function. We reduce this solution to the Mathieu function with some transformations. PACS number: 04.62.+v arXiv:gr-qc/0607108v3 23 Jan 2007 1E-mail addresses: [email protected], [email protected] 1 1 Introduction Most of the theoretical physics known today is described by a rather few num- ber of differential equations. If we study only linear problems, the different special cases of the hypergeometric or the confluent hypergeometric equa- tion often suffice to analyze scores of different phenomena. These are two equations of the Fuchsian type with three regular singular points and one regular, one irregular singular point respectively. Both of these equations have simple recursion relations between two consecutive coefficients when a power expansion solution is attempted. This fact gives in many instances sufficient information on the general behavior of the solution. If the problem is nonlinear, one can usually fit the equation describing the process to one of the different forms of the Painlev´eequations [1].
    [Show full text]
  • Analytical Approach for Description of Ion Motion in Quadrupole Mass Spectrometer
    Analytical Approach for Description of Ion Motion in Quadrupole Mass Spectrometer Vladimir I. Baranov MDS SCIEX, Concord, Ontario, Canada Implementation of the analytical method of the solution of the Mathieu equation in conjunc- tion with the algebraic presentation of Mathieu functions is discussed in this work. This approach is used for the analytical expression of fundamental properties of the quadrupole field such as ion trajectory stability and transmission. Extensive comparison with the matrix method is presented with demonstration of the fundamental advantages of the analytical method. However, contrary to the matrix method, the analytical method is limited to the cos trapping waveforms. (J Am Soc Mass Spectrom 2003, 14, 818–824) © 2003 American Society for Mass Spectrometry he recent development of algebraic methods to trajectory over only one cycle. The major limitation of compute Mathieu functions [1–3] has a potential this method is associated with the absence of an ana- Tto simplify significantly the theoretical descrip- lytical expression for the ion trajectory and, as a result, tion of the motion of ions in a quadrupole trap. As a the necessity to involve the numerical method for result of this progress the algebraic aspects of Mathieu averaging of the ion beam properties in the presence of functions were implemented in computer algebra sys- the trapping potentials and collisions. The matrix tems such as Mathematica [4] covering a broad range of method is used in the present work for direct compar- a and q parameters. In addition to the obvious conve- ison. The analytical method allows the analytical for- nience of the analytical method of solution of the mulation of an ion trajectory over an unlimited number Mathieu equation in conjunction with the algebraic of cycles and does not need the matrix method.
    [Show full text]