hasAsymptoticExpansion
P90299
predicate
Indicates that one mathematical object serves as the asymptotic expansion approximating another object in a specified limit or regime.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| asymptoticExpansion | 1 |
| isAsymptoticExpansionOf | 1 |
Sample triples (4)
| Subject | Object |
|---|---|
| Riemann–Siegel theta function | (t/2) log(t/2π) − t/2 − π/8 + O(1/t) ⓘ |
| Stirling's approximation | ln Γ(z) via predicate surface "isAsymptoticExpansionOf" ⓘ |
| Barnes G-function | log G(z+1) expressed using Bernoulli numbers ⓘ |
| product logarithm | W(z) ~ ln z - ln ln z as |z| → ∞ via predicate surface "asymptoticExpansion" ⓘ |