DOCSLIB.ORG

Riemann-Liouville Fractional Calculus of Coalescence Hidden-Variable Fractal Interpolation Functions

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Riemann-Liouville Fractional Calculus of Coalescence Hidden-Variable Fractal Interpolation Functions Riemann-Liouville Fractional Calculus of Coalescence Hidden-variable Fractal Interpolation Functions Srijanani Anurag Prasad Department of Applied Sciences, The NorthCap University, Gurgaon 6th Cornell Conference on Analysis, Probability, and Mathematical Physics on Fractals June 13-17, 2017 S.A.Prasad (NCU) FC June13-17,2017 1/31 Outline 1 Introduction 2 Riemann-Liouville fractional integral 3 Riemann-Liouville fractional derivative S.A.Prasad (NCU) FC June13-17,2017 2/31 Outline 1 Introduction 2 Riemann-Liouville fractional integral 3 Riemann-Liouville fractional derivative S.A.Prasad (NCU) FC June13-17,2017 3/31 Fractal Interpolation Function (FIF) Fractal Interpolation Function (FIF) : [Barnsley M.F., 1986] Similarities of FIF and traditional methods ∗ Geometrical Character - can be plotted on graph ∗ Represented by formulas Difference between FIF and traditional methods ∗ Fractal Character S.A.Prasad (NCU) FC June13-17,2017 4/31 Coalescence Hidden-variable Interpolation Functions For simulating curves that exhibit self-affine and non-self-affine nature simultaneously, Coalescence Hidden-variable Fractal Interpolation Function (CHFIF) was introduced by [Chand A.K.B. and Kapoor G.P., 2007]. 120 180 160 100 140 80 120 100 60 80 40 60 40 20 20 0 0 0 10 20 30 40 50 60 70 80 90 100 0 10 20 30 40 50 60 70 80 90 100 S.A.Prasad (NCU) FC June13-17,2017 5/31 Construction of a CHFIF 2 Given data{(xk, yk) ∈ R : k = 0, 1,..., N} 3 Generalized data {(xk, yk, zk) ∈ R : k = 0, 1,..., N} [x0, xN ]= I, [xk−1, xk]= Ik, k = 1, 2,..., N Lk : I → Ik Lk(x0)= akx + bk xk − xk−1 = (x − x0)+ xk−1 (1) xN − x0 S.A.Prasad (NCU) FC June13-17,2017 6/31 Construction of a CHFIF 2 2 Fk : I × R → R Fk(x, y, z)= αky + βkz + pk(x), γkz + qk(x) (2) |αk| < 1 , |γk| < 1 , |βk| + |γk| < 1 Fk(x0, y0, z0) = (yk−1, zk−1) Fk(xN , yN , ZN ) = (yk, zk) 2 2 ωk : I × R → I × R ωk(x, y, z) = (Lk(x), Fk(x, y, z)), k = 1, 2,... N S.A.Prasad (NCU) FC June13-17,2017 7/31 Construction of a CHFIF Theorem ( [Chand A.K.B. and Kapoor G.P., 2007]) 2 (1) {I × R ; ωk, k = 1, 2,..., N} is a hyperbolic IFS with respect to a metric equivalent to Euclidean metric on R3. R3 N (2) The attractor G ⊆ such that G = k=1 ωk(G) of the above IFS is 2 graph of a continuous function f : I → R such that f (xk) = (yk, zk) for k = 0, 1,..., N i.e. G = {(x, f (x)) : x ∈ I and f (x) = (y(x), z(x))}. S.A.Prasad (NCU) FC June13-17,2017 8/31 Construction of CHFIF Definition The Coalescence Hidden-variable Fractal Interpolation Function (CHFIF) for the given interpolation data {(xk, yk) : k = 0, 1,..., N } is defined as the continuous function f1 : I → R, where f1 is the first component of the continuous function f = (f1, f2), graph of which is attractor of the hyperbolic IFS. f2 - AFIF (Self-Affine Fractal Interpolation Function) yk = zk and αk + βk = γk for all k, f1 = f2 is FIF S.A.Prasad (NCU) FC June13-17,2017 9/31 Construction of CHFIF CHFIF : if xk−1 ≤ x ≤ xk then −1 −1 −1 f1(x)= αk f1(Lk (x)) + βk f2(Lk (x)) + pk(Lk (x)) FIF : if xk−1 ≤ x ≤ xk then −1 −1 f2(x)= γk f2(Lk (x)) + qk(Lk (x)) S.A.Prasad (NCU) FC June13-17,2017 10/31 Outline 1 Introduction 2 Riemann-Liouville fractional integral 3 Riemann-Liouville fractional derivative S.A.Prasad (NCU) FC June13-17,2017 11/31 Riemann-Liouville fractional integral Definition Let −∞ < a < x < b < ∞. The Riemann-Liouville fractional integral of order ν > 0 with lower limit a is defined for locally integrable functions f : [a, b] → R as x 1 Iν f (x)= (x − t)ν−1f (t)dt (3) a+ Γ(ν) a for x > a. S.A.Prasad (NCU) FC June13-17,2017 12/31 Riemann-Liouville fractional integral 2 Given data{(xk, yk) ∈ R : k = 0, 1,..., N} 3 Generalized data {(xk, yk, zk) ∈ R : k = 0, 1,..., N} xk−1 1 pν (x)= aν Iν p (x)+ (L (x) − t)ν−1 f (t) dt (4) k k x0+ k Γ(ν) k 1 x0 and xk−1 1 qν (x)= aν Iν q (x)+ (L (x) − t)ν−1 f (t)dt. (5) k k x0+ k Γ(ν) k 2 x0 S.A.Prasad (NCU) FC June13-17,2017 13/31 Riemann-Liouville fractional integral ν ν ν Fk (x, y, z)= Fk,1(x, y, z), Fk,2(x, z) ν ν ν ν ν = ak αky + ak βkz + pk (x), ak γkz + qk (x) (6) Define ν ν ωk (x, y, z) = (Lk(x), Fk (x, y, z)) ; (7) ν ν y0 = 0 = z0 , ν ν qN (xN ) zN = ν , 1 − aN γN ν ν ν aN βN ν pN (xN ) yN = ν zN + ν , 1 − aN αN 1 − aN αN ν ν ν ν ν zk = ak γkzN + qk (xN )= qk+1(x0) ν ν ν ν ν ν ν and yk = ak αkyN + ak βkzN + pk (xN )= pk+1(x0), k = 1, 2,..., N − 1. (8) S.A.Prasad (NCU) FC June13-17,2017 14/31 Riemann-Liouville fractional integral of FIF Proposition Let f2 be a FIF passing through the interpolation data given by 2 {(xk, zk) ∈ R : k = 0, 1,..., N}. Then, Riemann-Liouville fractional integral of a FIF of order ν is also a FIF passing through the data ν R2 ν {(xk, zk ) ∈ : k = 0, 1,..., N}, where zk are given by (8). S.A.Prasad (NCU) FC June13-17,2017 15/31 Riemann-Liouville fractional integral of FIF Theorem ( [S.A.P, 2017]) Let f1 be the CHFIF passing through the interpolation data given by 2 {(xk, yk) ∈ R : k = 0, 1,..., N} and f2 be the corresponding FIF passing 2 through the data {(xk, zk) ∈ R : k = 0, 1,..., N}. Then, Riemann-Liouville fractional integral of a CHFIF of order ν given by (3) is also a CHFIF passing through the data ν R2 ν {(xk, yk ) ∈ : k = 0, 1,..., N}, where yk are given by (8). S.A.Prasad (NCU) FC June13-17,2017 16/31 Riemann-Liouville fractional integral of CHFIF Sketch of Proof: Let x such that xk−1 < x < xk for some k ∈ {1, 2,..., N}. Then, x 1 Iν f (x)= (x − t)ν−1 f (t)dt x0+ 1 Γ(ν) 1 x0 xk−1 x 1 = (x − t)ν−1 f (t) dt + (x − t)ν−1 f (t) dt Γ(ν) 1 1 x0 xk−1 S.A.Prasad (NCU) FC June13-17,2017 17/31 Riemann-Liouville fractional integral of CHFIF xk−1 1 Iν f (x)= (x − t)ν−1 f (t) dt x0+ 1 Γ(ν) 1 x0 − L 1(x) k ν −1 ν−1 + ak (Lk (x) − t) f1(Lk(t)) dt x0 = aν α Iν f (L−1(x)) + aν β Iν f (L−1(x)) k k x0+ 1 k k k x0+ 2 k xk−1 1 + aν Iν p (L−1(x)) + (x − t)ν−1 f (t) dt k x0+ k k Γ(ν) 1 x0 S.A.Prasad (NCU) FC June13-17,2017 18/31 Outline 1 Introduction 2 Riemann-Liouville fractional integral 3 Riemann-Liouville fractional derivative S.A.Prasad (NCU) FC June13-17,2017 19/31 Riemann-Liouville fractional derivative Definition n−ν 1,1 Let −∞ < a < x < b < ∞, 0 <ν, f ∈ L1([a, b]) and I f ∈ W , where n is the smallest integer greater than ν . The Riemann-Liouville fractional derivative of order ν with lower limit a is defined as dn (Dν f )(x)= (In−ν f )(x) a+ dxn a+ ν and (Da+ f )(x)= f (x) when ν = 0. S.A.Prasad (NCU) FC June13-17,2017 20/31 Riemann-Liouville fractional derivative of FIF xk−1 −n n dν −ν ν ak d n−ν−1 q (x)= a D qk(x)+ f2(t)(Lk(x) − t) dt (9) k k Γ(n − ν) dxn x0 and xk−1 −n n dν −ν ν ak d n−ν−1 p (x)= a D pk(x)+ f1(t)(Lk(x) − t) dt . k k Γ(n − ν) dxn x0 (10) S.A.Prasad (NCU) FC June13-17,2017 21/31 Riemann-Liouville fractional derivative of FIF Proposition Let f2 be a FIF passing through the interpolation data R2 ν {(xk, zk) ∈ : k = 0, 1,..., N} and |γk| < ak for some fixed ν > 0. Then Riemann-Liouville fractional derivative of a FIF of order ν is also a FIF provided (9) is satisfied. S.A.Prasad (NCU) FC June13-17,2017 22/31 Riemann-Liouville fractional derivative of CHFIF Theorem ( [S.A.P, 2017]) Let f1 be the CHFIF passing through the interpolation data given by 2 {(xk, yk) ∈ R : k = 0, 1,..., N} and f2 be the corresponding FIF passing 2 through the data {(xk, zk) ∈ R : k = 0, 1,..., N}. For a fixed ν > 0, if ν the free variables and constrained variables are such that |αk| < ak , ν ν |γk| < ak and |βk| + |γk| < ak then Riemann-Liouville fractional derivative of a CHFIF of order ν is also a CHFIF provided (9) and (10) are satisfied. S.A.Prasad (NCU) FC June13-17,2017 23/31 Riemann-Liouville fractional derivative of FIF Suppose f2 is a FIF passing through interpolation data given by {(xk, zk) : k = 0, 1, 2,..., N} constructed with the free variables γk for k = 1, 2,..., N.
Load more

