Thesisonderwerpen binnen de onderzoeksgroep klassieke analyse (Walter Van Assche) De onderwerpen sluiten aan bij het onderzoek in de afdeling Analyse (onderzoeksgroep klassieke analyse) en zijn zo gekozen dat ze toegankelijk zijn voor een masterstudent met belangstelling voor analyse. De vakken Complexe Analyse en Approximatietheorie zijn de vakken die aansluiten bij de meeste onderwerpen. Soms is het nuttig om ook Kans en maat te volgen. Afhankelijk van het onderwerp kunnen ook aspecten van numerieke wiskunde, kansrekening, maattheorie, lineaire algebra, differentiaalvergelijkingen optreden. Algemene informatie is te vinden op mijn webpagina http://www.wis.kuleuven.be/analyse/walter. Meervoudige orthogonale veeltermen Orthogonale veeltermen zijn veeltermen die voldoen aan de eigenschap b a p n (x)p m (x)dµ(x) = δ m,n, m, n 0, waarbij µ een positieve maat is op [a, b]. Zij voldoen steeds aan een drie-terms recursievergelijking xp n (x) = a n+ p n+ (x) + b n p n (x) + c n p n (x), en de recursiecoëfficiënten geven belangrijke informatie over de orthogonaliteitsmaat µ. Meervoudige orthogonale veeltermen voldoen orthogonaliteitseisen met betrekking tot meerdere positieve maten: P n (x)x k dµ j (x) = 0, k = 0,..., n j, j =,..., r, waarbij n = (n, n 2,..., n r ) en P n een veelterm is van graad n +n 2 +...+n r. Er zijn opnieuw recursievergelijkingen waarmee je de veeltermen recursief kan berekenen. In veel gevallen zullen de recursiecoëfficiënten convergeren en dan kan men de asymptotische verdeling van de nulpunten netjes beschrijven. Die
asymptotische nulpuntsverdeling kan men ook vinden als men weet hoe de maten µ,..., µ r er uit zien. In die gevallen geldt dat lim n n #{x [c, d] : P n(x) = 0} = ρ(x) dx, met n = n = n + n 2 +... + n r en ρ een positieve gewichtsfunctie die men de asymptotische nulpuntsdichtheid noemt. Deze asymptotische nulpuntsdichtheid kan men dan berekenen via een algebraische vergelijking of via een extremaalprobleem voor maten. Voor dit onderwerp zijn meerdere mogelijkheden: Het bestuderen van meervoudig orthogonale veeltermen als speciale functies. Hierbij worden de maten µ,..., µ r gegeven en zal je op zoek moeten gaan naar expliciete formules voor de bijbehorende meervoudige orthogonale veeltermen, de recursievergelijkingen en eventueel andere eigenschappen. Numerieke aspecten, zoals algoritmen voor het berekenen van de recursiecoëfficiënten en het berekenen van de nulpunten. Asymptotiek, zoals het bepalen van het asymptotisch nulpuntsgedrag of het asymptotisch gedrag van P n (x) als n. (a) Multiple orthogonal polynomials, Hoofdstuk 23 in het boek Classical and Quantum Orthogonal Polynomials in One Variable van M.E.H. Ismail; Encyclopedia of Mathematics and its Applications 98, Cambridge University Press, 2005. (b) A.I. Aptekarev, A. Branquinho, W. Van Assche: Multiple orthogonal polynomials for classical weights, Trans. Amer. Math. Soc. 355 (2003), 3887 394. [ (c)] W. Van Assche, E. Coussement: Some classical multiple orthogonal polynomials, J. Comput. Appl. Math. 27 (200), 37 347. 2
2. Orthogonale veeltermen op de eenheidscirkel Orthogonale veeltermen op de eenheidscirkel voldoen aan de orthogonaliteitseisen 2π 0 ϕ n (z)ϕ m (z)dµ(θ) = δ m,n, z = e iθ, waarbij µ een positieve maat is op de eenheidscirkel T = { z = }. Recent is er een set van twee boeken [(a)] verschenen met heel wat klassieke en nieuwe resultaten over zulke veeltermen. In het bijzonder zijn we geïnteresseerd in de orthogonale veeltermen met gewichtsfunctie w(θ) = exp(t cos θ), met t R een parameter. Deze zijn van belang bij de studie van unitaire random matrices en de recursiecoëfficiënten zijn interessant want ze voldoen aan een stel differentiaalvergelijkingen (in de veranderlijke t) en aan een niet-lineaire recursie van Painlevé type (in de veranderlijke n). Het is de bedoeling dat deze differentiaalvergelijkingen en recursievergelijkingen worden bestudeerd en hun verband met unitaire random matrices wordt uitgewerkt. Ook het asymptotisch gedrag van de recursiecoëfficiënten (als t ± en als n kan worden bestudeerd. (a) B. Simon, Orthogonal Polynomials on the Unit Circle, Part and Part 2, Amer. Math. Soc. Colloq. Publ. 54, 2004. (b) M.E.H. Ismail, Classical and Quantum Orthogonal Polynomials in One Variable, Cambridge University Press, 2005. (c) V. Periwal, D. Shevitz, Unitary-matrix models as exactly solvable string theories, Phys. Rev. Lett. 64 (990), 326 329. 3
3. Het spectrum van Jacobi matrices Indien we de recursiecoëfficiënten van orthogonale veeltermen in een matrix plaatsen dan geeft dit een Jacobi matrix b 0 a 0 0 a b a 2 0 J = 0 a 2 b 2 a 3 0 0 0 a 3 0 0 0 Als deze operator zelftoegevoegd is komt het spectrum overeen met de drager van de orthogonaliteitsmaat en de spectraalmaat is precies de orthogonaliteitsmaat. Vaak kennen we de recursiecoëfficiënten en willen we uit eigenschappen van deze a n en b n informatie krijgen over de orthogonaliteitsmaat. Voor onbegrensde recursiecoëfficiënten heeft Chihara een aantal interessante resulaten gevonden. Bijvoorbeeld als lim n b n = + met inf b n = en sup b n = +, en als lim sup n a 2 n b n b n+ < 4, dan zal het spectrum geen eindige ophopingspunten hebben [(a)]. Het geval waarbij lim b a 2 n n = +, lim = n n b n b n+ 4 is interessant. Het supremum van het spectrum is + maar het infimum kan zijn of eindig en het is mogelijk dat er geen eindige ophopingspunten zijn [(b)]. Het is de bedoeling deze resultaten te bestuderen en om beter inzicht te krijgen in het spectrum van deze onbegrensde Jacobi matrices. (a) T.S. Chihara, Orthogonal polynomials with discrete spectra on the real line, J. Approx. Theory 42 (984), 97-05. http://dx.doi.org/0.06/002-9045(84)90059-5 (b) T.S. Chihara, The one-quarter class of orthogonal polynomials, Rocky Mountain J. math. 2 (99), 2 37. 4
4. Een bijzondere singuliere kansmaat op [0,] Een singuliere kansmaat op [0, ] is een kansmaat met alle massa op een verzameling A die Lebesguemaat nul heeft. De afgeleide van de verdelingsfunctie is bijna overal gelijk aan nul. Zulke maten komen vaak tevoorschijn bij iteratieve constructies (fractals). Een standaardvoorbeeld is de Cantorverdeling waarvoor A de Cantorverzameling is. Een boeiend voorbeeld is de vraagtekenfunctie van Minkowski. Deze functie wordt gegeven door?(x) = 2 k= ( ) k+ 2 a +a 2 +a 3 + +a k, (een voorbeeld van onhandige notatie met dat vraagteken) waarbij x gegeven wordt door de standaardkettingbreuk x = a + a 2 + a 3 + a 4 +, a k N. Het is de bedoeling de eigenschappen van deze functie te bestuderen. Een open probleem is het gedrag van de Fouriercoëfficiënten van deze functie c n = 0 cos(2πnx)d?(x). Voor absoluut continue functies gaan deze naar nul als n (Riemann- Lebesgue lemma), maar dat hoeft zo niet te zijn voor singuliere functies. (a) Minkowski s question mark function, Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/minkowski%27s-question_mark_function (b) R. Salem, On some singular monotonic functions which are strictly increasing, Trans. Amer. Math. Soc. 53 no. 3 (943), 427 439. (c) M. Kesseböhmer, B.O. Stratmann, Fractal analysis for sets of nondifferentiability of Minkowski s question mark function, J. Number Theory 28 (2008), no. 9, 2663-2686. 5
0.8 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8 x Figure : Minkowski s vraagtekenfunctie 6
5. Painlevé vergelijkingen Painlevé vergelijkingen zijn belangrijke niet-lineaire differentiaalvergelijkingen. Picard stelde het probleem om alle differentiaalvereglijkingen van tweede orde te bepalen waarvan de oplossingen geen singulariteiten heeft (behalve geïsoleerde singulariteiten zoals polen) die van de beginvoorwaarden afhangen. Painlevé vond een lijst van een vijftigtal differentiaalvergelijkingen. De meeste van deze vergelijkingen waren reeds bekend of zijn linear. Zes vergelijkingen waren nog niet bekend en we kennen ze nu als de Painlevé vergelijkingen y y = 6y 2 + x = 2y 3 + xy + α y = (y ) 2 y y x + αy2 + β + δ x y y = (y ) 2 2y + 3y3 2 + 4xy2 + 2(x 2 α)y + β y ( y = 2y + ) ( (y ) 2 y (y )2 + αy + β ) + γy δy(y + ) + y x x 2 y x y y = ( 2 y + y + ) ( (y ) 2 y x x + x + ) y y x ( y(y )(y x) + α + βx ) γ(x ) δx(x ) + +. x 2 (x ) 2 y2 (y ) 2 (y x) 2 Het is de bedoeling dat wordt opgezocht hoe men aan deze vergelijkingen komt en welke eigenschappen deze vergelijkingen hebben. Enkele speciale oplossingen (rationale functies en speciale functies) kunnen worden bekeken en hun asymptotiek kan worden bestudeerd. (a) R. Conte (ed.): The Painlevé property: one century later, CRM Series in Mathematical Physics, Springer, Berline, 999. (b) P.A. Clarkson: Painlevé equations nonlinear special functions, J. Comput. Appl. Math. 53 (2003), 27 40. 7