User:Prime.mover/Sandbox

From ProofWiki
Jump to: navigation, search
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.


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


The Elements (c. 300 B.C.E)

Definitions specific to this category can be found in Definitions/Abstract Algebra.

Donald Ervin Knuth

Donald E. Knuth

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense