User tom copeland - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T01:03:42Z http://mathoverflow.net/feeds/user/12178 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/115225/the-dedekind-eta-function-in-physics The Dedekind Eta Function in Physics Tom Copeland 2012-12-03T01:26:57Z 2012-12-26T09:27:54Z <p>This interesting little fellow popped up in some operator algebra (Witt / Virasoro Lie algebra) I was exploring, so I've been curious about where else the Dedekind $\eta$-function makes a cameo appearance and found that in physics it's related to the</p> <p>1) statistical parameters of solvable Ising models</p> <p>(See "<a href="http://books.google.co.jp/books?hl=en&amp;lr=&amp;id=j-pLi01XbFUC&amp;oi=fnd&amp;pg=PA21&amp;dq=GE%20Andrews%20reasonable%2band%2bunreasonable%2beffectiveness%2bof%2bnumber%2btheory&amp;ots=tUl15FN6zA&amp;sig=n1cTHjUpWjY42TLrl-OQxkz2xaY#v=onepage&amp;q=GE%20Andrews%20reasonable%2band%2bunreasonable%2beffectiveness%2bof%2bnumber%2btheory&amp;f=false" rel="nofollow">The Reasonable and Unreasonable Effectiveness of Number Theory in Statistical Mechanics</a>" by G. Andrews and "<a href="http://www.math.ucdavis.edu/~tracy/selectedPapers/1980s/CV31.pdf" rel="nofollow">Introduction to Exactly Solvable models in Statistical Mechanics</a>" by C. Tracy.) </p> <p>The difference between the average local occupation densities of two sub-lattices of a hard hexagon model of a lattice gas given on pp. 368-371 of Tracy is $R(\tau)=\frac{n(\tau)\eta(5\tau)}{\eta^2(3\tau)}$. </p> <p>2) partition functions (statistical mechanics variety) for colored bosons moving on a line (1/24 is the associated Casimir energy) and one-color fermions</p> <p>3) operator traces (characters) for the infinite dimensional Lie algebras $\widehat{su}_n$, equivalent to 2-Dim current algebras</p> <p>4) partition function of a microscopic black-hole in a 5-Dim D-brane</p> <p>5) string theory guage corrections</p> <p>(For 2-5, see "<a href="http://arxiv.org/abs/hep-ph/9912502" rel="nofollow">Nucleon Structure, Duality and Elliptic Theta Functions</a>" by W. Scott. For item 2, see also "<a href="http://arxiv.org/abs/0909.4460" rel="nofollow">Vertex Operators and Modular Forms</a>" by G. Mason and M. Tuite.)</p> <p>From pg. 39 of "<a href="http://arxiv.org/abs/1010.5792" rel="nofollow">Fivebrane instantons</a> ..." and on pg. 11 of "<a href="http://arxiv.org/abs/1207.1109" rel="nofollow">D3 instantons</a> ...," a correction to the field basis (of the RR axion dual to D3-branes) in type IIB string perturbation theory related to the action of S-duality in ten dimensions: </p> <p>$\tilde{c_a} \mapsto \tilde{c_a}-\tilde{c}_{2,a}\:\epsilon(g)$ where, with $g=\binom{a\:\:b}{c\:\:d}$, </p> <p>$$\exp(2\pi i \epsilon(g))=\frac{\eta\left [ \frac{a\tau+b}{c\tau+d} \right ]}{\left ( c\tau+d \right )^{\frac{1}{2}}\eta(\tau)}.$$</p> <p>6) partition function in 2+1 dimensions and vanishing chemical potential of non-relativistic fermions in a constant magnetic field </p> <p>("<a href="http://arxiv.org/abs/hep-th/0108022" rel="nofollow">Nonrelativistic Fermions in Magnetic Fields: a Quantum Field Theory Approach</a>" by O. Espinosa, J. Gamboa, S. Lepe, and F. Mendez)</p> <p>7) physics of gauge theories and the Dirac operator</p> <p>(See "<a href="http://www.maths.ed.ac.uk/~aar/papers/atiyahlg.pdf" rel="nofollow">The Logarithm of the Dedekind $\eta$ Function</a>" by M. Atiyah.)</p> <p>Michael Atiyah even goes so far as to say, "It seems therefore timely to attempt to survey the whole development of the theory of $\log(\eta)$, putting results in their natural order and in the appropriate general context. This is the aim of the present paper, in which the emphasis will be strongly geometrical. In a sense we shall show that the latest ideas from physics [circa 1987] provide the key to a proper understanding of Dedekind's original results."</p> <p>8) knots and dynamics</p> <p>(See "<a href="http://www.umpa.ens-lyon.fr/~ghys/articles/ghys-icm.pdf" rel="nofollow">Knots and Dynamics</a>" by E. Ghys, and Chapter 2 A New Twist in Knot Theory in Dana MacKenzie's book <a href="http://books.google.co.jp/books?id=yBL54nHAwXsC&amp;pg=PA14&amp;lpg=PA14&amp;dq=The%20Logarithm%20of%20the%20Dedekind%20eta%20%20Function%20%20Atiyah&amp;source=bl&amp;ots=NsCYEW6gaQ&amp;sig=7Tc3R-nSY4USVutxuCy1pf9zeQ4&amp;hl=en&amp;sa=X&amp;ei=jfa7UMOSCabNmgW43ICYBg&amp;sqi=2&amp;ved=0CDYQ6AEwAw#v=onepage&amp;q=The%20Logarithm%20of%20the%20Dedekind%20eta%20%20Function%20%20Atiyah&amp;f=false" rel="nofollow">What's Happening in the Mathematical Sciences Vol. 7</a>.)</p> <p>Ghys presents the equation $$24\log\eta\left(\frac{a\tau+b}{c\tau+d}\right)=24\: log(\eta(\tau))+6\: log(-(c\tau+d)^{2})+2\pi i\:\mathfrak{R}\left(\binom{a\: b}{c\: d}\right)$$</p> <p>where $\mathfrak{R}$ is the Rademacher function, which he relates to the linking number</p> <p>between two knots related to modular/Lorenz flow: “For every hyperbolic element $A=\binom{a\: b}{c\: d}$ in $PSL(2,Z)$, the linking number between the [modular/Lorenz] knot $k_A$ and the trefoil knot $l$ is equal to $\mathfrak{R}(A)$ ....” </p> <p>9) string/brane partition functions, propagators, and metrics</p> <p>In "<a href="http://homepages.physik.uni-muenchen.de/~s.halter/st1/" rel="nofollow">String Theory</a>" by S. Nibbelink, $\eta$ occurs in the denominator of string partition functions for fermionic and bosonic zero modes (pp. 163-7).</p> <p>A coefficient in the 10-dim metric for a 7-brane is given as $e^{\phi}=\tau_2 \eta^2\bar{\eta}^2|\prod_{i=1}^{k}(z-z_i)^{-\frac{1}{12}}|^2$ on pg. 493 of "<a href="http://arxiv.org/abs/1110.0918" rel="nofollow">Supergravity vacua and solitons</a>" by G. Gibbons.</p> <p><strong>In what other contexts in physics does the Dedekind $\eta$ function take a bow?</strong></p> <p>(Edit) Moreover, since this is a community wiki and not a test question with one best answer but an attempt to come to a better understanding of the $\eta$-function and associated math and physics, I invite people to expand on any of the items with specifics (e.g., exact formulas), more references, and/or insightful commentaries (e.g., what you believe are important aspects of the references). </p> <p>Other appearances: In Gliozzi's "The Infrared Limit of QCD Effective String" on pg. 14; Panero's "A numerical study of confinement in compact QED" on pg. 4; Zahed's "Holographic Pomeron and Primordial Viscosity" on pg. 1; Caselle and Pinn's "On the Universality of Certain Non-Renormalizable Contributions in Two-Dimensional Quantum Field Theory" on pg. 3; Billo, Casselle, and Pellegrini's "New numerical results and novel effective string predictions for Wilson loops" on pg. 6 and 15; and Basar, Kharzeev, Yee, and Zahed's "Holographic Pomeron and the Schwinger Mechanism" on pg. 7.</p> http://mathoverflow.net/questions/116561/a-dedekind-eta-trajectory-horocyclic-flow-reference-request A Dedekind Eta trajectory / horocyclic flow (Reference request) Tom Copeland 2012-12-17T03:49:22Z 2012-12-20T03:38:45Z <p>I've been exploring the composition of essentially the Dedekind $\eta$-function with parabolic Möbius transformations, </p> <p>$$C_L(z,t)=\left(\frac{z}{-tz+1}\right)^{\frac{1}{2}}\eta\left(\frac{z}{-tz+1}\right)\circeq\exp(\frac{i2\pi t}{24})\: z^{\frac{1}{2}}\:\eta(z)=C_R(z,t),$$</p> <p>where the symbol $\circeq$ is used to signify that equality holds only for integer $t$, and I came across the interesting parametric curves below for $z=-2+.3i$ and $-12 \leq t \leq 12$ :</p> <p>$xL(t)=Real[C_L(z,t)]\:\:\:$ and $\:\:\:yL(t)=Imag[C_L(z,t)]$ and analogously for $C_R(z,t)$ </p> <p><img src="http://tcjpn.files.wordpress.com/2012/12/img0332.png" alt="alt text"></p> <p>$C_L(z,t)$ is annihilated by $\frac{\partial }{\partial t}-z^2\frac{\partial }{\partial z}$, while $C_R(z,t)$ is not, even at integer $t$.</p> <p>Letting $z \mapsto -\frac{1}{z}$, gives $$C_L^i(z,t)=\eta(z+t)\circeq\exp(\frac{i2\pi t}{24})\: \eta(z)=C_R^i(z,t)$$</p> <p>and the corresponding figure</p> <p><img src="http://tcjpn.files.wordpress.com/2012/12/img00681.png" alt="alt text"></p> <p>$C_L^i(z,t)$ is annihilated by $\frac{\partial }{\partial t}-\frac{\partial }{\partial z}$, while $C_R^i(z,t)$ is not, even at integer $t$.</p> <p><strong>I've scanned through quite a lot of papers containing info on the $\eta$-function yet haven't seen similar figures, but the Dedekind $\eta$ has been pretty well explored, so I was hoping someone could direct me to some references in the vast literature that might explain the geometry of such trajectories. (Obviously, a torus is evoked, but ....)</strong> </p> <p>I'm aware that E. Ghys deals with similar topics in "<a href="http://www.umpa.ens-lyon.fr/~ghys/articles/icm.pdf" rel="nofollow">Knots and Dynamics</a>" (see also <a href="http://www.ams.org/samplings/feature-column/fcarc-lorenz" rel="nofollow">Site1</a> and <a href="http://terrytao.wordpress.com/2007/08/03/2006-icm-etienne-ghys-knots-and-dynamics/" rel="nofollow">Site2</a>), but I'm not sure (yet) how to clearly connect his arguments to the above curves.</p> http://mathoverflow.net/questions/31879/are-there-other-nice-math-books-close-to-the-style-of-tristan-needham/102712#102712 Answer by Tom Copeland for Are there other nice math books close to the style of Tristan Needham? Tom Copeland 2012-07-20T03:32:32Z 2012-11-27T23:48:36Z <p><a href="http://books.google.co.jp/books/about/The_Shape_of_Algebra_in_the_Mirrors_of_M.html?id=TceswV0wJFQC&amp;redir_esc=y" rel="nofollow">The Shape of Algebra in The Mirrors of Mathematics</a> by G. Katz and V. Nodelman</p> <p>and</p> <p><a href="http://books.google.co.jp/books?id=nqMNrHE1U28C&amp;pg=PA23&amp;hl=ja&amp;source=gbs_toc_r&amp;cad=4#v=onepage&amp;q&amp;f=false" rel="nofollow">The Wild World of 4-Manifolds</a> by Alexandru Scorpan</p> http://mathoverflow.net/questions/112743/conjugation-the-nature-of-the-beast-spawn-perspectives-broadest-formulation Conjugation: The nature of the beast--spawn, perspectives, broadest formulation Tom Copeland 2012-11-18T03:28:57Z 2012-11-19T05:24:39Z <p>By <a href="http://en.wikipedia.org/wiki/Conjugation_%28group_theory%29" rel="nofollow">conjugation</a>, I mean any mathematical maneuver of the basic form</p> <p>$$O=KPK^{-1}\Leftrightarrow P=K^{-1}OK.$$</p> <p><strong>What are some interesting examples of, perspectives on, and/or broad (broadest?) enlightening formulations of this relation?</strong></p> <p>(Questions about the general nature of this beast have re-surfaced most recently in a sojourn in Givental's "<a href="http://arxiv.org/abs/math/0108100" rel="nofollow">Gromov-Witten invariants and quantization of quadratic invariants</a>" where there's a plethora of its spawn.)</p> <p><strong>Examples:</strong></p> <p><strong>1)</strong> $$x^{-a}\:\frac{\widehat{Dx}^n}{n!}\:x^{a}=L^a_n(-\widehat{xD})\Leftrightarrow\frac{\widehat{Dx}^n}{n!}=x^{a}L^a_n(-\widehat{xD})x^{-a}$$ </p> <p>where by definition $\widehat{AB}^n=A^nB^n$, $D=d/dx$, and $L^a_n(x)$ are the <a href="http://en.wikipedia.org/wiki/Laguerre_polynomials" rel="nofollow">associated Laguerre polynomials</a> of order $a$ and degree $n$. This a a good analog of a <a href="http://en.wikipedia.org/wiki/Matrix_similarity" rel="nofollow">matrix similarity transformation</a> with the Laguerre polynomials represented as operators, but also, when another conjugation with $e^{x}$ is performed, reducing the ops to simple functions, they serve as an orthonormal basis for resolving functions. (<a href="http://oeis.org/A185896" rel="nofollow">OEIS-A185896</a> is another interesting, but less general example.)</p> <p><strong>2)</strong> $$x^{1/2}\:D^{m+1}\:x^{-1/2}=L_m\Leftrightarrow D^{m+1}=x^{-1/2}\:L_m\:x^{1/2}$$</p> <p>where $D=x\:\frac{d}{dx}\: x$ (see <a href="http://oeis.org/A132440" rel="nofollow">A132440</a> and comments in <a href="http://oeis.org/A007318" rel="nofollow">A007318</a> on this classical operator and its relation to ladder ops). Here $L_m$ ($m=-1,0,1,...$) is a mutation of the ops defined on pg. 3 of Givental's paper, related to infinitesimal symplectic transformations and the infinite dimensional <a href="http://en.wikipedia.org/wiki/Witt_algebra" rel="nofollow">Lie Witt / Virasoro algebras</a>. </p> <p><strong>3)</strong> (Path ordered exponential related to <a href="http://en.wikipedia.org/wiki/Wilson_loop" rel="nofollow">Wilson loops</a>)</p> <p>$$g(x) \mathcal{P}e^{i \oint_C A_\mu dx^\mu} g^{-1}(x)=\mathcal{P}e^{i \oint_C A_\mu dx^\mu}$$</p> <p>where $\mathcal{P}$ is the <a href="http://en.wikipedia.org/wiki/Path-ordering" rel="nofollow">path ordering operator</a>, $A_\mu$ is <a href="http://en.wikipedia.org/wiki/Gauge_field" rel="nofollow">gauge field</a>, $C$ is a closed curve in space, and $g$ represents a gauge transformation. E.g., for $SU(2)$ gauges, $g^{\pm 1}(x)\equiv\exp{\pm i\alpha^j(x)\frac{\sigma^j}{2}}$, where $\alpha^j(x)$ is an arbitrary real function of $x$ and $\sigma^j$ are the three <a href="http://en.wikipedia.org/wiki/Pauli_matrices" rel="nofollow">Pauli matrices</a>.</p> <p><strong>4)</strong> </p> <p>$$tr(A)=\ln[det[\exp(A)]] \Leftrightarrow det(A)=\exp[tr[\ln(A)]]$$</p> <p>See <a href="http://mathoverflow.net/questions/111770/cycling-through-the-zeta-garden-zeta-functions-for-graphs-cycle-index-polynomia" rel="nofollow">MO-Q111770</a> and the <a href="http://en.wikipedia.org/wiki/Cayley%25E2%2580%2593Hamilton_theorem" rel="nofollow">Cayley-Hamilton theorem</a> for some consequences of this conjugation.</p> <p><strong>Please feel free to elaborate on these examples.</strong></p> http://mathoverflow.net/questions/112062/geometric-physical-probabilistic-interpretations-of-riemann-zetan1 Geometric / physical / probabilistic interpretations of Riemann zeta(n>1)? Tom Copeland 2012-11-11T04:25:51Z 2012-11-17T14:39:48Z <p><strong>What are some physical, geometric, or probabilistic interpretations of the values of the Riemann zeta function at the positive integers greater than one?</strong></p> <p>I've found some examples:</p> <p>1) In <a href="http://mathoverflow.net/questions/111339/simple-tamagawa-number-calculations" rel="nofollow">MO-Q111339</a> on a Tamagawa number, GH states</p> <p>$$\mathrm{vol}(\mathrm{SL}_2(\mathbb{R})/\mathrm{SL}_2(\mathbb{Z}))=\zeta(2).$$</p> <p>2) In "Quantum Gauge Theories in Two Dimensions," Edward Witten derives</p> <p>$$\mathrm{vol}(\mathcal M)=\frac{2}{(\sqrt{2}\:\pi)^{2g-2}}\zeta(2g-2)$$</p> <p>from a volume form for the moduli space $\mathcal M$ of flat connections on a gauge group ($G=SU(2)$) bundle over a compact two-dimensional manifold, a Riemann surface of genus $g$, and, for a connected sum of an orientable surface of genus $g$ with $k$ Klein bottles and $r$ copies of the projective plane $RP^2$, he derives </p> <p>$$\mathrm{vol}(\mathcal M)=\frac{2(1-2^{1-(2g-2+2k+r)})}{(\sqrt{2}\:\pi)^{2g-2+2k+r}} \zeta(2g-2+2k+r).$$ </p> <p>3) In Wikipedia on the <a href="http://en.wikipedia.org/wiki/Stefan-Boltzmann_law" rel="nofollow">Stefan-Boltzmann law</a>, the black body irradiance (total energy radiated per unit surface area of a black body per unit time) is given as</p> <p>$$j^{*}=2\pi\:3!\zeta(4)\:\frac{(kT)^{4}}{c^{2}h^{3}}.$$</p> <p>(In n-dimensional space, it's proportional to $n!\zeta(n+1)$, and <a href="http://en.wikipedia.org/wiki/Plancks_law" rel="nofollow">Planck's law</a> for the electromagnetic energy density inside the 3-D black body has an extra factor of $4/c$.)</p> <p>4) In "Feynman's Sunshine Numbers," David Broadhurst gives the rate per unit surface area at which a black body at temperature $T$ emits photons as</p> <p>$$2\pi\:2!\zeta(3)\:\frac{(kT)^{3}}{c^{2}h^{3}}.$$</p> <p>(And the density of photons inside the body has an extra factor of $4/c$.)</p> <p><strong>Motivation</strong>: I'm motivated not only by general interest, but also by <a href="http://mathoverflow.net/questions/111165/riemann-zeta-function-at-positive-integers-and-an-appell-sequence-of-polynomials" rel="nofollow">MO-Q111165</a> and <a href="http://mathoverflow.net/questions/111770/cycling-through-the-zeta-garden-zeta-functions-for-graphs-cycle-index-polynomia" rel="nofollow">MO-Q111770</a>. Determinants (volumes) of adjacency matrices and, therefore, the <a href="http://en.wikipedia.org/wiki/Cycle_index" rel="nofollow">cycle index polynomials</a> (CIPs) for the symmetric group pop up in statistical physics, e.g., in <a href="http://arxiv.org/abs/1104.4323" rel="nofollow">Potts q-color field theory and scaling random cluster model</a>, and the CIPS can be "rescaled" to obtain the <a href="http://en.wikipedia.org/wiki/Complete_Bell_polynomials" rel="nofollow">complete Bell polynomials</a> (<a href="https://oeis.org/A036040" rel="nofollow">OEIS-A036040</a>) which are related to the <a href="http://en.wikipedia.org/wiki/Cumulants" rel="nofollow">cumulant</a> expansion polynomials (<a href="https://oeis.org/A127671" rel="nofollow">OEIS-A127671</a>), both of which are related to statistical correlations and their diagrammatics (see references in <a href="https://oeis.org/A036040" rel="nofollow">OEIS-A036040</a>).</p> <p>5) The $p_n(z)$ of <a href="http://mathoverflow.net/questions/111165/riemann-zeta-function-at-positive-integers-and-an-appell-sequence-of-polynomials" rel="nofollow">MO-Q111165</a> seem formally related to the <a href="http://en.wikipedia.org/wiki/Chern_class" rel="nofollow">Chern classes</a> $c_{k}(V)$ of a direct (infinite) sum of line bundles $\:\:\:\: V=L_{1}\oplus L_2\oplus ...\:.$ :</p> <p>With $x_{i}=c_{1}(L_i)$, the first Chern classes, </p> <p>$$p_k(z)=k!\:c_{k}(V)=k!\:e_{k}(x_{1},x_{2}, ...),$$</p> <p>where $e_{k}$ are <a href="http://en.wikipedia.org/wiki/Newton%2527s_identities#Expressing_power_sums_in_terms_of_elementary_symmetric_polynomials" rel="nofollow">elementary symmetric polynomials</a>. The $\zeta(n)$ can be identified as the power sums of the first Chern classes, and then, for example,</p> <p>$$3!\:c_{3}(V)=p_3(z)=(z+\gamma)^3-3\zeta(2)(z+\gamma)+2\zeta(3)$$ $$4!\:c_{4}(V)=p_4(z)=(z+\gamma)^4-6\zeta(2)(z+\gamma)^2+8\zeta(3)(z+\gamma)+3[\zeta^2(2)-2\zeta(4)].$$</p> <p><strong>Update (Nov. 16, 2012)</strong>: Just found the sequence in a thesis by R. Lu, "<a href="http://digital.library.adelaide.edu.au/dspace/bitstream/2440/50479/1/02whole.pdf" rel="nofollow">Regularized Equivariant Euler Classes and Gamma Functions</a>," which discusses the relationship to Chern and Pontrjagin classes. </p> <p>See also "<a href="http://arxiv.org/abs/1101.1647" rel="nofollow">An integral lift of the Gamma-genus</a>" and "<a href="http://arxiv.org/abs/math/0306151" rel="nofollow">The motivic Thom isomorphism</a>" by Jack Morava and "<a href="http://arxiv.org/abs/0806.0107" rel="nofollow">Hodge theoretic aspects of mirror symmetry</a>" by L. Katzarkov, M. Kontsevich, and T. Pantev.</p> http://mathoverflow.net/questions/112062/geometric-physical-probabilistic-interpretations-of-riemann-zetan1/112124#112124 Answer by Tom Copeland for Geometric / physical / probabilistic interpretations of Riemann zeta(n>1)? Tom Copeland 2012-11-11T22:49:25Z 2012-11-17T14:39:48Z <p><strong>Elaborating on Nash's comment</strong>:</p> <p>Oliver, special case of <a href="http://en.wikipedia.org/wiki/Zipf%2527s_law" rel="nofollow">Zipf's law</a>, right? That leads to the <a href="http://en.wikipedia.org/wiki/Zipf-Mandelbrot_law" rel="nofollow">Zipf–Mandelbrot law</a> that has a probability mass function of $$f(k;N,1,s)=\displaystyle\frac{\frac{1}{(k+1)^s}}{\sum_{i=1}^{N}\frac{1}{(i+1)^s}}$$ and then back to $\mathrm{vol}(\mathcal M)$ for the Klein bottles and particle statistics through $$(1-2^{1-s})\zeta(s)=\sum_{n=0}^{\infty } \frac{1}{2^{n+1}} \sum_{k=0}^{n}(-1)^k \binom{n}{k}\frac{1}{(k+1)^s}$$ $$=\eta(s)=\int_{0}^{\infty }\frac{1}{\exp(x)+1}\frac{x^{s-1}}{(s-1)!}dx$$</p> <p>where $\eta(s)$ is the <a href="http://en.wikipedia.org/wiki/Dirichlet_eta_function" rel="nofollow">Dirichlet eta function</a>, and so the Klein bottle manifolds seem connected to fermions and <a href="http://en.wikipedia.org/wiki/Fermi-Dirac_statistics" rel="nofollow">Fermi-Dirac statistics</a> (as apropos <a href="http://en.wikipedia.org/wiki/M%C3%B6bius_strip" rel="nofollow">Möbius twists</a>), whereas the orientable Riemann manifolds seem related to bosons and Bose-Einstein statistics. </p> <p><strong>And, Alan Gut</strong> in "<a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.66.3284&amp;rep=rep1&amp;type=pdf" rel="nofollow">Some remarks on the zeta distribution</a>" defines the random variable $U$ with probability mass function (choose your favorite $\sigma= 2, 3, ...$) </p> <p>$$P(U_\sigma)=\frac{1}{\zeta(\sigma)n^\sigma}$$</p> <p>and says, "The main point is that, for $\sigma>1$, one can view the normalized zeta function $\varphi_{\sigma}(t)=\frac{\zeta(\sigma\:+\:i\:t)) }{\zeta(\sigma)}$ as the characteristic function of, as it turns out, a compound Poisson distribution. "</p> <p>He shows how the moments and cumulants of the distribution (related to OEIS <a href="https://oeis.org/A036040" rel="nofollow">A036040</a> and <a href="https://oeis.org/A127671" rel="nofollow">A127671</a>) given as functions of $\zeta(\sigma)$ and its derivatives are related to the von Mangoldt and Moebius functions and re-derives (and extends) an identity due to Selberg. </p> <p><strong>On a tangent</strong>, the zeta values can be used to translate the Gamma-genus: </p> <p>With $$R_z = z+\gamma + \sum_{n=1}^{\infty } (-1)^n\zeta (n+1)(d/dz)^n,$$ </p> <p>then $$\displaystyle \exp(\omega\:R_z)\frac{e^{(t\:z)}}{t!}=\exp{(\omega\:d/dt)}\frac{e^{(t\:z)}}{t!}=\frac{e^{((t+\omega)\:z)}}{(t+\omega)!}$$</p> http://mathoverflow.net/questions/111165/riemann-zeta-function-at-positive-integers-and-an-appell-sequence-of-polynomials Riemann zeta function at positive integers and an Appell sequence of polynomials related to fractional calculus Tom Copeland 2012-11-01T15:48:45Z 2012-11-16T10:39:14Z <p>I was exploring some raising and lowering operators related to an infinitesimal generator for fractional integro-derivatives and found an <a href="http://en.wikipedia.org/wiki/Appell_sequence" rel="nofollow">Appell sequence</a> of polynomials, i.e., an infinite sequence of polynomials for which $\frac{d}{dx}p_n(x)=np_{n-1}(x)$, that is defined by the following recursion relation:</p> <p>$p_{0}(x)=1$, $p_{1}(x)=x+\gamma$, and for $n>0$ $$p_{n+1}(x)=(x+\gamma)p_{n}(x)+\sum_{j=1}^{n}(-1)^j\binom{n}{j}j!\zeta (j+1)p_{n-j}(x)$$ </p> <p>where $\gamma=-\frac{\mathrm{d} }{\mathrm{d} \beta }\beta !\mid_{\beta =0 }$, the Euler-Mascheroni constant, and $\zeta(s)$ is the Riemann zeta function.</p> <p>They satisfy $$p_{n}(x)=\frac{\mathrm{d^n} }{\mathrm{d} \beta^n }\frac{\exp(\beta x)}{\beta !} \mid_{\beta =0 }.$$</p> <p>Explicitly,</p> <p>$$p_2(x)=(x+\gamma)^2-\zeta(2)$$ $$p_3(x)=(x+\gamma)^3-3\zeta(2)(x+\gamma)+2\zeta(3)$$ $$p_4(x)=(x+\gamma)^4-6\zeta(2)(x+\gamma)^2+8\zeta(3)(x+\gamma)+3[\zeta^2(2)-2\zeta(4)]$$ $$p_5=p_1^5-10\zeta(2)p_1^3+20\zeta(3)p_1^2+15[\zeta^2(2)-2\zeta(4)]p_1+4[-5\zeta(2)\zeta(3)+6\zeta(5)]$$</p> <p>Update: The coefficients appear related to <a href="http://oeis.org/A055137" rel="nofollow">OEIS-A055137</a>, coefficients of the characteristic polynomial of the adjacency matrix of the complete n-graph.</p> <p><strong>Can anyone provide a reference for these polynomials or point out an interesting combinatorial interpretation?</strong></p> <p><em><strong>Background: Rich associations with fractional calculus, <a href="http://en.wikipedia.org/wiki/Digamma_function" rel="nofollow">digamma</a> function, ladder operators</em></strong> </p> <p>The fractional integro-derivative can be represented as an exponentiated convolutional infinitesimal generator (cf. <a href="http://math.stackexchange.com/questions/125343/lie-group-heuristics-for-a-raising-operator-for-1n-fracdnd-betan-fra" rel="nofollow">MSE-Q125343</a>):</p> <p>$\displaystyle\frac{d^{-\beta}}{dx^{-\beta}}\frac{x^{\alpha}}{\alpha!}= \displaystyle\frac{x^{\alpha+\beta}}{(\alpha+\beta)!} = exp(-\beta R_x) \frac{x^{\alpha}}{\alpha!}$</p> <p>where </p> <p>$$R_xf(x)=\frac{1}{2\pi i}\displaystyle\oint_{|z-x|=|x|}\frac{-ln(z-x)+\lambda}{z-x}f(z)dz$$</p> <p>$$=(-ln(x)+\lambda)f(x)+\displaystyle\int_{0}^{x}\frac{f\left ( x\right )-f(u)}{x-u}du.$$</p> <p>with $\lambda=d\beta!/d\beta|_{\beta=0}$. (Note the integrand is related to the <a href="http://en.wikipedia.org/wiki/Q-derivative" rel="nofollow">q (Jackson) derivative</a>, and the <a href="http://en.wikipedia.org/wiki/Pincherle_derivative" rel="nofollow">Pincherle derivative</a> / commutator is $[R_x,x]=D_x^{-1}$.)</p> <p>Then $$exp(-\beta R_x) 1 =\displaystyle\frac{x^\beta}{\beta!} = exp(-\beta\psi_{.}(x)),$$</p> <p>with $(\psi_{.}(x))^n=\psi_n(x)$, which implies</p> <p>$$\psi_{n}(x)=(-1)^n \frac{d^n}{d\beta^n}\frac{x^\beta}{\beta!}|_{\beta=0},$$ $$L_x\psi_{n}(x)=n\psi_{n-1}(x)=-x\displaystyle\frac{d}{dx}\psi_{n}(x),$$ $$R_x\psi_{n}(x)=\psi_{n+1}(x).$$</p> <p>Let $x=e^z$ and $p_n(z)=(-1)^n \psi_{n}(e^z)$. Then</p> <p>$$exp(-\beta R_z) 1 =\displaystyle\frac{exp(\beta z)}{\beta!} = exp(\beta p_{.}(z)),$$</p> <p>$$L_z p_{n}(z)=n p_{n-1}(x)=\displaystyle\frac{d}{dz} p_{n}(z),$$ $$R_z p_{n}(z)= p_{n+1}(z)= (z+\gamma)p_n(z)-\displaystyle\int_{-\infty}^{z}\frac{p_n\left ( z\right )-p_n(u)}{e^z-e^u} e^u du$$</p> <p>with $\gamma=-d\beta!/d\beta|_{\beta=0}$, the Euler-Mascheroni constant. </p> <p>Since $p_n(z)$ is an Appell sequence and, consequently, $p_n(x+y)=(p.(x)+y)^n$, umbrally, a change of integration variables $\omega=z-u$ gives </p> <p>$$R_z p_{n}(z)= p_{n+1}(z)= (z+\gamma)p_n(z)-\displaystyle\int_{0}^{\infty}[p_n(z)-(p_{.}(z)-\omega)^n] \frac{1}{e^{\omega}-1}d\omega$$</p> <p>from which the recursion formula follows.</p> <p>In addition, using the operator formalism for <a href="http://mathworld.wolfram.com/ShefferSequence.html" rel="nofollow">Sheffer sequences</a>, of which the Appell is a special case, </p> <p>$$R_z=z-\frac{\mathrm{d} }{\mathrm{d} \beta}ln[\beta!]\mid _{\beta=\frac{\mathrm{d} }{\mathrm{d} z}=D_z}=z-\Psi(1+D_z)$$</p> <p>where $\Psi(x)$ is the <a href="http://en.wikipedia.org/wiki/Digamma_function" rel="nofollow">digamma or Psi function</a>.</p> <p><strong>UPDATE (Nov. 16, 2012)</strong>: Just found this exact sequence in the thesis "<a href="http://digital.library.adelaide.edu.au/dspace/bitstream/2440/50479/1/02whole.pdf" rel="nofollow">Regularized Equivariant Euler Classes and Gamma Functions</a>" by R. Lu with a discussion of the relationships to Chern and Pontrjagin classes.</p> http://mathoverflow.net/questions/111165/riemann-zeta-function-at-positive-integers-and-an-appell-sequence-of-polynomials/111368#111368 Answer by Tom Copeland for Riemann zeta function at positive integers and an Appell sequence of polynomials related to fractional calculus Tom Copeland 2012-11-03T11:55:23Z 2012-11-16T10:39:14Z <p><strong>Follow-up</strong> on Rupinski's and Chapoton's observations:</p> <p>To nail down the identification of the $p_n(x)$ with the <a href="http://en.wikipedia.org/wiki/Cycle_index" rel="nofollow">cycle index polynomials</a> for $S_n$ (or the partition polynomials of the refined Stirling numbers of the first kind <a href="https://oeis.org/A036039" rel="nofollow">A036039</a>), look at the Taylor series rep of the digamma operator for the raising / creation operator for the $p_n(z)$ basis </p> <p>$$R_z = z-\Psi(1+D_z) = z+\gamma + \sum_{n=1}^{\infty } (-1)^n\zeta (n+1)D_z^n.$$ </p> <p>This is precisely the raising operator for the cycle index polynomials as presented on page 23 of <a href="http://tcjpn.wordpress.com/2011/04/11/lagrange-a-la-lah/" rel="nofollow">Lagrange à la Lah Part I</a> with $c_1=z+\gamma=p_1(x)$ and $c_{n+1}=(-1)^n\zeta(n+1)$ for $n>0$</p> <p>$$D^{-1}_{c_1}= :\frac{c_{.}}{1-c_{.}D_{c_1}}: = c_1+\sum_{n=1}^{\infty } c_{n+1}D_{c_1}^n.$$</p> <p>Alternatively, the <a href="http://en.wikipedia.org/wiki/Newton%27s_identities" rel="nofollow">Newton identities</a> extrapolated to an entire function as an infinite order polynomial using the Weierstrass factorization maneuver can be applied to see the connections to the power and elementary symmetric polynomial formalism: </p> <p>$$\exp\left (-\beta p_{.}(z)\right )=\frac{\exp\left (-\beta z \right )}{\left (-\beta \right )!}=\exp\left (-\beta(z+\gamma) \right )\prod_{k=1}^{\infty }\left ( 1-\frac{\beta}{k} \right )\exp\left (\frac{\beta}{k} \right )$$</p> <p>$$=\exp\left [-(z+\gamma)\beta -\sum_{k=2}^{\infty } \frac{\zeta (k)\beta ^k}{k} \right ]=\exp\left [ :ln(1-a\beta ) :\right ]$$ where $a^1=a_{1}=(z+\gamma)$ and $a^k=a_k=\zeta(k)$ for $k>1$, but this is precisely the umbral form of the e.g.f. for the cycle index polynomials (mod signs).</p> <p>(Also there are connections to <a href="http://en.wikipedia.org/wiki/Rational_zeta_series" rel="nofollow">rational zeta series</a>.)</p> <p><strong>Update (Nov. 16, 2012)</strong>: The generating series appears on pg. 58 in "<a href="http://arxiv.org/abs/0806.0107" rel="nofollow">Hodge theoretic aspects of mirror symmetry</a>" by L. Katzarkov, M. Kontsevich, and T. Pantev (following Lu's references).</p> http://mathoverflow.net/questions/111770/cycling-through-the-zeta-garden-zeta-functions-for-graphs-cycle-index-polynomia Cycling through the Zeta Garden: Zeta functions for graphs, cycle index polynomials, and determinants Tom Copeland 2012-11-08T00:52:10Z 2012-11-08T01:05:26Z <p>Zeta functions abound in mathematics. Audrey Terras describes in <a href="http://math.ucsd.edu/~aterras/msripaper.pdf" rel="nofollow">Zeta Functions and Chaos</a> three zeta functions--the <a href="http://en.wikipedia.org/wiki/Local_zeta_function" rel="nofollow">zeta fct. of a projective non-singular algebraic variety</a>; the <a href="http://en.wikipedia.org/wiki/Artin-Mazur_zeta_function" rel="nofollow">Artin-Mazur zeta function</a>; and a special <a href="http://en.wikipedia.org/wiki/Ruelle_zeta_function" rel="nofollow">Reulle (aka dynamical systems or Smale) zeta function</a>, the <a href="http://en.wikipedia.org/wiki/Ihara_zeta_function" rel="nofollow">Ihara zeta function</a> for a graph $G$--all can be expressed in the same basic form:</p> <p>$$\zeta(u)=\exp\left ( \sum_{m\geq 1} \frac{N_mu^m}{m} \right ).$$</p> <p>For graph zeta functions $\zeta(u,G_n)$ typically $N_m$ is the number of closed walks of $m$ steps (with some qualifications) on the graph $G$ with $n$ vertices and is related to the trace of the power of an <a href="http://en.wikipedia.org/wiki/Adjacency_matrix" rel="nofollow">adjacency matrix</a> $A_n$, i.e., $N_m = tr[A_n^m]$ (e.g., <a href="https://oeis.org/A054878" rel="nofollow">A054878</a> and <a href="https://oeis.org/A092297" rel="nofollow">A092297</a>).</p> <p>In this case, you can use the general heuristic $O=KPK^{-1}\Leftrightarrow P=K^{-1}OK$ to obtain </p> <p>$$tr(A)=\ln[det[\exp(A)]] \Leftrightarrow det(A)=\exp[tr[\ln(A)]]$$</p> <p>and then</p> <p>$$det(I-uA_n)=\exp[tr[ln(I-uA_n)]]=\exp\left( -\sum_{m\geq 1} \frac{tr(A_n^m)u^m}{m} \right)$$ $$=\exp\left (-\sum_{m\geq 1} \frac{N_mu^m}{m} \right ),$$</p> <p>so </p> <p>$$\zeta(u;G_n)=\frac{1}{det(I-uA_n)}=\exp\left(\sum_{m\geq 1} \frac{tr(A_n^m)u^m}{m} \right)=\exp\left(-:\ln(1-ua): \right).$$ where $a^k=a_k=tr(A_n^k)$ for $k>0$.</p> <p>This last expression is the umbral form for the exponential generating function for the <a href="http://en.wikipedia.org/wiki/Cycle_index" rel="nofollow">cycle index polynomials</a> (<a href="https://oeis.org/A036039" rel="nofollow">OEIS-A036039</a>) for the symmetric group (mod signs).</p> <p>The Appell sequence in <a href="http://mathoverflow.net/questions/111165/riemann-zeta-function-at-positive-integers-and-an-appell-sequence-of-polynomials" rel="nofollow">MO-Q111165</a> incorporating the Riemann zeta function reverses the last relation in some sense:</p> <p>$$\exp\left (-\beta p_{.}(z)\right )=\exp\left [-(z+\gamma)\beta -\sum_{k=2}^{\infty } \frac{\zeta (k)\beta ^k}{k} \right ]=\exp\left [ :ln(1-b\beta ) :\right ]$$ where $b^1=b_{1}=(z+\gamma)$ and $b^k=b_k=\zeta(k)$ for $k>1$.</p> <p>For easy reference: $$p_{0}(x)=1$$ $$p_{1}(x)=x+\gamma$$ $$p_2(x)=(x+\gamma)^2-\zeta(2)$$ $$p_3(x)=(x+\gamma)^3-3\zeta(2)(x+\gamma)+2\zeta(3)$$ $$p_4(x)=(x+\gamma)^4-6\zeta(2)(x+\gamma)^2+8\zeta(3)(x+\gamma)+3[\zeta^2(2)-2\zeta(4)]$$</p> <p><strong>These polynomials are the first few cycle index polynomials for the symmetric group. I'd like to relate each $p_n(x)$ to the characteristic polynomial of a matrix with a null main diagonal.</strong></p> <p>For example, for such a 3x3 matrix the char polynomial is</p> <p>$$\sigma^3-(a_{12}a_{21}+a_{13}a_{31}+a_{23}a_{32})\sigma+(a_{12}a_{23}a_{31}+a_{13}a_{32}a_{21}).$$</p> <p>Picture a triangle with the vertices (v) labelled 1 to 3. Make a closed loop or path traversing the triangle from v_1 through v_2 and v_3 and then to v_1. Denote this closed transition/loop/path of three steps and length three by $a_{12}a_{23}a_{31}$ and assign it the "moment/transition amplitude" of $\zeta(3)$. Likewise, assign the amplitude $\zeta(2)$ to paths of two steps and length one $a_{12}a_{21}$, an amplitude of $\sigma=x+\gamma$ to a self- or null-loop, and so on. This generates $p_3(x)$. </p> <p>The analogous 4x4 determinant generates six paths each with four steps and length four, e.g., $a_{12}a_{24}a_{43}a_{31}$, that can be assigned an amplitude of $\zeta(4)$ each and three sets of two paths of two steps and length one, e.g., $a_{13}a_{31}a_{24}a_{42}$, that can be assigned an amplitude of $\zeta^{2}(2)$. The algorithm can be continued to the other terms to generate $p_4(x)$. </p> <p><strong>How to prove that the algorithm will work for all $p_n(x)$, i.e., that each $p_n(x)$ can be generated in the above manner from an $n$ by $n$ "adjacency" matrix?</strong></p> http://mathoverflow.net/questions/109127/what-properties-should-a-transform-have-to-deserve-the-descriptor-fourier What properties should a transform have to deserve the descriptor Fourier? Tom Copeland 2012-10-08T09:41:59Z 2012-10-08T13:03:43Z <p>Two MO questions, "<a href="http://mathoverflow.net/questions/9834/heuristic-behind-the-fourier-mukai-transform" rel="nofollow">Heuristic behind the Fourier-Mukai transform</a>" and "<a href="http://mathoverflow.net/questions/97361/explaining-mukai-fourier-transforms-physically" rel="nofollow">Explaining Mukai-Fourier transforms physically</a>," compel me to ask these two related questions:</p> <p>1) What properties do you feel are essential for a transform to possess to be called a "Fourier" transform?</p> <p>2) What properties of the classical Fourier transform are not necessarily shared by a generalized "Fourier" transform? </p> <p>In other words, how can I recognize a "Fourier" transform?</p> http://mathoverflow.net/questions/32099/what-is-lagrange-inversion-good-for/51838#51838 Answer by Tom Copeland for What is Lagrange Inversion good for? Tom Copeland 2011-01-12T11:16:27Z 2012-10-01T03:16:32Z <p><em><strong>The reps of the Lagrange inversion formula (LIF) in different “coordinate systems” are intrinsically interesting</em></strong>. </p> <p>Consider a compositional inverse pair of functions, $h$ and $h^{-1}$, analytic at the origin with $h(0)=0=h^{-1}(0)$.</p> <p>Then with $\omega=h(z)$ and $g(z)=1/[dh(z)/dz]$,</p> <p>$$\exp \left[ {t \cdot g(z)\frac{d}{{dz}}} \right]f(z) = \exp \left[ {t\frac{d}{{d\omega }}} \right]f[{h^{ - 1}}(\omega )] = f[{h^{ - 1}}[t + \omega]] = f[{h^{ - 1}}[t + h(z)]],$$ so $$\exp \left[ {t \cdot g(z)\frac{d}{{dz}}} \right]z |_{z=0}=h^{-1}(t)$$</p> <p>(see <a href="http://oeis.org/A145271" rel="nofollow">OEIS A145271</a> and <a href="http://oeis.org/A139605" rel="nofollow">A139605</a> for more relations).</p> <p>With the power series rep $h(z)= c_1z + c_2z^2 + c_3z^3 + ... ,$ </p> <p>$$\frac{1}{5!}[g(z)\frac{d}{{dz}}]^{5}z|_{z=0} = \frac{1}{c_1^{9}} [14 c_2^{4} - 21 c_1 c_2^2 c_3 + c_1^2[6 c_2 c_4+ 3 c_3^2] - 1 c_1^3 c_5],$$</p> <p>which is the coefficient of the fifth order term of the power series for $h^{-1}(t)$. This is related to a refined f-vector (face-vector) for the 3-D Stasheff polytope, or 3-D associahedron, with <strong>14</strong> vertices (0-D faces), <strong>21</strong> edges (1-D faces), <strong>6</strong> pentagons (2-D faces), <strong>3</strong> rectangles (2-D faces), <strong>1</strong> 3-D polytope (3-D faces). </p> <p>This correspondence between the refined f-vectors of the n-Dim Stasheff polytope, or associahedron, and the coefficients of the (n+2) term of the compositional inverse holds in general, (see <a href="http://oeis.org/A133437" rel="nofollow">A133437</a>, inversion for power series, and compare with <a href="http://oeis.org/A033282" rel="nofollow">A033282</a>, coarse f-vectors for associahedra, and with <a href="http://mathoverflow.net/questions/6373" rel="nofollow">MO-6373</a>). These refined partition polynomials are also a refined presentation of the number of diagonal dissections of a convex n-gon (<a href="http://oeis.org/A033282" rel="nofollow">A033282</a>) or, equivalently, the refined numbers for a set of Schroeder lattice paths (<a href="http://oeis.org/A126216" rel="nofollow">A126216</a>), which sum to the little Schroeder numbers (<a href="http://oeis.org/A001003" rel="nofollow">A001003</a>). </p> <p>If $h(z)$ is presented as a Taylor series, the LIF <a href="http://oeis.org/A134685" rel="nofollow">A134685</a> is obtained, which is related to the tropical Grassmannian G(2,n) and phylogenetic trees (<a href="http://oeis.org/A134991" rel="nofollow">A134991</a>) and to the partitioning of 2n elements into n groups. </p> <p>When the invertible function $h(t)$ is represented as a power series of its own reciprocal, $t/h(t)$, the refined Narayana numbers are obtained (<a href="http://oeis.org/A134264" rel="nofollow">A134264</a>), which are the refined h-polynomials of the simplicial complexes <a href="http://oeis.org/A001263" rel="nofollow">(A001263</a>) dual to the Stasheff associahedra and also a refined presentation of a set of Dyck lattice paths <a href="http://oeis.org/A125181" rel="nofollow">A125181</a>, which sum to the Catalan numbers <a href="http://oeis.org/A000108" rel="nofollow">A000108</a>.</p> <p>Also, the "infinitesimal generators" <a href="http://oeis.org/A145271" rel="nofollow">A145271</a> for these reps have very interesting associations (e.g., to permutahedra, surjections, and multiplicative reciprocals <a href="http://oeis.org/A019538" rel="nofollow">A019538</a>/<a href="http://oeis.org/A049019" rel="nofollow">A049019</a>, for the LIF <a href="http://oeis.org/A134685" rel="nofollow">A134685</a>) and allow reps of the partition polynomials for <a href="http://oeis.org/A133437" rel="nofollow">A133437</a> as colored umbral binary trees related to refined Lah polynomials.</p> <p>To illustrate an important application, you might look at <a href="http://oeis.org/A074060" rel="nofollow">OEIS-A074060</a> "Graded dimension of the cohomology ring of the moduli space of n-pointed curves of genus 0 satisfying the associativity equations of physics (also known as the WDVV equations)," as well as links in the LIF entries, to relate Lagrange inversion (or, equivalently, the Legendre transform) of series to the cohomology of moduli spaces.</p> <p>For a less fancy application, the LIFs can sometimes be used, just as other transforms, such as the Fourier transform, to jump between "reciprocal" domains to simplify expressions to solve a problem, e.g., in conjunction with the OEIS to suggest generating functions for integer arrays by looking at their compositional inverses numerically.</p> http://mathoverflow.net/questions/97361/explaining-mukai-fourier-transforms-physically Explaining Mukai-Fourier transforms physically Tom Copeland 2012-05-19T01:19:28Z 2012-09-30T19:12:20Z <p>A core concept in mathematics, engineering, and physics is the Fourier Transform (FT) and its many variants (<a href="http://en.wikipedia.org/wiki/Generalized_fourier_series" rel="nofollow">Generalized Fourier Series</a>, <a href="http://en.wikipedia.org/wiki/Green%27s_function" rel="nofollow">Green's Function</a>, <a href="http://en.wikipedia.org/wiki/Pontryagin_duality" rel="nofollow">Pontryagin duality</a>). </p> <p>The basic algorithm is to find dual sets of eigenvectors/eigenfunctions parametrized by a continuous (e.g., $\omega$ below) or discrete index (e.g., $n$ below), that satisfy completeness and orthogonality relations encapsulated in <a href="http://en.wikipedia.org/wiki/Dirac_delta_function" rel="nofollow">Dirac delta function</a> resolutions such as that for the FT</p> <p>$$\delta(x-y)= \int_{-\infty}^{\infty}\exp(i2\pi \omega x)\exp(-i2\pi \omega y)d\omega$$ </p> <p>giving</p> <p>$$\int_{-\infty}^{\infty}f(y)\delta(x-y)dy=f(x)=\int_{-\infty}^{\infty}\exp(i2\pi \omega x)\int_{-\infty}^{\infty}f(y)\exp(-i2\pi \omega y) dy d\omega$$</p> <p>$$=\int_{-\infty}^{\infty}\exp(i2\pi \omega x)\hat{f}(\omega) d\omega,$$</p> <p>or that for the eigenvectors of <a href="http://en.wikipedia.org/wiki/Sturm-Liouville" rel="nofollow">Sturm-Liouville</a> differential operators over finite domains</p> <p>$$\delta(x-y)=\sum_{n=0}^{\infty }\Psi_n(x)\Psi_n^*(y)$$</p> <p>giving</p> <p>$$f(x)=\sum_{n=0}^{\infty }\Psi_n(x)\int_{a}^{b}f(y)\Psi_n^*(y) dy,$$ </p> <p>or <a href="http://en.wikipedia.org/wiki/Kronecker_delta" rel="nofollow">Kronecker delta</a> resolutions such as that for the <a href="http://en.wikipedia.org/wiki/Laguerre_polynomials" rel="nofollow">associated Laguerre functions</a> </p> <p>$$\frac{(n+\alpha)!}{n!}\delta_{mn}=\int_{0}^{\infty}x^{\alpha}e^{-x}L_{n}^{\alpha}(x)L_{m}^{\alpha}(x)dx$$ </p> <p>giving</p> <p>$$f(x)=\sum_{n=0}^{\infty }\frac{n!L_{n}^{\alpha}(x)}{(n+\alpha)!}\hat{f}_n$$</p> <p>with</p> <p><code>$$\hat{f}_n=\int_{0}^{\infty}x^{\alpha}e^{-x}L_{n}^{\alpha}(x)f(x)\,dx.$$</code></p> <p>The basic "physical" operation (BPO) at work here can be regarded as destructive/constructive interference; the product at a point of the value of the function (to be resolved) with the corresponding value of an eigenfunction has a negative or positive value (or phase factor) that may sum constructively or destructively with products at other points (seen as a <a href="http://en.wikipedia.org/wiki/Matched_filter" rel="nofollow">matched filtering</a> or correlation by replacing $y$ with $x-z$ above). Alternatively, the BPO may be viewed as projection of vectors onto a set of orthonormal axes. In addition, if the function and operations are discretized and/or the domains restricted (in one space or its dual or both, as for the DFT) <a href="http://en.wikipedia.org/wiki/Aliasing" rel="nofollow">aliasing</a> (which seems analogous to the introduction of equivalence classes) is introduced and periodicity imposed.</p> <p><strong>Can you explain the machinery behind the Mukai-Fourier transform in terms of these BPOs or close analogies?</strong> </p> http://mathoverflow.net/questions/97180/history-of-the-sampling-theorem/97202#97202 Answer by Tom Copeland for History of the Sampling Theorem Tom Copeland 2012-05-17T08:40:42Z 2012-09-27T20:44:08Z <p>As a start to a more comprehensive search, some notes on interpolation using the Dirichlet and Fejer kernels, close cousins of the sinc kernel, can be found in a <a href="http://projecteuclid.org/DPubS?service=UI&amp;version=1.0&amp;verb=Display&amp;handle=euclid.bams/1183523685" rel="nofollow">eulogy for Fejer</a>. </p> <p>And, you yourself in your answer to <a href="http://mathoverflow.net/questions/58325/complex-fourier-coefficients-introduced-by/93375#93375" rel="nofollow">MO-Q58325</a> present a link to a paper by J. de Seguier, published in 1892, that has a Dirichlet kernel interpolation formula and a series that looks suspiciously like a sinc interpolation with the bandwidth $\omega$.</p> <p>Edit: In the old days, the sinc function was referred to as the cardinal interpolation function and sinc function interpolations as cardinal series. Here is an article (1927) by J. M. Whittaker (son of E. T.:) <a href="http://journals.cambridge.org/download.php?file=%252FPEM%252FPEM2_1_03%252FS0013091500013511a.pdf&amp;code=726feb41c839d875f111c69b82140018" rel="nofollow">The "Fourier" Theory of the Cardinal Function</a> in which you can find the nascent Whittaker-Shannon sampling theorem, but E. T. Whittaker published an earlier one in 1915 as discussed by H. D. Luke in <a href="http://www.hit.bme.hu/~papay/edu/Conv/pdf/origins.pdf" rel="nofollow">The Origins of the Sampling Theorem</a>. </p> <p>(Also of interest) A Chronology of Interpolation: From Ancient Astronomy to Modern Signal and Image Processing (<a href="http://bigwww.epfl.ch/publications/meijering0201.pdf" rel="nofollow">paper</a>) (<a href="http://www.imagescience.org/meijering/research/chronology/" rel="nofollow">website</a>) </p> http://mathoverflow.net/questions/107159/pochhammer-symbol-of-a-differential-and-hypergeometric-polynomials/107191#107191 Answer by Tom Copeland for Pochhammer symbol of a differential, and hypergeometric polynomials Tom Copeland 2012-09-14T15:40:57Z 2012-09-19T02:23:40Z <p>Formally using the inverse Mellin transform for x>0:</p> <p>$$e^x f(x\tfrac{d}{dx})e^{-x}=e^x f(x\tfrac{d}{dx}) \frac{1}{2\pi i} \int_{\sigma - i \infty}^{\sigma + i \infty} \frac{\pi}{\sin(\pi s)} \frac{x^{-s}}{(-s)!} ds$$</p> <p>$$=e^x \frac{1}{2\pi i} \int_{\sigma - i \infty}^{\sigma + i \infty} \frac{\pi}{\sin(\pi s)} f(-s) \frac{x^{-s}}{(-s)!} ds.$$ </p> <p>Let $$f(x)=\binom{x+\alpha+\beta}{\beta},$$</p> <p>then</p> <p>$$e^x \binom{x\tfrac{d}{dx}+\alpha+\beta}{\beta}e^{-x}=L_{\beta}^{\alpha}(x)=\binom{\alpha+\beta}{\beta} K(-\beta,\alpha+1,x)$$</p> <p>where $L_{\beta}^{\alpha}(x)$ is the generalized Laguerre function and $K(-\beta,\alpha+1,x),$ Kummer's confluent hypergeometric function.</p> <p>For an elaboration, see the notes <a href="http://tcjpn.wordpress.com/2011/11/16/a-generalized-dobinski-relation-and-the-confluent-hypergeometric-fcts/" rel="nofollow">The Inverse Mellin Transform, Bell Polynomials, a Generalized Dobinski Relation, and the Confluent Hypergeometric Functions</a>.</p> <p>See also Rodriguez-like formula on pg. 59 of Bateman's (et al.) <a href="http://apps.nrbook.com/bateman/Vol1.pdf" rel="nofollow">Higher Transcendental Functions Vol. I</a>:</p> <p>$$(x\tfrac{d}{dx}+\alpha)_{n} h(x) = x^{1-\alpha}D^{n}[x^{n+\alpha-1}h(x)],$$</p> <p>with $D=\tfrac{d}{dx}$, leading to</p> <p>$$e^x \binom{x\tfrac{d}{dx}+\alpha+n}{n}e^{-x}=e^x x^{-\alpha}\tfrac{D^{n}}{n!}[x^{n+\alpha}e^{-x}]=L_{n}^{\alpha}(x).$$</p> <p>This can be generalized by using the fractional integro-derivative representation of $K(a,b,x)$ (see Eqn. 13.2.1 on pg. 505 of <a href="http://people.math.sfu.ca/~cbm/aands/page_505.htm" rel="nofollow">Abramowitz and Stegun</a>):</p> <p>$$K(a,b,x)= e^x \tfrac{(b-1)!}{x^{b-1}}\int_{0}^{x} e^{-t}\tfrac{(x-t)^{a-1}}{(a-1)!} \tfrac{t^{b-a-1}}{(b-a-1)!} dt=e^x \tfrac{(b-1)!}{x^{b-1}}D^{-a}[e^{-x}\tfrac{x^{b-a-1}}{(b-a-1)!}],$$</p> <p>leading to</p> <p>$$e^x {x^{-\alpha}}\tfrac{D^{\beta}}{\beta!}[x^{\beta+\alpha}e^{-x}]=L_{\beta}^{\alpha}(x)=\binom{\alpha+\beta}{\beta} K(-\beta,\alpha+1,x).$$</p> http://mathoverflow.net/questions/77770/why-do-polytopes-pop-up-in-lagrange-inversion Why do polytopes pop up in Lagrange inversion? Tom Copeland 2011-10-11T00:24:37Z 2012-08-15T08:59:46Z <p>I'd be interested in hearing people's viewpoints on this. Looking for an intuitive perspective. See Wikipedia for descriptions of <a href="http://en.wikipedia.org/wiki/Polytope" rel="nofollow">polytopes</a> and the <a href="http://en.wikipedia.org/wiki/Lagrange_inversion_theorem" rel="nofollow">Lagrange inversion theorem</a>/formula (LIF) for compositional inversion.</p> <p><strong>Background update</strong> (8/2012): Consider a compositional inverse pair of functions, $h$ and $h^{-1}$, analytic at the origin with $h(0)=0=h^{-1}(0)$.</p> <p>Then with $\omega=h(z)$ and $g(z)=1/[dh(z)/dz]$,</p> <p>$$\exp \left[ {t \cdot g(z)\frac{d}{{dz}}} \right]f(z) = \exp \left[ {t\frac{d}{{d\omega }}} \right]f[{h^{ - 1}}(\omega )] = f[{h^{ - 1}}[t + \omega]] = f[{h^{ - 1}}[t + h(z)]],$$ so $$\exp \left[ {t \cdot g(z)\frac{d}{{dz}}} \right]z |_{z=0}=h^{-1}(t)$$</p> <p>(see <a href="http://en.wikipedia.org/wiki/Polytope" rel="nofollow">OEIS A145271</a> and <a href="http://en.wikipedia.org/wiki/Lagrange_inversion_theorem" rel="nofollow">A139605</a> for more relations).</p> <p>With the power series rep $h(z)= c_1z + c_2z^2 + c_3z^3 + ... ,$ </p> <p>$$\frac{1}{5!}[g(z)\frac{d}{{dz}}]^{5}z|_{z=0} = \frac{1}{c_1^{9}} [14 c_2^{4} - 21 c_1 c_2^2 c_3 + c_1^2[6 c_2 c_4+ 3 c_3^2] - 1 c_1^3 c_5],$$</p> <p>which is the coefficient of the fifth order term of the power series for $h^{-1}(t)$. This is related to a refined f-vector (face-vector) for the 3-D Stasheff polytope, or 3-D associahedron, with <strong>14</strong> vertices (0-D faces), <strong>21</strong> edges (1-D faces), <strong>6</strong> pentagons (2-D faces), <strong>3</strong> rectangles (2-D faces), <strong>1</strong> 3-D polytope (3-D faces). </p> <p>This correspondence between the refined f-vectors of the n-Dim Stasheff polytope, or associahedron, and the coefficients of the (n+2)-th term of the compositional inverse holds in general, (see <a href="https://oeis.org/search?q=A133437&amp;sort=&amp;language=english&amp;go=Search" rel="nofollow">A133437</a>, inversion for power series, and compare with <a href="https://oeis.org/search?q=A033282&amp;sort=&amp;language=english&amp;go=Search" rel="nofollow">A033282</a>, coarse f-vectors for <a href="http://en.wikipedia.org/wiki/Associahedron" rel="nofollow">associahedra</a>, and with <a href="http://mathoverflow.net/questions/6373/combinatorics-of-the-stasheff-polytopes" rel="nofollow">MO-6373</a>).</p> <p>(If $h(z)$ is presented as a Taylor series, the LIF <a href="https://oeis.org/search?q=A134685&amp;language=english&amp;go=Search" rel="nofollow">A134685</a> is obtained, which is related to <a href="https://oeis.org/search?q=A134991&amp;sort=&amp;language=english&amp;go=Search" rel="nofollow">A134991</a> [tropical Grassmannian G(2,n)], and using the reciprocal of $h(z)$, the LIF <a href="https://oeis.org/search?q=A134264&amp;sort=&amp;language=english&amp;go=Search" rel="nofollow">A134264</a> is obtained, which is related to the Narayana triangle <a href="https://oeis.org/search?q=A001263&amp;sort=&amp;language=english&amp;go=Search" rel="nofollow">A001263</a> [h-vectors of dual of associahedra].)</p> <p><em><strong>Why (morally/intuitively, vague notion) do the refined face numbers of the associahedra appear as the coeficients of Lagrange inversion/reversion for a power series, or ordinary generating fct., as presented in OEIS A133437?</em></strong> </p> <p>Loday expresses a similar interest on page 15 of "<a href="http://www.claymath.org/programs/outreach/academy/LectureNotes05/Lodaypaper.pdf" rel="nofollow">The Multiple Facets of the Associahedron</a>" in Sec. 6 Inversion of Power Series. He ends with <strong><em>"There exists a short operadic proof of the above formula [LIF essentially] which explicitly involves the parenthesizings [of associahedra], but it would be interesting to find one which involves the topological structure of the associahedron."</em></strong></p> <p><strong>One viewpoint</strong>, for example: I can derive the LIF several ways and relate the methods to rooted trees and thence to associahedra, but is there an intuitive way to relate the LIF for compositional inversion (which is related to the <a href="http://en.wikipedia.org/wiki/Legendre_transformation" rel="nofollow">Legendre transformation</a>/Legendre-Fenchel transform) to the geometry of the associahedra through a geometrical view of optimization via integer programming? Compositional inversion and the Legendre transformation have geometrical interpretations and are related to optimization as discussed by Strang in his book Intro. to Applied Mathematics (see also <a href="http://tcjpn.files.wordpress.com/2008/06/mathemagicalforestswp.pdf" rel="nofollow">Mathemagical Forests</a> and references therein in the section A Walk With Lagrange and Legendre). De Loera, Rambau and Leal in <a href="http://personales.unican.es/santosf/MSRI03/chapter1.pdf" rel="nofollow">Triangulations of Set Points</a> in Sec. 1.2 Optimization and Triangulations discuss connections of secondary polytopes to optimization.</p> <p><strong>Second viewpoint</strong>: Stasheff associahedra are intimately related to the moduli spaces of colliding particles (<a href="http://arxiv.org/abs/math-ph/0405011" rel="nofollow">Devadoss</a>, <a href="http://arxiv.org/abs/1002.1676" rel="nofollow">Devadoss/Heath/Vipismakul</a>, <a href="http://arxiv.org/abs/1109.2830" rel="nofollow">Devadoss/Fehrman/Heath/Vashist</a>). String interactions generate the moduli spaces of Riemann surfaces (Zwiebach, A First Course in String Theory, pg. 310) with punctures corresponding to particles interacting on a line segment. There is much literature on the relations among compositional inversion/Legendre transformation, Feynman functional/path/gaussian integrals representing partition functions and sums over Feynman diagrams/graphs for point particle interactions (Connes/Marcolli's "<a href="http://www.alainconnes.org/en/downloads.php" rel="nofollow">Noncommutative Geometry, Quantum Fields and Motives</a>" pg. 51, <a href="http://arxiv.org/abs/math-ph/0204014" rel="nofollow">Borcherd</a> pg. 34, <a href="http://arxiv.org/abs/alg-geom/9612005" rel="nofollow">Getzler</a>, <a href="http://arxiv.org/abs/alg-geom/9407005" rel="nofollow">Manin</a>, <a href="http://arxiv.org/abs/math/0212121" rel="nofollow">Abdesselam</a>, <a href="http://arxiv.org/abs/0910.0120" rel="nofollow">Bergstrom and Brown</a>). Are there analogous arguments directly in terms of sums over moduli spaces for string interactions [as for the beta integral for the Veneziano amplitudes (Zwiebach, pg. 311)] that circumvent the Feynman particle/stable graph interpretations and highlight more directly the connections between compositional inverses/Legendre transforms and the face polynomials of associahedra?<br> (See also <a href="http://mathoverflow.net/questions/22291/stable-graphs-feynman-diagrams-and-deligne-mumford-space" rel="nofollow">MOQ 22291</a> and make the change of variables $x=f^{-1}(y)$ in Theo's integral and maybe a Wick rotation.)</p> <p>I should have stressed earlier that refined face partition polynomials characterize the LI for o.g.f.s rather than the usual coarse face polynomials and that both sets of polynomials contain the Catalan numbers only as the number of vertices for an associahedron. The coarse polynomials are not sufficient to enumerate distinct higher dimensional facets corresponding to distinct partitions of the LI, much less the Catalan numbers alone.</p> http://mathoverflow.net/questions/76978/face-numbers-for-tropical-grassmannian-g-2-7-simplical-complex "Face" numbers for tropical Grassmannian G′_2,7 simplical complex ? Tom Copeland 2011-10-02T12:38:22Z 2012-07-10T11:28:24Z <p>In an excerpt of an article by Bernd Sturmfels, I found: </p> <p><strong>Theorem 5.5.</strong> The tropical Grassmannian $G^{′}_{2,n}$ is a simplical complex known as the space of phylogenetic trees.... It is denoted by $T_n$ and is defined as follows. The vertex set consists of all unordered pairs <code>$\left \{ A,B \right \}$</code> where $A$ and $B$ are disjoint subsets of <code>$\left [ n \right ]:=\left \{ 1,2, ... , n \right \}$</code> having cardinality at least two, and $A \cup B=\left [ n \right ]$. Such pairs are called splits. The number of splits is $2^{n−1} − n − 1$. Two splits <code>$\left \{ A,B \right \}$</code> and <code>$\left \{ A^{'},B^{'} \right \}$</code> are connected by an edge in the simplicial complex $T_n$ if and only if</p> <p>(5) $A \sqsubseteq {A}'$ or $A \sqsubseteq {B}'$ or $B \sqsubseteq {A}'$ or $B \sqsubseteq {B}'$. </p> <p>We define $T_n$ as the largest simplicial complex having this edge graph.... In the language of algebraic combinatorics, $T_n$ is the flag complex of the compatibility graph specified by (5) on the set of all $2^{n−1} − n − 1$ splits. </p> <p><strong>Example 5.6.</strong> ($n = 6$) The two-dimensional simplicial complex $T_6$ has $25$ vertices, $105$ edges and $105$ triangles... </p> <p>Question: Are $56, 490, 1260, 945$ the "face" numbers for $T_7$?</p> http://mathoverflow.net/questions/97512/in-splendid-isolation In "splendid isolation" Tom Copeland 2012-05-20T23:59:29Z 2012-07-04T02:44:55Z <p>While browsing the Net for some articles related to the history of the Whittaker-Shannon sampling theorem, so important to our digital world today, I came across this passage by H. D. Luke in <a href="http://www.hit.bme.hu/~papay/edu/Conv/pdf/origins.pdf" rel="nofollow">The Origins of the Sampling Theorem</a>:</p> <p><em>However, this history also reveals a process which is often apparent in theoretical problems in technology or physics: first the practicians put forward a rule of thumb, then the theoreticians develop the general solution, and finally someone discovers that the mathematicians have long since solved the mathematical problem which it contains, but in "<a href="http://en.wikipedia.org/wiki/Splendid_isolation" rel="nofollow">splendid isolation</a>."</em> </p> <p><strong>Other interesting examples?</strong></p> <p>(Matrices and Bohr's Quantum Mechanics of course. Someone could elaborate on the sampling theorem if they wish. ) </p> http://mathoverflow.net/questions/99340/kleins-protocols-a-window-into-our-mathematical-past Klein's Protocols: A window into our mathematical past Tom Copeland 2012-06-12T07:06:19Z 2012-06-13T16:46:20Z <p><strong><a href="http://www.uni-math.gwdg.de/aufzeichnungen/klein-scans/" rel="nofollow">Klein's Protocols</a></strong> in over 8,000 pages recording seminars organized from 1872 to 1913 by Felix Klein and given by Klein, his colleagues, students and other invited speakers, including luminaries such as Hilbert and Minkowski, provide a unique window into our mathematical past. Eugene Chislenko and Yuri Tschinkel have presented <a href="http://www.ams.org/notices/200708/index.html" rel="nofollow">a beautiful introduction</a> to the corpus, noting how the breadth of the topics reflect the broad interests and knowledge of Klein (the authors claim that Klein was one of the last three grand mathemagicians able to soar over the full realm of the mathematics of their times, the other two being Hilbert and Poincare).</p> <p><strong>Klein 's Protocols is huge and handwritten in German, so I thought it would be helpful for aspiring and established mathematicians with an interest in the history of ideas if a listing were available on Math Overflow of some gems in the corpus. Can you make a contribution?</strong> </p> <p>Please provide keywords and page references for any entry. E.g., personally, I would love to have a copy of the figure titled "On regular solids in 4-dimensional space" by W. I. Stringham in Vol. II on pg. 59 (Monday, November 29, 1880).</p> <p>See also <a href="http://www.claymath.org/library/annual_report/ar2006/06report_complete.pdf" rel="nofollow">these articles</a> (pages 16-21). </p> http://mathoverflow.net/questions/97512/in-splendid-isolation/98213#98213 Answer by Tom Copeland for In "splendid isolation" Tom Copeland 2012-05-28T19:47:44Z 2012-05-28T19:47:44Z <p>Quantum mechanics of Born, Heisenberg, and Jordan.</p> <p>From <em>Physics in my Generation</em> (Springer, 1969) by Max Born:</p> <p>"In Gottingen we also took part in the attempts to distill the unknown mechanics of the atom out of the experimental results ... The art of guessing correct formulas ... was brought to considerable perfection ...</p> <p>This period was brought to a sudden end by Heisenberg ... He cut the Gordian knot ... he demanded that the theory should be built up by means of quadratic arrays ... one must find a rule ... for the multiplication of such arrays ...</p> <p>By consideration of known examples discovered by guesswork, Heisenberg found this rule ...</p> <p>Heisenberg's rule left me no peace, and after a week of intensive thought and trial, I suddenly remembered an algebraic theory that I had learned from my teacher, Rosanes, in Breslau. Such quadratic arrays are quite familiar to mathematicians, and are called matrices ...</p> <p>[Born writes down the now iconic qp-pq=iħ.]</p> <p>My excitement over this result was like that of the mariner who, after long voyaging, sees the land from afar..." </p> http://mathoverflow.net/questions/58004/how-does-one-motivate-the-analytic-continuation-of-the-riemann-zeta-function/97401#97401 Answer by Tom Copeland for How does one motivate the analytic continuation of the Riemann zeta function? Tom Copeland 2012-05-19T15:18:27Z 2012-05-23T07:52:38Z <p><em>Riemann's analytic continuations and derivation of the functional equations for $\zeta$ and $\xi$ seem quite natural and intuitive from the perspective of basic complex analysis.</em></p> <p>Riemann in the second equation of his classic paper <a href="http://www.claymath.org/millennium/Riemann_Hypothesis/1859_manuscript/EZeta.pdf" rel="nofollow">On the Number of Prime Numbers less than a Given Quantity</a> (1859) writes down the Laplace (1749-1827) transform </p> <p>$$\int_{0}^{+\infty}e^{-nx}x^{s-1}dx=\frac{(s-1)!}{n^s},$$ valid for $real(s)>0.$ </p> <p>With $n=1$ this is the iconic Euler (1707-1783) integral representation of the gamma function, and noting that</p> <p>$(s-1)!=\frac{\pi}{sin(\pi s)}\frac{1}{(-s)!}$ from the symmetric relation $\frac{sin(\pi s)}{\pi s}=\frac{1}{s!(-s)!},$</p> <p>this can be rewritten as</p> <p>$$\frac{sin(\pi s)}{\pi}\int_{0}^{\infty}e^{-x}x^{s-1}dx=\frac{1}{(-s)!},$$</p> <p>suggesting quite naturally to someone as familiar with analytic continuation as Riemann that</p> <p>$$\frac{-1}{2\pi i}\int_{+\infty}^{+\infty}e^{-x}(-x)^{s-1}dx=\frac{1}{(-s)!},$$</p> <p>valid for all $s$, where the line integral is blown up around the positive real axis into the complex plane to sandwich it with a branch cut for $x>0$ and to loop the origin in the positive sense from positive infinity to positive infinity. Deflating the contour back to the real axis introduces a $-exp(i\pi s)+exp(-i\pi s)=-2isin(\pi s)$. (This special contour is now called the <a href="http://en.wikipedia.org/wiki/Hankel_contour" rel="nofollow">Hankel contour</a> after <a href="http://en.wikipedia.org/wiki/Hermann_Hankel" rel="nofollow">Hermann Hankel</a> (1839-1873), who became a student of Riemann in 1860 and published this integral for the <a href="http://en.wikipedia.org/wiki/Reciprocal_Gamma_function" rel="nofollow">reciprocal gamma fct.</a> in his habilitation of 1863. Most likely Riemann introduced him to this maneuver.)</p> <p>Riemann in his third equation observes that</p> <p>$$(s-1)!\zeta(s)=(s-1)!\sum_{n=1}^{\infty }\frac{1}{n^s}=\int_{0}^{+\infty}\sum_{n=1}^{\infty }e^{-nx}x^{s-1}dx=\int_{0}^{+\infty}\frac{1}{e^x-1}x^{s-1}dx$$</p> <p>and then immediately writes down as his fourth equality the analytic continuation </p> <p>$$2sin(\pi s)(s-1)!\zeta(s)=i\int_{+\infty}^{+\infty}\frac{(-x)^{s-1}}{e^x-1}dx,$$ </p> <p>valid for all $s$, which can be rewritten as</p> <p>$$\frac{\zeta(s)}{(-s)!}=\frac{-1}{2\pi i}\int_{+\infty}^{+\infty}\frac{(-x)^{s-1}}{e^x-1}dx$$</p> <p>as naturally suggested by the analytic continuation of the reciprocal of gamma above.</p> <p>For $m=0,1,2, ...,$ this gives</p> <p>$$\zeta(-m)=\frac{(-1)^{m}}{2\pi i}\oint_{|z|=1}\frac{m!}{z^{m+1}}\frac{1}{e^z-1}dz=\frac{(-1)^{m}}{m+1}\frac{1}{2\pi i}\oint_{|z|=1}\frac{(m+1)!}{z^{m+2}}\frac{z}{e^z-1}dz$$ </p> <p>from which you can see, if you are familiar with the exponential generating fct. (e.g.f.) for the Bernoulli numbers, that the integral vanishes for even $m$. Euler published the e.g.f. in 1740 (<a href="http://math.stackexchange.com/questions/144436/original-author-of-an-exponential-generating-function-for-the-bernoulli-numbers" rel="nofollow">MSE-Q144436</a>), and Riemann certainly was familiar with these numbers and states that his fourth equality implies the vanishing of $\zeta(s)$ for $m$ even (but gives no explicit proof). He certainly was also aware of Euler's heuristic functional eqn. for integer values of the zeta fct., and Edwards in <strong>Riemann's Zeta Function</strong> (pg. 12, Dover ed.) even speculates that ".. it may well have been this problem of deriving (2) [Euler's formula for $\zeta(2n)$ for positive $n$] anew which led Riemann to the discovery of the functional equation ...." </p> <p>Riemann then proceeds to derive the functional eqn. for zeta from his equality by using the singularities of $\frac{1}{e^z-1}$ to obtain basically</p> <p>$$\zeta(s)=2(2\pi)^{s-1}\Gamma(1-s)\sin(\tfrac12\pi s)\zeta(1-s),$$</p> <p>and says three lines later essentially that it may be expressed symmetrically about $s=1/2$ as </p> <p>$$\xi(s) = \pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s)=\xi(1-s).$$</p> <p>Riemann then says, "This property of the function [$\xi(s)=\xi(1-s)$] induced me to introduce, in place of $(s-1)!$, the integral $(s/2-1)!$ into the general term of the series $\sum \frac{1}{n^s}$, whereby one obtains a very convenient expression for the function $\zeta(s)$." And then he proceeds to introduce what Edwards calls a second proof of the functional eqn. using the Jacobi theta function.</p> <p>Edwards wonders:</p> <p>"Since the second proof renders the first proof wholly unnecessary, one may ask why Riemann included the first proof at all. Perhaps the first proof shows the argument by which he originally discovered the functional equation or perhaps it exhibits some properties which were important in his understanding of it."</p> <p>I wonder whether, as his ideas evolved <em>before he wrote the paper</em>, he first constructed $\xi(s)$ by noticing that multiplying $\zeta(s)$ by $\Gamma(\frac{s}{2})$ introduces a simple pole at $s=0$ thereby reflecting the pole of $\zeta(s)$ at $s=1$ through the line $s=1/2$ and that the other simple poles of $\Gamma(\frac{s}{2})$ are removed by the zeros on the real line of the zeta function. The $\pi^{-s/2}$ can easily be determined as a normalization by an entire function $c^s$ where $c$ is a constant, using the complex conjugate symmetry of the gamma and zeta fct. about the real axis. Riemann had fine physical intuition and would have thought holistically in terms of the the zeros of a function (see Euler's proof of the Basel problem) and its poles, the importance of which he certainly stressed.</p> <p><em>Let's extend the reasoning above for the Jacobi theta function</em></p> <p>$$\vartheta (0;ix^2)=\sum_{n=-\infty,}^{\infty }exp(-\pi n^{2}x^2).$$</p> <p>Viewing a modified Mellin transform as an interpolation of Taylor series coefficients (<a href="http://mathoverflow.net/questions/79868/what-does-mellin-inversion-really-mean/79925#79925" rel="nofollow">MO-Q79868</a>), it's easy to guess (note the zeros of the coefficients) that </p> <p>$$\int^{\infty}_{0}\exp(-x^2)\frac{x^{s-1}}{(s-1)!} dx = \cos(\pi\frac{ s}{2})\frac{(-s)!}{(-\frac{s}{2})!} = \frac{1}{2}\frac{(\frac{s}{2}-1)!}{(s-1)!},$$ </p> <p>and, therefore,</p> <p>$$\int^{\infty}_{0}\exp(-\pi (n x)^2)x^{s-1} dx = \frac{1}{2}\pi^{-s/2}(\frac{s}{2}-1)! \frac{1}{n^s}.$$ </p> <p>By now you should be able to complete the line of reasoning to obtain, for $real(s)>1,$</p> <p>$$\xi(s)=\int_{0^+}^{\infty }[\vartheta (0;ix^2)-1)]x^{s-1}dx=\pi^{-s/2}\ \Gamma\left(\frac{s}{2}\right)\ \zeta(s).$$ </p> <p>Do an analytic continuation as done for the gamma function in <a href="http://math.stackexchange.com/questions/13956/domain-of-the-gamma-function/132727#132727" rel="nofollow">MSE-Q13956</a> to obtain, for <code>0&lt;real(s)&lt;1,</code></p> <p>$$\xi(s)=\int_{0^+}^{\infty }[\vartheta (0;ix^2)-(1+\frac{1}{x})]x^{s-1}dx.$$</p> <p>Then use symmetries of the Mellin transform and the fact that $\xi(s)=\xi(1-s)$ (as explained in <a href="http://math.stackexchange.com/questions/28737/does-the-functional-equation-f1-r-rfr-have-any-nontrivial-solutions-besi/145159#145159" rel="nofollow">MSE-Q28737</a>) to obtain the functional equation</p> <p>$$\vartheta (0;ix^2)=\frac{1}{x}\vartheta (0;\frac{i}{x^{2}}).$$</p> http://mathoverflow.net/questions/10255/effective-teaching/97068#97068 Answer by Tom Copeland for effective teaching Tom Copeland 2012-05-15T23:47:47Z 2012-05-16T00:05:10Z <p>This very stimulating presentation on teaching math effectively came out in May 2010 and addresses some of the issues presented in the other answers: </p> <p><a href="http://www.ted.com/talks/lang/en/dan_meyer_math_curriculum_makeover.html" rel="nofollow">Dan Meyer: Math class needs a makeover</a> </p> <p>Although applied to high school math, at least some aspects of the technique could be incorporated, if only in a few sessions, into advanced classes. Comments to the video by educators and students provide some feedback on the technique.</p> <p>Another potential method for revamping math classes for the 21'st century (maybe start viewing at time stamp 6:50):</p> <p><a href="http://www.ted.com/talks/salman_khan_let_s_use_video_to_reinvent_education.html" rel="nofollow">Salman Khan: Let's use video to reinvent education</a></p> http://mathoverflow.net/questions/79868/what-does-mellin-inversion-really-mean/79925#79925 Answer by Tom Copeland for What does Mellin inversion "really mean"? Tom Copeland 2011-11-03T13:38:07Z 2012-05-15T08:46:40Z <p>Two equations that encapsulate the properties of the Fourier and Mellin transforms: </p> <p>$$\int^{\infty}_{-\infty}{\exp(2 \pi ifx)\exp(-2 \pi ify)df} = \delta(x-y)$$</p> <p>$$\frac{1}{2\pi i} \int_{\sigma - i \infty}^{\sigma + i \infty} x^{-s} y^{s} ds= \delta(\ln(x)-\ln(y))= y \delta(x-y).$$ </p> <p>The transformations from one equation to the other are obvious. The delta function results are intuitive and an extrapolation of the discrete case for the orthogonality relationships of the characters of character groups. The transform pairs, Plancherel and convolution theorems, and other relations are easy to derive from these two.</p> <p>(Note that whereas $e^{sz}$ is an eigenfunction for $d/dz$ and so the Laplace/Fourier transforms are appropriate for devising an operator calculus for $f(d/dz)$, $z^s$ is an eigenfunction of $zd/dz$ and so the Mellin transform is more appropriate for $f(zd/dz)$.)</p> <p>Ramanujan's Master Formula/Theorem (see <a href="http://en.wikipedia.org/wiki/Ramanujan%27s_master_theorem" rel="nofollow">Wikipedia</a>, particularly the Hardy refer.) gives a somewhat intuitive perspective on the Mellin transform as providing an "interpolation" of the coefficients of the Taylor series of certain classes of functions, as discussed in the intro of "<a href="http://arxiv.org/PS_cache/arxiv/pdf/1103/1103.5126v1.pdf" rel="nofollow">Ramanujan's Master Theorem</a> ..." by Olafsson and Pasquale. E.g.,</p> <p>$$\int^{\infty}_{0}f(x)\frac{x^{s-1}}{(s-1)!} dx = g(-s)$$ and</p> <p>$$\frac{1}{2\pi i} \int_{\sigma - i \infty}^{\sigma + i \infty} \frac{\pi}{\sin(\pi s)} g(-s) \frac{x^{-s}}{(-s)!} ds = \sum_{n=0}^{\infty} g(n) \frac{(-x)^{n}}{n!} = f(x)$$ </p> <p>for the transform pairs</p> <p>$f(x)=\exp(-x)$ and $g(-s)= 1$ $(\sigma>0)$ and</p> <p>$f(x)=\frac{1}{1+x}$ and $g(-s)= (-s)!$ $(0&lt;\sigma&lt;1$ and $abs(x)&lt;1)$</p> <p>$f(x)=\exp(-x^2)$ and $g(-s)= \cos(\pi\frac{ s}{2})\frac{(-s)!}{(-\frac{s}{2})!} = \frac{1}{2}\frac{(\frac{s}{2}-1)!}{(s-1)!}$ $(\sigma>0)$.</p> <p>(Note the appearance again of the Dirac delta fct. and its derivatives as $\frac{x^{-n-1}}{(-n-1)!}$.)</p> <p>A simple way to derive the formulas in your question is by looking at the inverse Mellin transform rep of the Dirac delta function. See my short note on the <a href="http://tcjpn.wordpress.com/" rel="nofollow">Inverse Mellin Transform and the Dirac Delta Function</a>. See also some applications in <a href="http://tcjpn.wordpress.com/" rel="nofollow">Dirac's Delta Function and Riemann's Jump Function J(x) for the Primes</a> and <a href="http://tcjpn.wordpress.com/" rel="nofollow">The Inverse Mellin Transform, Bell Polynomials, a Generalized Dobinski Relation, and the Confluent Hypergeometric Functions</a>.</p> <p>Edwards in <em>Riemann's Zeta Function in Ch. 10 Fourier Analysis Sec. 10.1 Invariant Operators on R+ and Their Transforms</em> gives a nice, more group-theoretic intro to the Mellin transform in line with other comments in this stream.</p> http://mathoverflow.net/questions/67751/rationale-for-hadamards-finite-part-of-a-divergent-integral/96028#96028 Answer by Tom Copeland for Rationale for Hadamard's finite part of a divergent integral Tom Copeland 2012-05-04T22:19:26Z 2012-05-08T00:21:53Z <p>Looking at Fourier transforms can provide an intuitive context for the Hadamard finite part (F.P.) regularization. </p> <p>Monkey around with this ladder of expressions (understood as F.P.s):</p> <p>$$A)\int_{-\infty }^{\infty }\frac{exp(i2\pi fx)}{(i2\pi f)^2}df=\frac{sgn(x)}{2}x$$</p> <p>$$B) \int_{-\infty }^{\infty }\frac{exp(i2\pi fx)}{i2\pi f}df=\frac{sgn(x)}{2}$$ $$C)\int_{-\infty }^{\infty }exp(i2\pi fx)df=\delta(x)$$</p> <p>To descend the ladder, formally take the derivative of both sides above or of the explicit F.P. expressions below (second equalities), which is equivalent to multiplying the integrands above by $i2\pi f$. To climb, integrate from $0$ to $x$ both sides below, using the explicit expressions for the integrands for the F.P. given below in the second equalities, or simply divide the integrands on the L.H.S. above by $i2\pi f$. (Note that $x$ can be negative or positive and that the Dirac delta function contributes only a value of $1/2$ when evaluated on the boundary of the integral.) So, the explicit F.P. integrals below commute with differentiation and integration w.r.t. $x$ and can be <em>naturally defined</em> in terms of the two ops, and the implicit symbolic formulas above allow us to formally retain the representation of the two ops as multiplication and division operations in the Fourier transform integrands.</p> <p>For finite limits for the integrals, you'll end up with the expressions on the right above being convolved with a sinc function with some phase, that should agree with the L.H.S. if the Hadamard finite finesse is applied. </p> <p>The OP's example is closely related to A) with $x=0$ and is more palatable within this context. In detail, in the limits $\varepsilon \to 0^+$ and $L \to \infty,$</p> <p>$C)\displaystyle\delta(x)=\int_{-L }^{L }exp(i2\pi fx)df$</p> <p>$B)\displaystyle\frac{sgn(x)}{2}=F.P.\int_{-\infty }^{\infty }\frac{exp(i2\pi fx)}{i2\pi f}df=\left [ \int_{\varepsilon}^{L }+\int_{-L }^{-\varepsilon} \right ]\frac{exp(i2\pi fx)-1}{i2\pi f}df$</p> <p>$=\displaystyle\left [ \int_{\varepsilon}^{L }+\int_{-L }^{-\varepsilon} \right ]\frac{exp(i2\pi fx)}{i2\pi f}df-\frac{ln(L/\varepsilon)}{i2\pi}-\frac{ln(\varepsilon/L)}{i2\pi}$</p> <p>$=\displaystyle\left [ \int_{\varepsilon}^{L }+\int_{-L }^{-\varepsilon} \right ]\frac{exp(i2\pi fx)}{i2\pi f}df=C.P.V\int_{-\infty }^{\infty }\frac{exp(i2\pi fx)}{i2\pi f}df$</p> <p>where $F.P.$ denotes the Hadamard finite part and $C.P.V.$, the Cauchy principle value. (Of course, the $\frac{1}{f}$ terms pose no serious problems since $\frac{1}{f}$ is an odd function and we are integrating symmetrically about $0$.)</p> <p>Similarly,</p> <p>$A)\displaystyle\frac{sgn(x)}{2}x=F.P.\int_{-\infty }^{\infty }\frac{exp(i2\pi fx)}{(i2\pi f)^2}df=\left [ \int_{\varepsilon}^{L }+\int_{-L }^{-\varepsilon} \right ]\frac{exp(i2\pi fx)-(1+i2\pi fx)}{(i2\pi f)^2}df$</p> <p>$=\displaystyle\left [ \int_{\varepsilon}^{L }+\int_{-L }^{-\varepsilon} \right ]\frac{exp(i2\pi fx)}{(i2\pi f)^2}df-\frac{2}{(i2\pi)^2 \varepsilon}=\frac{|x|}{2}.$</p> <p>It's even more convincing when you plot the integrals (including C) and observe how they evolve as $L$ increases for small $\varepsilon.$ </p> <p>Another context for the Hadamard finite limit is given in <a href="http://math.stackexchange.com/questions/13956/domain-of-the-gamma-function/132727#132727" rel="nofollow">MSE-Q13956</a>.</p> <p>For a comparison of different methods of regularization for integrals of this type see <a href="http://arxiv.org/abs/hep-th/0202023" rel="nofollow">http://arxiv.org/abs/hep-th/0202023</a> "Improved Epstein-Glaser renormalization in coordinate space I. Euclidean framework" by Gracia-Bondia (pg. 14-).</p> http://mathoverflow.net/questions/93595/general-procedure-for-inverse-of-an-integral-transform/93729#93729 Answer by Tom Copeland for General Procedure for Inverse of an Integral Transform Tom Copeland 2012-04-11T02:27:16Z 2012-04-11T02:27:16Z <p>Just to direct you towards the literature and help you clear up some of your thinking on the subject take a look at Wiki's <a href="http://en.wikipedia.org/wiki/Inverse_problem" rel="nofollow">Inverse Problem</a>. Then perhaps look at <strong>Methods of Applied Mathematics</strong> by Hildebrand and <strong>Principles and Techniques of Applied Mathematics</strong> by Friedman.</p> http://mathoverflow.net/questions/91168/max-min-problems-related-to-associahedra-or-their-duals-ions-on-balls-revisited Max/min problems related to associahedra or their duals (ions on balls revisited) Tom Copeland 2012-03-14T12:22:32Z 2012-03-15T01:46:49Z <p>Original motivation: This is a follow-up question to and generalization of MO <a href="http://mathoverflow.net/questions/78877/equilibrium-configurations-of-ions-on-n-dim-balls" rel="nofollow">Q78877</a> on equilibrium configurations of ions on n-Dim balls. Henry Cohn gave an excellent answer dispelling my naive intuition/hope that 14 ions would configure into the vertices of a Stasheff <a href="http://en.wikipedia.org/wiki/Associahedron" rel="nofollow">associahedron</a> on a 3-Dim ball under the influence of a Coulomb potential (<a href="http://en.wikipedia.org/wiki/Thomson_problem" rel="nofollow">Thomson problem</a>). As he remarks, the ions would configure into the vertices of <a href="http://en.wikipedia.org/wiki/Deltahedra" rel="nofollow">deltahedra</a> (with simplicial/triangular facets) on the 3-D ball. However, on a web page by Maurice Starck, I just noticed that a convex deltahedron with 9 vertices has 21 edges and 14 faces-the dual polyhedron to the 3-D associahedron! The 2-D case, the self-dual pentagon, is analogous. Is there a 4-D analog, i.e., does the <a href="http://oeis.org/A033282" rel="nofollow">4-D dual polytope</a> with 14 ions at its vertices satisfy a 4-D Thompson-like problem?</p> <p>Prompted by JC's reply, I'd really like to know more generally of any (natural/enlightening) max/min problems with solutions involving the associahedra or their dual polytopes. </p> http://mathoverflow.net/questions/90489/why-does-the-laplace-transform-work/90520#90520 Answer by Tom Copeland for Why does the Laplace Transform work? Tom Copeland 2012-03-08T00:14:03Z 2012-03-08T08:29:02Z <p>Consider these relations for the Fourier, Mellin, and Laplace transforms: </p> <p>$\int^{\infty}_{-\infty}{exp(2 \pi ifx)exp(-2 \pi ify)df} = \delta(x-y)$ </p> <p>$\frac{1}{2\pi i} \int_{\sigma - i \infty}^{\sigma + i \infty} x^{-s} y^{s} ds= \delta(ln(x)-ln(y))= y \delta(x-y)$ </p> <p>$\frac{1}{2\pi i} \int_{\sigma - i \infty}^{\sigma + i \infty} e^{-xp} e^{yp} dp=\delta(x-y)$. </p> <p>For me, the delta fct. results seem intuitive (also analogous to the orthogonality relationship for characters of character groups), and the eqns. encapsulate the properties of the transforms (try deriving the transform pairs and other relations from them, e.g., Plancherel, convolution, Poisson summation) and illustrate the transformations from one transform to another.</p> <p>(Tried this as a comment initially, but had formatting problems.)</p> http://mathoverflow.net/questions/82597/geometric-picture-of-invariant-differential-of-an-elliptic-curve/82612#82612 Answer by Tom Copeland for Geometric picture of invariant differential of an elliptic curve Tom Copeland 2011-12-04T11:18:47Z 2012-02-24T09:57:10Z <p>A paper by <a href="http://www.kryakin.com/files/Invent_mat_%282_8%29/23/23_01.pdf" rel="nofollow">John Tate</a> (pg. 1 and 2) gives a clear derivation of the diff. form:</p> <p>Reparametrize the elliptic curve </p> <p>$y^2+a_1xy+a_3y=x^3+a_2x^2+a_4 x+a_6$ </p> <p>with $p(z)=x+(a_1^2+4a_2)/12$ and $p^{'}(z)=2y+a_1x+a_3$ to obtain</p> <p>$(p^{'})^2=4p^3-g_2p-g_3$, defining the Weierstrass elliptic fct., and </p> <p>$\omega=dp(z)/p^{'}(z)=dz=dx/(2y+a_1x+a_3)$. </p> <p>Per Dan's comment, a coordinate transformation of $x=u^2x^{'}+r$ and $y=u^3y^{'}+su^2x^{'}+t$<br> leaves $\omega^'=u\omega$.</p> <p>Given $\sigma=p(z)$ and the inverse $z=p^{-1}(\sigma)$, </p> <p>$dz=(p^{-1}(\sigma))^{'}d\sigma=(p^{-1}(\sigma))^{'}p^{'}(z)dz$, so</p> <p>$(p^{-1}(\sigma))^{'}=1/p^{'}(z)$ and $dz=d\sigma/p^{'}(z)=\omega$.</p> <p>The amplitwist interpretation of differentiation and inversion presented by Tristan Needham in his book <a href="http://usf.usfca.edu/vca//PDF/vca-toc.pdf" rel="nofollow">Visual Complex Analysis</a> provides a geometric interpretation of these differential relations.</p> <p>Consider as an analogy $P(\theta)=sin(\theta), P^{'}(\theta)=cos(\theta), and P^2+(P^{'})^2=1$.</p> http://mathoverflow.net/questions/82597/geometric-picture-of-invariant-differential-of-an-elliptic-curve Geometric picture of invariant differential of an elliptic curve Tom Copeland 2011-12-04T04:12:15Z 2012-02-24T09:57:10Z <p><strong>What is the geometric meaning of $\omega=dx/(2y+a_1x+a_3)$ for an elliptic curve?</strong> </p> <p>This question is an adjunct to MO <a href="http://mathoverflow.net/questions/52241/formal-group-laws-and-l-series" rel="nofollow">Q1</a> on formal laws and L-series, which motivated <a href="http://mathoverflow.net/questions/81332/formal-group-laws-l-series-and-flow-equations" rel="nofollow">Q2</a>. Q1 (Silverman) and <a href="http://www.math.mcgill.ca/darmon/pub/Articles/Research/36.NSF-CBMS/chapter.pdf" rel="nofollow">Darmon</a> (pg. 6) state: </p> <p>The invariant holomorphic differential form (Neron differential) attached to an <a href="http://en.wikipedia.org/wiki/Elliptic_curve" rel="nofollow">elliptic curve</a> is </p> <p>$\omega=dx/(2y+a_1x+a_3)$. </p> <p>(Ancilliary question: Relation to <a href="http://en.wikipedia.org/wiki/Weierstrass_elliptic_function" rel="nofollow">Weierstrass's elliptic functions</a>?)</p> <p>I'd like to broaden the question as a community wiki to ask, "What are some interesting manifestations of this one-form in various families of elliptic curves?"</p> <p>E.g., J. Hoffman in <a href="https://www.math.lsu.edu/~hoffman/papers/elmod.pdf" rel="nofollow">Topics in Elliptic Curves and Modular Forms</a> gives for the Jacobi quartic family of elliptic curves</p> <p>$\omega=dx/(1+2\kappa x^{2}+x^{4})^{1/2}=\sum_{n=0}^{\infty}L_{n}(\kappa)x^{2n}dx$ </p> <p>with $L_{n}(\kappa)$ the Legendre polynomials. </p> http://mathoverflow.net/questions/85871/conjecture-neretin-polynomials-for-a-normalized-schwarzian-have-integer-coeffi Conjecture: "Neretin polynomials" for a normalized Schwarzian have integer coefficients Tom Copeland 2012-01-17T01:17:50Z 2012-01-28T16:13:26Z <p>I speculated in 2008 that the modified Neretin polynomials presented in <a href="http://oeis.org/A145900" rel="nofollow">A145900</a> of the On-line Encyclopedia of Integer Sequences, which can be summed to give a normalized Schwarzian derivative for a complex function and are related to a representation of the Virasoro algebra, all have integer coefficients. Definitions, references, and links are provided in the entry. Can anyone prove or disprove this conjecture?</p> http://mathoverflow.net/questions/81472/a-product-approximation-to-the-taylor-series-of-the-exponential/82483#82483 Answer by Tom Copeland for A product approximation to the Taylor series of the exponential Tom Copeland 2011-12-02T16:31:40Z 2011-12-06T05:54:45Z <p>See <a href="http://oeis.org/A019538" rel="nofollow">A019538</a>, <a href="http://oeis.org/A049019" rel="nofollow">A049019</a>, and <a href="http://oeis.org/A133314" rel="nofollow">A133314</a> for extensive formula for the coefficients and relation to face vectors of <a href="http://en.wikipedia.org/wiki/Permutohedron" rel="nofollow">permutahedra/permutohedra</a>. Your proof is a nice one in that A133314 clearly shows why the lower order coefficients as given by the finite differences must vanish if $1/f_n(x)$ truly is an approximation of $exp(-x)$. </p> http://mathoverflow.net/questions/127601/does-the-derivative-of-log-have-a-dirac-delta-term Comment by Tom Copeland Tom Copeland 2013-04-16T10:11:09Z 2013-04-16T10:11:09Z @Liviu, anticipating? Check the dates. Dirac was famous for his terseness, originality, and ingenuity, as reflected in his presentation. http://mathoverflow.net/questions/127601/does-the-derivative-of-log-have-a-dirac-delta-term Comment by Tom Copeland Tom Copeland 2013-04-16T09:42:23Z 2013-04-16T09:42:23Z @Terry, given the earlier stated answers below, your comment seems at best redundant. Maybe you could expand on it as an answer and provide some new details for those not already familiar with the theory of distributions http://mathoverflow.net/questions/127601/does-the-derivative-of-log-have-a-dirac-delta-term/127650#127650 Comment by Tom Copeland Tom Copeland 2013-04-15T23:49:57Z 2013-04-15T23:49:57Z Really, weren't the results for the limiting case of the derivative of the log worked out fairly rigorously by Cauchy and Poisson in their work on potential theory long before 20'th century mathematicians put a formal dress on them? http://mathoverflow.net/questions/127601/does-the-derivative-of-log-have-a-dirac-delta-term Comment by Tom Copeland Tom Copeland 2013-04-15T22:44:22Z 2013-04-15T22:44:22Z Dirac would have known all these results from electrostatics to corroborate his assertion. http://mathoverflow.net/questions/127601/does-the-derivative-of-log-have-a-dirac-delta-term Comment by Tom Copeland Tom Copeland 2013-04-15T22:39:32Z 2013-04-15T22:39:32Z Terry, you're missing a derivative. d/dz log(z)=1/z then look at limits as in the Poisson kernel. http://mathoverflow.net/questions/127601/does-the-derivative-of-log-have-a-dirac-delta-term Comment by Tom Copeland Tom Copeland 2013-04-15T21:24:44Z 2013-04-15T21:24:44Z Dirac's bachelor's degree was in electrical engineering at a British university, so I'm sure he was familiar with and influenced by Heaviside's style of mathematics. http://mathoverflow.net/questions/127601/does-the-derivative-of-log-have-a-dirac-delta-term Comment by Tom Copeland Tom Copeland 2013-04-15T21:05:05Z 2013-04-15T21:05:05Z For those who may be a little confused about the absolute value sign, just switch to polar coordinates and restrict to the real line. http://mathoverflow.net/questions/127601/does-the-derivative-of-log-have-a-dirac-delta-term Comment by Tom Copeland Tom Copeland 2013-04-15T10:27:04Z 2013-04-15T10:27:04Z I'm sure Dirac was thinking that ln(x)=ln|x|+i H(-x)π, where H(x) is the Heavside step function. http://mathoverflow.net/questions/117287/motivation-of-virasoro-algebra Comment by Tom Copeland Tom Copeland 2013-01-16T09:10:10Z 2013-01-16T09:10:10Z @Muon : Actually, you mean $z^{n+1}$. I'll expand on my comment later. I think a good answer to your questions would involve combining ideas in Khesin and Wendt's The Geometry of Infinite-Dimensional Groups, Ovsienko and Tabachnikov's Projective Differential Geometry Old and New, and the book I cited earlier in a tight narrative, but that's beyond me at the moment. http://mathoverflow.net/questions/97180/history-of-the-sampling-theorem/117059#117059 Comment by Tom Copeland Tom Copeland 2013-01-09T23:39:02Z 2013-01-09T23:39:02Z @Eremenko : the paper you cite in the edit is precisely the one in my answer. Why the repetition? Luke in the cited paper states, &quot;The first scientist to formulate the sampling theorem precisely and apply it to problems of communication engineering is probably V. A. Kotelnikov.&quot; (1933) http://mathoverflow.net/questions/118469/hopf-algebra-for-a-physicist Comment by Tom Copeland Tom Copeland 2013-01-09T23:12:11Z 2013-01-09T23:12:11Z For a physicist with an interest in QED perhaps a good place to start is Sec. 3.3 Fusion, Splitting, and Hopf Algebras in E. Zeidler's book Quantum Field Theory II Quantum Electrodynamics. http://mathoverflow.net/questions/97180/history-of-the-sampling-theorem/117059#117059 Comment by Tom Copeland Tom Copeland 2013-01-07T05:18:04Z 2013-01-07T05:18:04Z Don't confuse the son J. M. (1929, and later in his book in 1935) with the father E.T. (1915) who is actually given the majority of the credit for a bandwidth analysis. (I guess you see what you look for.) If you're concerned about accreditation to Russians, you might want to confirm (or not) the chronology at the website linked to in my answer which notes Kotelnikov (1930), as well as other nationalities (Ogura, 1920). http://mathoverflow.net/questions/117287/motivation-of-virasoro-algebra Comment by Tom Copeland Tom Copeland 2012-12-27T04:10:25Z 2012-12-27T04:10:25Z As a first step at understanding the relations, I always recall that $exp(-c \cdot z^2d/dz)f(z)=exp[c \cdot d/d(1/z)]f(1/(1/z))=f(1/(c+1/z))=f(z/(cz+1)),$ a special conformal transformation. Note $zd/dz=d/d(ln(z))$ for the dilatation. http://mathoverflow.net/questions/117287/motivation-of-virasoro-algebra Comment by Tom Copeland Tom Copeland 2012-12-27T03:55:54Z 2012-12-27T03:55:54Z Try Ch. 9: Conformal Invariance Sec. 9.1: Energy momentum tensor-Virasoro algebra of the book Statistical Field Theory Vol. 2 by Itzykson and Drouffe. Maybe you could work around pg. 514 on translations, complex dilatations, and special conformal transformations related to $d/dz, zd/dz,$ and $z^2d/dz$.The central charge is discussed in the next sub-section from a physical and mathematical perspective. http://mathoverflow.net/questions/116561/a-dedekind-eta-trajectory-horocyclic-flow-reference-request Comment by Tom Copeland Tom Copeland 2012-12-21T00:37:56Z 2012-12-21T00:37:56Z I wonder if the first curve could be lifted off the plane onto a double torus with one torus nested inside the other but sharing its circle of max radius with that of the other torus.