반감수함수

Half-exponential function

수학에서 반감수 함수지수함수함수 제곱근, 즉 함수 ƒ 자체로 구성되면 지수함수가 되는 함수 [1][2]ƒ:

또 다른 정의는 ƒ비감소(non-dreaming)이고 ƒ−1(xC) ≤ o(log x)일 경우 반감한다는 것이다.C >[3] 0마다

만약 함수 operations이 표준 산술 연산, 지수, 로그, 실제 값 상수를 사용하여 정의된다면, ƒ(()은 부존재 또는 초존재라는 것이 증명되었다.[4][5]따라서 Hardy L 기능은 절반 이상일 수 없다.

자기 구성이 서로 같은 지수함수인 함수는 무한히 많다.특히 개방간격0, )0,1 {\ (0,1[A에서[, 까지의 모든 연속적증가함수에 대해 이 함수의 확장이 있다( )= 와 같은 실수의 f [6].함수 함수 방정식의 고유한 솔루션임

절반만 만족하는 함수의 예

ƒ이 도처에 연속적인 첫 번째 파생상품을 갖게 되는 간단한 예는 A= 1 ( )= + 1}:{1}:{1을 취하는 것이다

다항식과 지수 사이의 "중간" 성장률을 위한 계산 복잡성 이론에 절반의 우수함수가 사용된다.[2]

참조

  1. ^ Kneser, H. (1950). "Reelle analytische Lösungen der Gleichung φ(φ(x)) = ex und verwandter Funktionalgleichungen". Journal für die reine und angewandte Mathematik. 187: 56–67.
  2. ^ a b Peter Bro Miltersen; N. V. Vinodchandran; Osamu Watanabe (1999). Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy. Lecture Notes in Computer Science. Vol. 1627. pp. 210–220. CiteSeerX 10.1.1.16.2908. doi:10.1007/3-540-48686-0_21. ISBN 978-3-540-66200-6.
  3. ^ Alexander A. Razborov; Steven Rudich (August 1997). "Natural Proofs". Journal of Computer and System Sciences. 55 (1): 24–35. doi:10.1006/jcss.1997.1494.
  4. ^ "Fractional iteration - "Closed-form" functions with half-exponential growth".
  5. ^ "Shtetl-Optimized » Blog Archive » My Favorite Growth Rates". Scottaaronson.com. 2007-08-12. Retrieved 2014-05-20.
  6. ^ Crone, Lawrence J.; Neuendorffer, Arthur C. (1988). "Functional powers near a fixed point". Journal of Mathematical Analysis and Applications. 132 (2): 520–529. doi:10.1016/0022-247X(88)90080-7. MR 0943525.

외부 링크