User:Prime.mover/Sandbox
Welcome to prime.mover's Sandbox!
This space exists for prime.mover's storage and experimentation. Warning: This sandbox is not permanent. EXPECT ANYTHING YOU PUT HERE TO BE DELETED! |
This page exists for me to be able to test out features I am developing.
Contents |
Proof
test content. test content. test content. test content.
- $\displaystyle \int \frac 1 {1 + x^2} \mathrm{d}x = \arctan x + c$
All normal PW stuff works here, not just integrals ;)
Another proof title
You could even define another section inside (though I would discourage that)
This section is initially not visible
...Or was it?
Template pages: stub, tidy, proofread, questionable, explain
$\newcommand{\Re}{\operatorname {Re}\,} \newcommand {\pFq} [5] {{}_{#1} \operatorname{F}_{#2} \left({\genfrac{}{}{0pt}{}{#3}{#4} \bigg|{#5} }\right)}$
We consider, for various values of $s$, the $n$-dimensional integral\begin{align} \tag{1} W_n (s) &:= \int_{[0, 1]^n} \left| \sum_{k = 1}^n \mathrm{e}^{2 \pi \mathrm{i} \, x_k} \right|^s \mathrm{d}\boldsymbol{x}\end{align}which occurs in the theory of uniform random walk integrals in the plane, where at each step a unit-step is taken in a random direction. As such, the integral (1) expresses the $s$-th moment of the distance to the origin after $n$ steps.By experimentation and some sketchy arguments we quickly conjectured and strongly believed that, for $k$ a nonnegative integer\begin{align} \tag{2} W_3(k) &= \Re \, \pFq32{\frac12, -\frac k2, -\frac k2}{1, 1}{4}.\end{align}Appropriately defined, (2) also holds for negative odd integers. The reason for (2) was long a mystery, but it will be explained at the end of the paper.
The Elements (c. 300 B.C.E)
Definitions specific to this category can be found in Definitions/Abstract Algebra.