Recommended publications
  • A Gallery of De Rham Curves
    A Gallery of de Rham Curves Linas Vepstas <[email protected]> 20 August 2006 Abstract The de Rham curves are a set of fairly generic fractal curves exhibiting dyadic symmetry. Described by Georges de Rham in 1957[3], this set includes a number of the famous classical fractals, including the Koch snowflake, the Peano space- filling curve, the Cesàro-Faber curves, the Takagi-Landsberg[4] or blancmange curve, and the Lévy C-curve. This paper gives a brief review of the construction of these curves, demonstrates that the complete collection of linear affine deRham curves is a five-dimensional space, and then presents a collection of four dozen images exploring this space. These curves are interesting because they exhibit dyadic symmetry, with the dyadic symmetry monoid being an interesting subset of the group GL(2,Z). This is a companion article to several others[5][6] exploring the nature of this monoid in greater detail. 1 Introduction In a classic 1957 paper[3], Georges de Rham constructs a class of curves, and proves that these curves are everywhere continuous but are nowhere differentiable (more pre- cisely, are not differentiable at the rationals). In addition, he shows how the curves may be parameterized by a real number in the unit interval. The construction is simple. This section illustrates some of these curves. 2 2 2 2 Consider a pair of contracting maps of the plane d0 : R → R and d1 : R → R . By the Banach fixed point theorem, such contracting maps should have fixed points p0 and p1. Assume that each fixed point lies in the basin of attraction of the other map, and furthermore, that the one map applied to the fixed point of the other yields the same point, that is, d1(p0) = d0(p1) (1) These maps can then be used to construct a certain continuous curve between p0and p1.
    [Show full text]
  • Riemann-Liouville Fractional Calculus of Blancmange Curve and Cantor Functions
    Journal of Applied Mathematics and Computation, 2020, 4(4), 123-129 https://www.hillpublisher.com/journals/JAMC/ ISSN Online: 2576-0653 ISSN Print: 2576-0645 Riemann-Liouville Fractional Calculus of Blancmange Curve and Cantor Functions Srijanani Anurag Prasad Department of Mathematics and Statistics, Indian Institute of Technology Tirupati, India. How to cite this paper: Srijanani Anurag Prasad. (2020) Riemann-Liouville Frac- Abstract tional Calculus of Blancmange Curve and Riemann-Liouville fractional calculus of Blancmange Curve and Cantor Func- Cantor Functions. Journal of Applied Ma- thematics and Computation, 4(4), 123-129. tions are studied in this paper. In this paper, Blancmange Curve and Cantor func- DOI: 10.26855/jamc.2020.12.003 tion defined on the interval is shown to be Fractal Interpolation Functions with appropriate interpolation points and parameters. Then, using the properties of Received: September 15, 2020 Fractal Interpolation Function, the Riemann-Liouville fractional integral of Accepted: October 10, 2020 Published: October 22, 2020 Blancmange Curve and Cantor function are described to be Fractal Interpolation Function passing through a different set of points. Finally, using the conditions for *Corresponding author: Srijanani the fractional derivative of order ν of a FIF, it is shown that the fractional deriva- Anurag Prasad, Department of Mathe- tive of Blancmange Curve and Cantor function is not a FIF for any value of ν. matics, Indian Institute of Technology Tirupati, India. Email: [email protected] Keywords Fractal, Interpolation, Iterated Function System, fractional integral, fractional de- rivative, Blancmange Curve, Cantor function 1. Introduction Fractal geometry is a subject in which irregular and complex functions and structures are researched.
    [Show full text]
  • On the Beta Transformation
    On the Beta Transformation Linas Vepstas December 2017 (Updated Feb 2018 and Dec 2018) [email protected] doi:10.13140/RG.2.2.17132.26248 Abstract The beta transformation is the iterated map bx mod 1. The special case of b = 2 is known as the Bernoulli map, and is exactly solvable. The Bernoulli map provides a model for pure, unrestrained chaotic (ergodic) behavior: it is the full invariant shift on the Cantor space f0;1gw . The Cantor space consists of infinite strings of binary digits; it is notable for many properties, including that it can represent the real number line. The beta transformation defines a subshift: iterated on the unit interval, it sin- gles out a subspace of the Cantor space that is invariant under the action of the left-shift operator. That is, lopping off one bit at a time gives back the same sub- space. The beta transform seems to capture something basic about the multiplication of two real numbers: b and x. It offers insight into the nature of multiplication. Iterating on multiplication, one would get b nx – that is, exponentiation; the mod 1 of the beta transform contorts this in strange ways. Analyzing the beta transform is difficult. The work presented here is more-or- less a research diary: a pastiche of observations and some shallow insights. One is that chaos seems to be rooted in how the carry bit behaves during multiplication. Another is that one can surgically insert “islands of stability” into chaotic (ergodic) systems, and have some fair amount of control over how those islands of stability behave.
    [Show full text]
  • Modeling and Forecasting the Spread of COVID-19 with Stochastic and Deterministic Approaches: Africa and Europe
    Atangana and ˙Igret˘ Araz Advances in Difference Equations (2021) 2021:57 https://doi.org/10.1186/s13662-021-03213-2 R E S E A R C H Open Access Modeling and forecasting the spread of COVID-19 with stochastic and deterministic approaches: Africa and Europe Abdon Atangana1,2* and Seda ˙Igret˘ Araz3 *Correspondence: [email protected] Abstract 1Institute for Groundwater Studies, Faculty of Natural and Agricultural Using the existing collected data from European and African countries, we present a Sciences, University of the Free statistical analysis of forecast of the future number of daily deaths and infections up to State, Bloemfontein, South Africa 10 September 2020. We presented numerous statistical analyses of collected data 2Department of Medical Research, China Medical University Hospital, from both continents using numerous existing statistical theories. Our predictions China Medical University, Taichung, show the possibility of the second wave of spread in Europe in the worse scenario Taiwan and an exponential growth in the number of infections in Africa. The projection of Full list of author information is available at the end of the article statistical analysis leads us to introducing an extended version of the well-blancmange function to further capture the spread with fractal properties. A mathematical model depicting the spread with nine sub-classes is considered, first converted to a stochastic system, where the existence and uniqueness are presented. Then the model is extended to the concept of nonlocal operators; due to nonlinearity, a modified numerical scheme is suggested and used to present numerical simulations. The suggested mathematical model is able to predict two to three waves of the spread in the near future.
    [Show full text]
  • Limiting Curves for the Dyadic Odometer and the Generalized Trollope-Delange Formula.∗
    Limiting curves for the dyadic odometer and the generalized Trollope-Delange formula.∗ Aleksey Minabutdinovy July 1, 2018 Abstract We study limiting curves resulting from deviations in partial sums in the ergodic theorem for the dyadic odometer and non-cylindric func- tions. In particular, we generalize the Trollope-Delange formula for the case of the weighted sum-of-binary-digits function and show that the Takagi-Landsberg curve arises. Key words: limiting curves, weighted sum-of-binary-digits function, Takagi-Landsberg curve, q-analogue of the Trollope-Delange formula MSC: 11A63, 39B22, 37A30 1 Introduction Let T be a measure preserving transformation defined on a Lebesgue proba- bility space (X; B; µ) with an invariant ergodic probability measure µ. Let g denote a function in L1(X; µ). In [11] E.´ Janvresse, T. de la Rue, and Y. Ve- lenik in the process of studying the Pascal adic transformation1 introduced a new notion of a limiting curve. Following [11] for a point x 2 X and a ∗The study of the limiting curves for the dyadic odometer (Sec. 3.1) is supported arXiv:1801.03120v3 [math.DS] 7 Aug 2018 by RFBR (grant 17-01-00433). The study of the q-generalized Trollope-Delange formula (Sec. 3.2) is supported by the Russian Science Foundation (grant 17-71-20153). yNational Research University Higher School of Economics, Department of Applied Mathematics and Business Informatics, St.Petersburg, Russia, e-mail: [email protected]. 1The Pascal adic transformation was invented by A. Vershik (and independently by S. Kakutani), see [30], [15], and intensively studied since then, see e.g.
    [Show full text]
  • Extremal Properties of the Colless Balance Index for Rooted Binary Trees
    Extremal properties of the Colless balance index for rooted binary trees Mareike Fischer∗, Lina Herbst, Kristina Wicke Institute of Mathematics and Computer Science, University of Greifswald, Greifswald, Germany Abstract ATTENTION: This manuscript has been subsumed by another manuscript, which can be found on Arxiv: arXiv:1907.05064 Measures of tree balance play an important role in various research areas, for example in phylogenetics. There they are for instance used to test whether an observed phylogenetic tree differs significantly from a tree generated by the Yule model of speciation. One of the most popular indices in this regard is the Colless index, which measures the degree of balance for rooted binary trees. While many statistical properties of the Colless index (e.g. asymptotic results for its mean and variance under different models of speciation) have already been discussed in different contexts, we focus on its extremal properties. While it is relatively straightforward to characterize trees with maximal Colless index, the analysis of the minimal value of the Colless index and the characterization of trees that achieve it, are much more involved. In this note, we therefore focus on the minimal value of the Colless index for any given number of leaves. We derive both a recursive formula for this minimal value, as well as an explicit expression, which shows a surprising connection between the Colless index and the so-called Blancmange curve, a fractal curve that is also known as the Takagi curve. Moreover, we characterize two classes of trees that have minimal Colless index, consisting of the set of so-called maximally balanced trees and a class of trees that we call greedy from the bottom trees.
    [Show full text]
  • The Minkowski Question Mark, Gl(2,Z) and the Modular Group (Expository)
    THE MINKOWSKI QUESTION MARK, GL(2,Z) AND THE MODULAR GROUP (EXPOSITORY) LINAS VEPSTAS ABSTRACT. Fractals and continued fractions seem to be deeply related in many ways. Farey fractions appear naturally in both. Much of this relationship can be explained through the fact that a certain subset of the general linear group GL(2,Z) over the integers; called the “dyadic monoid”, “dyadic groupoid”, or “dyadic lattice”, is the natural symmetry of many fractals, including those associated with period-doubling maps, with phase-locking maps, and with various dynamical systems in general. The aim of this text is to provide a simple exposition of the symmetry and its articulation. The core underlying idea is that many fractals can be represented as an infinite binary tree. Aside from fractals, binary numbers (or “dyadic numbers”) can also be represented as a binary tree. A string of 1’s and 0’s can be understood to be a choice of left and right movements through the branches of a tree; which gives it the structure of the Cantor set. The rational numbers also may be arranged into a binary tree, which is variously called a Farey tree or a Stern-Brocot tree. The Minkowski question mark function arises as the isomorphism between the tree of dyadic numbers, and the tree of rational numbers. Fractal self-similarity arises naturally, with the observation that a subtree of a binary tree is isomorphic to the tree itself. This paper is written at an expository level, and should be readily accessible to ad- vanced undergraduates and all graduate students.
    [Show full text]
  • FAMILY of GENERALIZED TRIADIC KOCH FRACTALS: DIMENTIONS and FOURIER IMAGES 1,2 Galina V
    FRACTALS IN PHYSICS 81 FAMILY OF GENERALIZED TRIADIC KOCH FRACTALS: DIMENTIONS AND FOURIER IMAGES 1,2 Galina V. Arzamastseva, 1 Mikhail G. Evtikhov, 1 Feodor V. Lisovsky, 1 Ekaterina G. Mansvetova 1Kotel’nikov Institute of Radio-Engineering and Electronics, Fryazino Branch, Russian Academy of Science, http://fire.relarn.ru 141120 Fryazino, Moscow region, Russian Federation [email protected], [email protected], [email protected], [email protected] 2Modern Humanitarian Academy, http://www.muh.ru 109029 Moscow, Russian Federation Abstract. Fourier images of generalized triadic Koch fractals (curves and snowflakes) with variable vertex angle of generator were obtained by digital methods. The comparison of different methods of fractal dimensions determination using Fraunhofer diffraction patterns was made. Analysis of the size ratio dependence of central (fractal) and peripheral (lattice) parts of diffraction pattern both upon vertex angle at a fixed value of prefractal generation number and upon prefractal generation number at a fixed value of vertex angle was made. The features of Koch curves and Koch snowflakes Fourier images are discussed. Keywords: annular zones method, box-counting method, digital methods, Fourier image, fractal dimension, Fraunhofer diffraction, Koch curve, Koch fractal, Koch snowflake, method of circles, scaling factor, scaling invariance, symmetry. UDC 51.74; 535.42 Bibliography – 27 references Recieved 17.11.2015 RENSIT, 8(1):81-90 DOI: 10.17725/rensit.2016.08.081 CONTENTS: 1. INTRODUCTION 1. INTRODUCTION (81) Externally similar to the snowflake outline 2. DECLARATION OF PROCEDURE FOR KOCH fractal (grandparent of fractals family which FRACTALS FOURIER IMAGES OBTAINING (82) will be discussed below) was named in honor 3.
    [Show full text]
  • Документация По Drception (Build 970) Оглавление Обозначения
    Документация по Drception Актуально для: build 970 SourceForge: https://sourceforge.net/projects/drception/ Website (SourceForge): https://drception.sourceforge.io/ E-mail: [email protected] 1/20 Документация по Drception (build 970) Оглавление Обозначения........................................................................................................................................3 Реализованные фракталы...................................................................................................................4 Первые шаги.......................................................................................................................................6 Построение фрактала из списка...................................................................................................6 Функции и модули доступные из JavaScript....................................................................................7 Global Space....................................................................................................................................7 AutoInclude.js..................................................................................................................................9 Дополнительно..................................................................................................................................12 Файлы в $AppPath$......................................................................................................................12 Устройство ini-списка фракталов....................................................................................................14
    [Show full text]
  • Self-Similarity of the Corrections to the Ergodic Theorem for the Pascal-Adic Transformation
    Self-similarity of the corrections to the ergodic theorem for the Pascal-adic transformation Elise´ Janvresse, Thierry de la Rue, Yvan Velenik Laboratoire de Math´ematiques Rapha¨elSalem CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE T. de la Rue, E.´ Janvresse, Y. Velenik Self-similarity of the Pascal-adic transformation The Pascal-adic transformation Introduction to the transformation Self-similar structure of the basic blocks Invariant measures Ergodic interpretation Coding: basic blocks Generalizations and related problems 1 The Pascal-adic transformation 2 Self-similar structure of the basic blocks 3 Ergodic interpretation 4 Generalizations and related problems T. de la Rue, E.´ Janvresse, Y. Velenik Self-similarity of the Pascal-adic transformation The Pascal-adic transformation Introduction to the transformation Self-similar structure of the basic blocks Invariant measures Ergodic interpretation Coding: basic blocks Generalizations and related problems Pascal Graph T. de la Rue, E.´ Janvresse, Y. Velenik Self-similarity of the Pascal-adic transformation Self-similarity of the Pascal-adic transformation Pascal Graph The Pascal-adic transformation Introduction to the transformation Pascal Graph 2005-03-31 The Pascal graph: it is composed of infinitely many vertices and edges. The Pascal-adic transformation Introduction to the transformation Self-similar structure of the basic blocks Invariant measures Ergodic interpretation Coding: basic blocks Generalizations and related problems Pascal Graph 1 2 n T. de la Rue, E.´ Janvresse, Y. Velenik Self-similarity of the Pascal-adic transformation The Pascal-adic transformation Introduction to the transformation Self-similar structure of the basic blocks Invariant measures Ergodic interpretation Coding: basic blocks Generalizations and related problems Pascal Graph 1 2 n (n,0) (n,k) (n,n) T.
    [Show full text]
  • MATH1113 Mathematical Foundations for Statistics (Calculus)
    MATH1113 Mathematical Foundations for Statistics (Calculus) Lilia Ferrario and David Ridout Last modified: October 31, 2012 Contents 1 Functions, Domains and Ranges 1 1.1 Functions ..................................... 1 1.2 DomainsandRanges ............................... 1 1.3 Domains of Standard Functions . .... 3 1.4 Domains of Functions Given by Formulae . ..... 5 1.5 Domains of Piecewise-Defined Functions . ...... 6 1.6 Composition of Functions . 8 1.7 EvenandOddFunctions ............................. 9 2 Bounds for Functions 11 2.1 Bounds ...................................... 11 2.2 Finding Bounds for Functions . 12 2.3 Finding Bounds for Functions of the Form 1/u(x) ................ 15 3 Limits 17 3.1 An Intuitive Approach to Limits . 17 3.2 Rigorouslimits .................................. 19 3.3 FactsaboutLimits................................ 22 3.4 The“SqueezeTheorem” ............................. 24 3.5 AVeryImportantLimit............................. 25 3.6 Infinitelimits ................................... 26 4 Continuity 30 4.1 ContinuityataPoint ............................... 30 4.2 Algebraic Combinations and Continuity . ..... 32 4.3 Limits and Continuity for Compositions . ..... 33 4.4 ContinuityonanInterval . 34 4.5 The Intermediate Value Theorem . 34 4.6 TheMin-MaxTheorem.............................. 36 4.7 Removable Discontinuities . 38 5 Differentiation 39 5.1 The Derivative of a Function at a Point . ...... 39 5.2 Continuity and Differentiability . ....... 41 5.3 One-SidedDerivatives . 42 5.4 DifferentiationRules . 44 5.5 Chain Rule for Differentiating Compositions . ....... 45 5.6 Some Simple Applications . 46 5.7 Differentials, ∆-notation and Linear Approximation . 47 i 5.8 Implicit Differentiation . ..... 49 5.9 SomeImportantTheorems . 52 6 Inverse Functions 57 6.1 MonotonicFunctions .............................. 57 6.2 One-to-One Functions and Inverses . ...... 58 6.3 Properties of Inverse Functions . ...... 60 6.4 Derivatives of Inverse Functions .
    [Show full text]
  • Symmetries of Period-Doubling Maps
    Symmetries of Period-Doubling Maps Linas Vepstas <[email protected]> 12 October 2004 (revised 1 September 2006) Abstract The concept of self-similarity is central to the notion of a fractal, but the actual symmetry group that generates that self-similarity is rarely named, and it seems fractals are almost never studied according to their symmetries. Yet, in other branches of mathematics and physics, it is well understood that symmetry pro- vides a powerful mechanism for understanding systems. In this paper, we identify the symmetry group of period-doubling maps as being a monoid (semigroup) of the modular group PSL(2;Z). To anchor this assertion, we work out an explicit, exactly-solvable fractal curve, the Takagi or Blancmange Curve, as transforming under the three-dimensional representation of the (monoid of the) modular group. By replacing the triangular shape that generates the Blanc- mange curve with a polynomial, we find that the resulting curve transforms under the n + 2 dimensional representation of the monoid, where n is the degree of the polynomial. We also find that the (ill-defined) derivative of the Blancmange curve is essentially the (inverse of the) Cantor function, thus demonstrating the semi- group symmetry on the Cantor Set as well. In fact, any topologically conjugate map will transform under the three-dimensional representation. We then show how all period-doubling maps can demonstrate the monoid symmetry, which is essentially an outcome of the dyadic representation of the monoid. This paper also includes a review of Georges deRham’s 1958 construction of the Koch snowflake, the Levy C-curve, the Peano space-filling curve and the Minkowski Question Mark function as special cases of a curve with the monoid symmetry.
    [Show full text]