DOCSLIB.ORG

Superfimctions and Sqrt of Factorial D

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Superfimctions and Sqrt of Factorial D ISSN 00271349, Moscow University Physics Bulletin, 2010, Vol. 65, No. 1, pp. 6–12. © Allerton Press, Inc., 2010. Published in Russian in Vestnik Moskovskogo Universiteta. Fizika, 2010, No. 1, pp. 8–14. Superfimctions and sqrt of Factorial D. Kouznetsova and H. Trappmannb a Institute for Laser Science, University of ElectroCommunications 151 Chofugaoka, Chofushi, Tokyo, 1828585, Japan b Kameruner Str. 9, 13351 Berlin, Germany email: [email protected], [email protected] Received August 13, 2009 Abstract—The holomorphic function h is constructed such that hhz = z!; this function is interpreted as square root of Factorial. Key words: sqrt of Factorial, superfunction, SuperFactorial, inverse problem. DOI: 10.3103/S0027134910010029 INTRODUCTION 1. Superfunctions This work was motivated by one exercise from the The evaluation of fractional power of a function, pastcentury course of Quantum Mechanics of the i.e., the fractional iteration, (for example, exp , see Moscow State University. It was suggested to give [7–9], or ! ), can be based on the concept of super sense to the operator ! [1]. That time, a satisfactory function [4–6]. For a given function H, which is solution was not found; the opinion was, that such an referred to as the “Transfer Function” below, a super operation has no meaning [2]. function F is a holomorphic solution of the Abel equa tion In Quantum Mechanics, the repeated (iterated) application of an operation (usually, some “observ F(z +1) = H(F(z)). (1) able”) to some argument (which may have sense of Such an equation is pretty old [10–12], although in vector of state) is interpreted as “power” of the opera 1827, N.H. Abel wrote it in a different form, for the tion; in particular, in such a way the square of coordi inverse function of F. The Abel equation comes from nate or the square of momentum are treated. For this the phenomenological consideration of the transfor analogy, the notation without parenthesis is used. In these notations, sinα means sin(α), ln sinz means ln(sin(x)) and so on; such notations are used also in y textbooks on elementary algebra. To avoid confusions 5 at the iterations, we use also the prefix notation Facto 4 rial z = Factorial(z) instead of z!. 3 We assume, that factorial is known meromorphic function, just Gamma function [3] with displaced 2 argument. In this way factorial is interpreted in pro 1 gramming languages Mathematica and Maple. The factorial of the real argument is shown in Fig. 1. 0 x = −1 y In this work, the square root of the Factorial is interpreted as a holomorphic function h such that its −2 second iteration is Factorial, i.e. hhz = z!. For real val −3 ues of argument the graphic of function ! is shown in −4 Fig. 2. Below we describe, how to evaluate it not only for real, but also for complex values of the argument, −5 using superfunctions [4–6]. −6 −6 −5 −4 −3 −2 −1 0 1 2 3 4 x 1 The Englishlanguage version of the article was prepared by the Fig. 1. Factorial of the real argument and graphical solu authors. tion of equation x! = x. 6 SUPERFIMCTIONS AND SQRT OF FACTORIAL 7 mation of a signal F in a singledimensional homoge y ) nous nonlinear system, characterized with the Trans x 10 ) 10 ( 2 (a) x (b) / ( 1 fer Function . Equation (1) may have also other H ) l l 9 a 9 x i a ( i r 2 r applications, discussed below in the special section. In F / o o 1 t t ) c some sense, the Eq. (1) is equivalent of the Schröder’s 8 c x 8 = a a ( y x F l k F equation [13–17]; at the exponential transformation a e i = = r 7 7 + y o y of the argument, the inverse Schröder’s function t 2 c a 6 6 = becomes a superfunction, but not every supefunction F y = can be simply expressed through some inverse 5 y 5 Schröder function. For this reason, here we deal with superfunctions and not with the Schröder functions. 4 4 A superfunction F determines the fractional itera 3 3 tion Hc of the Transfer Function H: 2 2 Hc(z) = F(c + F–1(z)). (2) 1 1 The resulting function Hc can be considered as 0 0 1 2 3 4 5 −2 −1 0 1 2 3 fractional power of function H, because it satisfies the x expected relations H1 = H, Hc + d(z) = HcHdz = Hc(Hd(z)), Fig. 2. Left: y = Factorial(x), thick dashed curve; y = ! (x) = 1/2 1/2 c d c + d Factorial (x), solid curve; y = x! = Factorial(x) , thin i.e., for two numbers c and d, the identity H H = H dashed, as functions of real x; Right: y = F(x), solid, com holds, as if H would be not a function but a number. In pared to y = 2+exp(kx), dashed. particular with c = 1/2, the halfiteration h(z) = H (z) = H1/2(z) is considered to be the square root of Superfunctions of the exponential (see row 4 of the function H, because hhz = h(h(z)) = Hz = H(z). In this Table 1) yet are not so widely known, although Hel sense h2 = H and h = H . muth Kneser had reported the halfiteration of the Some superfunctions (see Table 1) are well known; exponential, i.e., exp , in year 1950 [7]. Here, tetra they are used without to identify them as superfunc tional tet is the superfunction of exp, caracterized in ރ ∈ tions. Several elementary superfunctions (in particu that tetb(0) = 1 and holomorphie on the range \{x lar, trigonometric) were listed also at websites [5, 6, 18]. ޒ : x ≤ 0}; i.e., holomorphie solution of equation Table 1. Examples of superfunctions No. H(z) F(z) F–1(z) Comment 1 z + 1 b + zz – bb ∈ ރ 2 b + zbz + c (z – c)/bb ≠ 0 z c ⎛⎞c 3 bz + c b + log z – 1 – b b⎝⎠1 – b z –1() 4 b tetb(z)tetb z (3), (4), [4, 9, 19–22] b z 5 z exp(b ) log b()ln()z b > 0 6ln(b + ez)ln(bz) ez/bb ≠ 0 7(ab + zb)1/b az1/b (z/a)b a > 0, b ≠ 0 2 z 82z – 1 cos()2 log 2()arccos()z 2 z 92z – 1cosh()2 log 2()arccosh()z compare no. 8 2 z 10 2z/(1 – z ) tan()2 log 2()arctan()z 2 z ⎛⎞⎛⎞z + 1 11 2z/(1 + z ) tanh()2 log 2 2ln ⎝⎠⎝⎠z – 1 12 Factorial(z) SuperFactorial(z) ArcSuperFactorial(z)(6), (8) P(H(Q(z))) P(F(z)) F–1(Q(z)) P(Q(z)) = z MOSCOW UNIVERSITY PHYSICS BULLETIN Vol. 65 No. 1 2010 8 KOUZNETSOV, TRAPPMANN (a)q (b) = y y q 1 . 1 = 2 q 8 . 1 = = 0 .4 6 6 1 q . = 6 6 . q 0 = q = q 1.8 .4 4 4 0 = q p = 0 q = 2 0.2 2 q = 0 2 q = p = 0 0 q = 0 0 Cut q = 0 p = 0 .8 q q = 0 − 2 = − −2 −2 q = 2 0. 0 = 2 0 p 3 = = 0 = p 0 .2 q = .8 p 3 −4 p = 0 −4 −1 q = 0 q = = p = 0 p q 6 q = . q 0 −1 4 p 4 = . = . = 3 − q 0 − = 2 6 6 1 . − = = q − − p 0 1 p 1 = − 0 = . q 8 q = − −8 8 q −6 −4 −20 2 4 6x −6 −4 −20 2 4 6x Fig. 3. f = Factorial(z), left, and f = ArcFactorial(z), right, in the complex zplane; Levels ℜ(f) = p = constant and Levels ᑣ(f)= q = constant are shown with thick lines for p = –4, –3, –2, –1, 0, 1, 2, 3, 4 and for q = –4, –3, –2, –1, 0, 1, 2, 3, 4. tetb(z +1) = expb(tetb(z)). (3) superfunction for the given Transfer Function, namely, Factorial. This allows to evaluate the holo At integer values of z, tetration tetb(z) is result iter ational application of exponential to unity: morphic function ! , giving sense to the logo of the () Physics department of the Moscow State University. tetbz = expb(expb(..expb 1 ..)) (4) ⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩ zrepetitions of exponential Evaluation of tetb at b > exp(1/e) and in particular, 2. Factorial, ArcFactorial and the Fixed Points for b = e and b = 2 is described in [9, 19, 22]. For b = e, For the evaluation of superFactorial and its inverse, the fast approximation is available at [20, 21]. The efficient implementations of Factorial and ArcFacto evaluation at 1 < b < exp(1/e) and, in particular, for b = rial are required. Complex maps of Factorial and Arc 2 , is considered in [4]. Factorial are shown in Fig. 3. In the right hand side of New superfunctions can be obtained by transfor the left picture, the density of levels for the Factorial is mation of the already established superfunctions. If so high that they would overlap; only levels p = 0 and some F is SuperFunction of some Transfer Function q = 0 are shown there. We use the original numerical H, then another superfunctions Ᏺ can be define as C++ implementation [23] of the Factorial and Arc Factorial. Ᏺ(z) = F(z + δ(z)), where δ is some holomorphic 1 periodic function. In particular, the superfunction in At the analysis of a superfunction for same Transfer row 9 can be obtained from that in row 8 with δ(z) = Function H, the key question is about the fixed points πiln(2)/2 = constant.
Load more

Recommended publications
  • Remarks About the Square Equation. Functional Square Root of a Logarithm
    M A T H E M A T I C A L E C O N O M I C S No. 12(19) 2016 REMARKS ABOUT THE SQUARE EQUATION. FUNCTIONAL SQUARE ROOT OF A LOGARITHM Arkadiusz Maciuk, Antoni Smoluk Abstract: The study shows that the functional equation f (f (x)) = ln(1 + x) has a unique result in a semigroup of power series with the intercept equal to 0 and the function composition as an operation. This function is continuous, as per the work of Paulsen [2016]. This solution introduces into statistics the law of the one-and-a-half logarithm. Sometimes the natural growth processes do not yield to the law of the logarithm, and a double logarithm weakens the growth too much. The law of the one-and-a-half logarithm proposed in this study might be the solution. Keywords: functional square root, fractional iteration, power series, logarithm, semigroup. JEL Classification: C13, C65. DOI: 10.15611/me.2016.12.04. 1. Introduction If the natural logarithm of random variable has normal distribution, then one considers it a logarithmic law – with lognormal distribution. If the func- tion f being function composition to itself is a natural logarithm, that is f (f (x)) = ln(1 + x), then the function ( ) = (ln( )) applied to a random variable will give a new distribution law, which – similarly as the law of logarithm – is called the law of the one-and -a-half logarithm. A square root can be defined in any semigroup G. A semigroup is a non- empty set with one combined operation and a neutral element.
    [Show full text]
  • Neural Network Architectures and Activation Functions: a Gaussian Process Approach
    Fakultät für Informatik Neural Network Architectures and Activation Functions: A Gaussian Process Approach Sebastian Urban Vollständiger Abdruck der von der Fakultät für Informatik der Technischen Universität München zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) genehmigten Dissertation. Vorsitzender: Prof. Dr. rer. nat. Stephan Günnemann Prüfende der Dissertation: 1. Prof. Dr. Patrick van der Smagt 2. Prof. Dr. rer. nat. Daniel Cremers 3. Prof. Dr. Bernd Bischl, Ludwig-Maximilians-Universität München Die Dissertation wurde am 22.11.2017 bei der Technischen Universtät München eingereicht und durch die Fakultät für Informatik am 14.05.2018 angenommen. Neural Network Architectures and Activation Functions: A Gaussian Process Approach Sebastian Urban Technical University Munich 2017 ii Abstract The success of applying neural networks crucially depends on the network architecture being appropriate for the task. Determining the right architecture is a computationally intensive process, requiring many trials with different candidate architectures. We show that the neural activation function, if allowed to individually change for each neuron, can implicitly control many aspects of the network architecture, such as effective number of layers, effective number of neurons in a layer, skip connections and whether a neuron is additive or multiplicative. Motivated by this observation we propose stochastic, non-parametric activation functions that are fully learnable and individual to each neuron. Complexity and the risk of overfitting are controlled by placing a Gaussian process prior over these functions. The result is the Gaussian process neuron, a probabilistic unit that can be used as the basic building block for probabilistic graphical models that resemble the structure of neural networks.
    [Show full text]
  • PDF Full Text
    Detection, Estimation, and Modulation Theory, Part III: Radar–Sonar Signal Processing and Gaussian Signals in Noise. Harry L. Van Trees Copyright 2001 John Wiley & Sons, Inc. ISBNs: 0-471-10793-X (Paperback); 0-471-22109-0 (Electronic) Glossary In this section we discuss the conventions, abbreviations, and symbols used in the book. CONVENTIONS The fol lowin g conventions have been used: 1. Boldface roman denotes a v fector or matrix. 2. The symbol ] 1 means the magnitude of the vector or scalar con- tained within. 3. The determinant of a square matrix A is denoted by IAl or det A. 4. The script letters P(e) and Y(e) denote the Fourier transform and Laplace transform respectively. 5. Multiple integrals are frequently written as, 1 drf(r)J dtg(t9 7) A [fW (s dlgo) d7, that is, an integral is inside all integrals to its left unlessa multiplication is specifically indicated by parentheses. 6. E[*] denotes the statistical expectation of the quantity in the bracket. The overbar x is also used infrequently to denote expectation. 7. The symbol @ denotes convolution. CD x(t) @ y(t) A x(t - 7)YW d7 s-a3 8. Random variables are lower case (e.g., x and x). Values of random variables and nonrandom parameters are capita1 (e.g., X and X). In some estimation theory problems much of the discussion is valid for both ran- dom and nonrandom parameters. Here we depart from the above con- ventions to avoid repeating each equation. 605 9. The probability density of x is denoted by p,() and the probability distribution by I?&).
    [Show full text]
  • Gaol 4.2.0 NOT Just Another Interval Arithmetic Library
    Gaol 4.2.0 NOT Just Another Interval Arithmetic Library Edition 4.4 Last updated 21 May 2015 Frédéric Goualard Laboratoire d’Informatique de Nantes-Atlantique, France Copyright © 2001 Swiss Federal Institute of Technology, Switzerland Copyright © 2002-2015 LINA UMR CNRS 6241, France gdtoa() and strtord() are Copyright © 1998 by Lucent Technologies All Trademarks, Copyrights and Trade Names are the property of their re- spective owners even if they are not specified below. Part of the work was done while Frédéric Goualard was a postdoctorate at the Swiss Federal Institute of Technology, Lausanne, Switzerland supported by the European Research Consortium for Informatics and Mathematics fellowship programme. This is edition 4.4 of the gaol documentation. It is consistent with version 4.2.0 of the gaol library. Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice are preserved on all copies. GAOL IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FIT- NESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THIS SOFTWARE IS WITH YOU. SHOULD THIS SOFTWARE PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION. Recipriversexcluson. n. A number whose existence can only be defined as being anything other than itself. Douglas Adams, Life, the Universe and Everything Contents Copyright vii 1 Introduction1 2 Installation3 2.1 Getting the software........................3 2.2 Installing gaol from the source tarball on Unix and Linux...3 2.2.1 Prerequisites........................3 2.2.2 Configuration........................5 2.2.3 Building...........................7 2.2.4 Installation.........................7 3 An overview of gaol9 3.1 The trust rounding mode....................
    [Show full text]
  • Professor Higgins's Problem Collection
    PROFESSOR HIGGINS’S PROBLEM COLLECTION Professor Higgins’s Problem Collection PETER M. HIGGINS 3 3 Great Clarendon Street, Oxford, OX2 6DP, United Kingdom Oxford University Press is a department of the University of Oxford. It furthers the University’s objective of excellence in research, scholarship, and education by publishing worldwide. Oxford is a registered trade mark of Oxford University Press in the UK and in certain other countries © Peter M. Higgins 2017 The moral rights of the author have been asserted First Edition published in 2017 Impression: 1 All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, without the prior permission in writing of Oxford University Press, or as expressly permitted by law, by licence or under terms agreed with the appropriate reprographics rights organization. Enquiries concerning reproduction outside the scope of the above should be sent to the Rights Department, Oxford University Press, at the address above You must not circulate this work in any other form and you must impose this same condition on any acquirer Published in the United States of America by Oxford University Press 198 Madison Avenue, New York, NY 10016, United States of America British Library Cataloguing in Publication Data Data available Library of Congress Control Number: 2016957995 ISBN 978–0–19–875547–0 Printed and bound by CPI Litho (UK) Ltd, Croydon, CR0 4YY Links to third party websites are provided by Oxford in good faith and for information only. Oxford disclaims any responsibility for the materials contained in any third party website referenced in this work.
    [Show full text]
  • Tennessee Curriculum Standards and EXPLORE, PLAN, and The
    STATE MATCH Tennessee Curriculum Standards English/Language Arts, Mathematics, and Science Grades 7–12 and EXPLORE, PLAN, and the ACT May 2006 ©2006 by ACT, Inc. All rights reserved. About This Report EXECUTIVE SUMMARY (pp. 1–2) This portion summarizes the findings of the alignment between ACT’s Educa- tional Planning and Assessment System (EPAS™) tests—EXPLORE® (8th, and 9th grades); PLAN® (10th grade); and the ACT® (11th and 12th grades)—and Tennessee’s Curriculum Standards. It also presents ACT's involvement in meeting NCLB requirements and describes additional critical information that ACT could provide to Tennessee. SECTION A (pp. 3–8) This section provides tables by content area (English/Language Arts, Mathe- matics, and Science) listing the precise number of Tennessee Curriculum Standards measured by ACT’s EPAS tests by grade level. SECTION B (pp. 9–97) All Tennessee Curriculum Standards are listed here; each one highlighted is measured by ACT’s EPAS tests. Tennessee standards listed here are from the Tennessee Curriculum Standards as presented on the Tennessee Department of Education’s website in April 2006. Underlined science content indicates that the content topics are included in, but not directly measured by, ACT’s EPAS Science Tests. SECTION C (pp. 99–108) ACT’s College Readiness Standards appear here. Highlighting indicates that a statement reflects one or more statements in the Tennessee Curriculum Standards. College Readiness Standards not highlighted are not addressed in the Tennessee Curriculum Standards. A supplement is available that identifies the specific ACT Col- lege Readiness Standard(s) corresponding to each Tennessee Curriculum Standard in a side-by-side format.
    [Show full text]
  • Remarks About the Square Equation. Functional Square Root of a Logarithm
    M A T H E M A T I C A L E C O N O M I C S No. 12(19) 2016 REMARKS ABOUT THE SQUARE EQUATION. FUNCTIONAL SQUARE ROOT OF A LOGARITHM Arkadiusz Maciuk, Antoni Smoluk Abstract: The study shows that the functional equation f (f (x)) = ln(1 + x) has a unique result in a semigroup of power series with the intercept equal to 0 and the function composition as an operation. This function is continuous, as per the work of Paulsen [2016]. This solution introduces into statistics the law of the one-and-a-half logarithm. Sometimes the natural growth processes do not yield to the law of the logarithm, and a double logarithm weakens the growth too much. The law of the one-and-a-half logarithm proposed in this study might be the solution. Keywords: functional square root, fractional iteration, power series, logarithm, semigroup. JEL Classification: C13, C65. DOI: 10.15611/me.2016.12.04. 1. Introduction If the natural logarithm of random variable has normal distribution, then one considers it a logarithmic law – with lognormal distribution. If the func- tion f being function composition to itself is a natural logarithm, that is f (f (x)) = ln(1 + x), then the function ( ) = (ln( )) applied to a random variable will give a new distribution law, which – similarly as the law of logarithm – is called the law of the one-and -a-half logarithm. A square root can be defined in any semigroup G. A semigroup is a non- empty set with one combined operation and a neutral element.
    [Show full text]
  • Nonlinear Feedback Control on Herd Behaviour Prey-Predator Model Affected by Toxic Substance
    INTERNATIONAL JOURNAL OF SCIENTIFIC & TECHNOLOGY RESEARCH VOLUME 9, ISSUE 02, FEBRUARY 2020 ISSN 2277-8616 Nonlinear Feedback Control On Herd Behaviour Prey-Predator Model Affected By Toxic Substance Vijayalakshmi. G.M , Shiva Reddy. K, Ranjith Kumar.G Abstract: We have explored a mathematical predator-prey harvested model with a functional square root response in which both the species are infected by some environmental toxicants. The hypothesis of Catch-per-unit-effort was used on the both harvested species. In the predator system, prey species takes various survival mechanism to avoid predators. Because of this, the interaction concept is proportional to the square root of the prey population, which accurately models the process where the prey shows powerful herd structure showing that the predator commonly connects with the prey along the herd's outer corridor. The complex behaviour of the system is examined. We have considered the possible existence of equilibrium points. Several numerical examples have been discussed in order to reinforce the outcomes of the theoretical analysis. Index Terms: Predator, prey, Herd behaviour, Toxicity, Catch per unit effort, Stability, Harvesting. —————————— —————————— 1 INTRODUCTION The classical predator-prey model of interacting populations The functional response of Type II is hyperbolic and inversely has been investigated extensively in this paper. Due to density-dependent as consumption rates grow to a upper environmental toxicants such as electronic waste, industrial asymptote at a decelerating rate, indicating higher costs or waste, bio-medical waste etc..., the investigation on the constraints associated with higher ingestion rates (Hassell predator-prey interactions with harvesting becomes a 1978). Most multi-species models use functional responses of significant role in modelling mathematics.
    [Show full text]
  • (Rusin) HW11 – Comments
    M365C (Rusin) HW11 { comments 1. Let g(x) = log(f(x)). Then g is continuous and g(x + y) = g(x) + g(y) for any x and y, so this is essentially the same situation as the question on the last exam: g(x) = cx where c = g(1). Or you could recreate the spirit of that proof: let c = log(f(1)) and then prove f(x) = exp(cx) first for x 2 N, then for x 2 Z, then for x 2 Q, then (using continuity) for x 2 R. 2. I wanted you to use the fact that ab has been defined to mean exp(b log(a)), so we are computing the limit of exp(log(1 + x)=x). Since exp is continuous, this is the same as exp(limx!0 log(1 + x)=x). We may compute that inner limit using L'H^opital's Rule; it is 1. (You could also use the definition of the logarithm function to show that for R 1+x R 1+x R 1+x x ≥ 0, log(1 + x) = 1 (1=t) dt ≤ 1 1 dt = x and log(1 + x) = 1 (1=t) dt ≥ R 1+x 1 1=(1 + x) dt = x=(1 + x), so the inner limit is 1 by the squeeze theorem, at least as x ! 0+. Similar inequalities show the other one-sided limit is also 1. 3. Just as we defined the logarithm as a certain integral, let us define a function A : R ! R by ( R 1 [0;x] 1+t2 dt if x ≥ 0 A(x) = R 1 − [x;0] 1+t2 dt if x < 0 (a) Of course A(0) = 0 because the interval [0; 0] has a width of zero! The fact that A(−x) = −A(x) follows from the substitution u = −t.
    [Show full text]
  • 1. Super-Functions the Functional Equation F(Z+1)
    MATHEMATICS OF COMPUTATION Volume 79, Number 271, July 2010, Pages 1727–1756 S 0025-5718(10)02342-2 Article electronically published on February 12, 2010 PORTRAIT OF THE FOUR REGULAR SUPER-EXPONENTIALS TO BASE SQRT(2) DMITRII KOUZNETSOV AND HENRYK TRAPPMANN Abstract. We introduce the concept of regular super-functions at a fixed point. It is derived from the concept of regular iteration. A super-function F of h is a solution of F(z+1)=h(F(z)). We provide a condition for F being entire, we also give two uniqueness criteria for regular super-functions. In the particular case h(x)=bˆx we call F super-exponential. h has two real fixed points for b between 1 and eˆ(1/e). Exemplary we choose the base b=sqrt(2) and portray the four classes of real regular super-exponentials in the complex plane. There are two at fixed point 2 and two at fixed point 4. Each class is given by the translations along the x-axis of a suitable representative. Both super-exponentials at fixed point 4—one strictly increasing and one strictly decreasing—are entire. Both super-exponentials at fixed point 2— one strictly increasing and one strictly decreasing—are holomorphic on a right half-plane. All four super-exponentials are periodic along the imaginary axis. Only the strictly increasing super-exponential at 2 can satisfy F(0)=1 and can hence be called tetrational. We develop numerical algorithms for the precise evaluation of these func- tions and their inverses in the complex plane. We graph the two corresponding different half-iterates of h(z)=sqrt(2)ˆz.
    [Show full text]
  • Partial Iterates for Symmetrizing Non-Parametric Color Correction ⇑ Bruno Vallet ,1, Lâmân Lelégard 1
    ISPRS Journal of Photogrammetry and Remote Sensing 82 (2013) 93–101 Contents lists available at SciVerse ScienceDirect ISPRS Journal of Photogrammetry and Remote Sensing journal homepage: www.elsevier.com/locate/isprsjprs Partial iterates for symmetrizing non-parametric color correction ⇑ Bruno Vallet ,1, Lâmân Lelégard 1 Université Paris Est, IGN, MATIS, 73 avenue de Paris, 94165 Saint-Mandé Cedex, France article info abstract Article history: Mosaic generation is a central tool in various fields ranging way beyond the scope of photogrammetry Received 3 July 2012 and requires the radiometry and color of the images to be corrected. Correction can either be done by Received in revised form 13 May 2013 a global parametric approach (looking for an optimal gain or gamma for each image of the mosaic), or Accepted 15 May 2013 by iteratively correcting image pairs with a non-parametric approach. Such non-parametric approaches Available online 11 June 2013 allow for much finer correction but are asymmetric, i.e. they require the choice of a source image that will be corrected to match a target image. Thus the result on the whole mosaic will be very dependant on the Keywords: order in which images are corrected. In this paper, we propose to use partial iterates to symmetrize non- Mosaic parametric correction in order to solve this problem. Partial iterates formalize what partially applying a Color correction Radiometry bijective function means and we explain how this can be done in both the continuous and discrete Fusion domain. This mechanism is applied to a simple non-parametric approach (histogram transfer of the lumi- Image nance) to show its potential.
    [Show full text]
  • Junior Problems J493. in Triangle ABC, R = 4R. Prove That ∠A
    Junior problems ○ J493. In triangle ABC, R = 4r. Prove that ∠A − ∠B = 90 if and only if ¾ ab a b c2 : − = − 2 Proposed by Adrian Andreescu, University of Texas at Austin, USA Solution by Daniel Lasaosa, Pamplona, Spain Note that the second condition is equivalent to 3ab 2 2 2 3 C 1 = a + b − c = 2ab cos C; cos C = ; sin = √ : 2 4 2 2 2 A B C Since it is well known that r = 4R sin 2 sin 2 sin 2 , the second condition in a triangle such that R = 4r also sin A sin B √1 gives 2 2 = 4 2 , hence A − B A + B A B C A B 1 ○ cos = cos + 2 sin sin = sin + 2 sin sin = √ = cos 45 ; 2 2 2 2 2 2 2 2 ○ ○ A B C which implies to ∠A − ∠B = 90 . Conversely, if ∠A − ∠B = 90 , then using R = 4r so 1 = 16 sin 2 sin 2 sin 2 we find 1 A B C A B C 1 cos − sin 2 sin sin sin : √ = 2 = 2 + 2 2 = 2 + C 2 8 sin 2 sin C sin C √1 This quadratic equation in 2 has a double root and hence implies 2 = 2 2 , which we saw above was equivalent to the second equation. The conclusion follows. Also solved by Ioannis D. Sfikas, Athens, Greece; Polyahedra, Polk State College, USA; Arkady Alt, San Jose, CA, USA; Nicusor Zlota, Traian Vuia Technical College, Focsani, Romania; Dumitru Barac, Sibiu, Romania; Marin Chirciu, Colegiul Nat,ional Zinca Golescu, Pites, ti, Romania; Nguyen Viet Hung, Hanoi University of Science, Vietnam; Titu Zvonaru, Comănes, ti, Romania; Taes Padhihary, Disha Delphi Public School, India; Vicente Vicario García, Sevilla.
    [Show full text]