¿Por qué la función Digamma siempre se denota con la letra "psi"?

Mi pregunta es sobre la notación de la función Digamma .


La función factorial norte ! (que se cumple en la escuela secundaria), es conceptualmente fundamental para la función Digamma. La función factorial se define como:

0 ! = 1 , norte ! = ( norte + 1 ) ! norte + 1

Este concepto se amplía con la función Pi de Gauss:

Π ( z ) = Π ( z + 1 ) z + 1
y con un desplazamiento de unidad simple ( ver aquí ), la función Euler Gamma más familiar:
Γ ( z ) = Γ ( z + 1 ) z

La función Digamma es una extensión adicional:

ψ ( z ) = Γ ( z ) Γ ( z )
y se puede ampliar con la función Polygamma:
ψ metro ( z ) = d metro d z metro ψ ( z )


Todas las fuentes que he encontrado que mencionan Digamma (o Polygamma) lo denotan como arriba con la letra griega 'psi' ψ . Esto me aturde y me confunde. La forma mayúscula del griego arcaico de digamma se asemeja al glifo de gamma mayúscula Γ , pero con una barra transversal horizontal adicional, haciéndola aparecer como una 'doble gamma' o una barra latina F .

Los caracteres gamma en mayúsculas, digamma y psi en minúsculas están disponibles en LaTeX/MathJax, donde $$\Gamma,\digamma,\psi$$produce:

Γ , ϝ , ψ

Tiene sentido que 'Digamma' sea elegido como un símbolo que es visual y etimológicamente similar a la función Gamma, porque estas funciones están estrechamente relacionadas. No tiene ningún sentido elegir el símbolo. ψ . Pero lo que realmente me molesta es que el nombre de la función no coincide con el símbolo de la función.


Mis preguntas):

Si vamos a llamarla función 'Digamma', ¿por qué no usamos un símbolo 'Digamma'?
o, por el contrario
, si vamos a utilizar un símbolo 'psi', ¿por qué no lo llamamos función 'psi'?

¿Hay alguna justificación para el establecimiento o la continuación de esta convención arraigada? ¿Es esto simplemente un artefacto histórico de la humanidad idiota (un error tipográfico)? ¿O hay más en la historia?


Mi mejor conjetura es que muchos tienen algo que ver con las limitaciones tipográficas o la sobrecarga. Pero todavía parece una notación ridículamente confusa para aprender (y mucho menos para enseñar y propagar).

Supongo que sabrás que había una letra griega “digamma”, caída en desuso en la época clásica. Representaba un w sonido, que había desaparecido de la lengua. Como parecía una gamma apilada sobre otra, se la llamó digamma. Diríamos que parecía un F con un fondo rizado.
La "Enciclopedia de Matemáticas" de Springer-wiki lo llama "Psi-function": encyclopediaofmath.org/index.php/Psi-function Todas las demás fuentes que verifiqué dicen "Digamma", pero en su mayoría usan como símbolo alguna variante de la letra psi.
Si se recuerda correctamente "13 de octubre de 1729, Leonhard Euler, Carta a Goldbach" utilizado por primera vez Γ ( X ) y en el libro de Legendre "Traité des fonctions elliptiques et des intégrales eulériennes" ambos Γ ( X ) y ψ ( X ) son usados.
¿No es lógico, si tienes una poligamma, tener una trigamma y digamma? Históricamente, el conteo ha ido al revés: 1,2, etc. 'Psi' tiene el mismo comienzo que 'poly' y si alguien no quisiera tener una función pi, un nombre que quizás ya se haya usado, psi parece como un segundo mejor.
La 'p' es 'psi', es muda.
La 'p' en 'psi' se pronuncia en griego y en la mayoría de los idiomas europeos. Además, gran parte de la escritura matemática se realiza a mano, y la letra digamma es bastante similar a la 'F', lo que podría resultar confuso.

Respuestas (2)

Creo que es porque esta función se usó y se denominó "psi", mucho antes de que obtuviera un nombre.

De hecho, parece ( registro Π ) y ( registro Γ ) aparecen por primera vez en Euler ( 1755 , pp. 797-801 ; 1769 , p. 17 ), resp. Legendre ( 1810, p. 502 ), sin nombre ni notación especial. Encuestas como Brunel ( 1886 , p. 58 ; 1899 , p. 162 ) o Jensen ( 1916, p. 140 ) coinciden en que se denotan Ψ según Gauss ( 1813, p. 34 ), resp. ψ después de - no está claro quién . (Clausen ( 1858, p. 169 ) o Bertrand ( 1870 , p. 252 ) podrían ser ejemplos tempranos). En cualquier caso, todavía no tienen nombre.

En cambio, como se aprende en Pearson ( 1922 , p. viii ), Davis ( 1933 , p. 277 ; 1935 , p. 9 ; 1935, p. 243 ), o Jordan ( 1939 , p. 58 ), el nombre “digamma ” y notación ϝ para Ψ surgió por primera vez en la p. 5 de

Pairman, Eleanor , Tablas de las funciones digamma y trigamma. (Tractos para computadoras, editado por Karl Pearson, Nr. 1.) , Cambridge: University Press, 19 S (1919). ZBL47.0510.15 :

pareja

En resumen, creo que Pairman ganó su apuesta para nombrar la función aún sin nombre, pero no logró desplazar la notación "psi" existente. (Los únicos adoptantes que pude encontrar son Jeffreys & Jeffreys ( 1946 , §15.04 ).)


Nota añadida: Por otro lado, Legendre en sus Exercices ( 1811, p. 19 ) dividió las integrales elípticas en 3 tipos para llamarlos Nome, Epinome, Paranome :

Ϝ = d φ Δ , mi = Δ d φ , Π = d φ ( 1 + norte pecado 2 φ ) Δ
dónde Δ = 1 C 2 pecado 2 φ . Cuando estas palabras no prevalecieron, Verhulst ( 1841, p. v ) justificó un intento de renombrarlas digamma, epsilon, kappa (notación d i gramo , mi pag s , k a pag ) con

1º La letra Ϝ, utilizada por Legendre para denotar la función d φ Δ , lleva el nombre griego δίγαμμα .

Ϝ ϝ 𝟊 𝟋

Una respuesta terriblemente investigada y sumamente documentada.
@ElementsinSpace Gracias. Sería interesante responder a la pregunta que quedó abierta en " no está claro quién ". (No puedo entender lo que Brunel y Jensen dicen allí).
¿Cuál es el problema con esos párrafos en Brunel y Jensen? Según tengo entendido, solo recopilan, como referencia, qué símbolos han sido utilizados para esta función por varios autores (incluido φ de Legendre y minúsculas ψ por Cauchy).
@TorstenSchoeneberg El problema es que en realidad no veo todos esos ψ 's en " Cauchy , Gudermann y la mayoría de los autores desde entonces".

Según la página francesa de wikipedia Fonction digamma , fue James Stirling (1730) quien introdujo y estudió por primera vez la función digamma, denotándola con la letra griega digamma (en mayúsculas). ϝ . Sin embargo, esta afirmación está marcada como que requiere una cita. Después de señalar su estudio posterior de Legendre, Poisson y Gauss alrededor de 1810, el artículo simplemente dice "Elle est désormais le plus souvent notée par la lettre ψ (minúscula psi)" - "Ahora se denota más a menudo con la letra ψ ".

Después de que se introdujeron las funciones gamma y digamma, se generalizaron como la secuencia completa de funciones poligamma. En el contexto de las funciones poligamma, obviamente es deseable tener una sola denotación funcional, es decir,

ψ ( norte ) ( z ) := d metro + 1 d z ( metro + 1 )  en  Γ ( z )

dónde ψ ( 0 ) denota la función digamma, ψ ( 1 ) la función trigamma, etc... En otras palabras, en el contexto de la secuencia de funciones poligamma, no hay razón para que la función digamma tenga una designación especial.

Si no está claro por qué se eligió psi , pero parece razonable suponer que es por eso que el especial ϝ La designación Digamma introducida por Stirling dejó de usarse. Era simplemente una cuestión de elegancia notacional en el caso general.

La página de Wikipedia en cuestión dice: [réf. souhaitée]! Lo más cercano que puedo encontrar a tal fuente es la mención en Nielsen ( 1906 , p. 17 ) de que Stirling estudió β ( X ) = 1 2 ( ψ ( X + 1 2 ) ψ ( X 2 ) ) en ( 1730 ). Sin embargo, una mirada allí sugiere que no tenía ni un nombre ni un símbolo para esa función.
@FrancoisZiegler Gracias por recordarme mi omisión aquí. He editado mi respuesta para señalar el requisito de una cita. Posiblemente Nielsen esté usando el estándar de entonces ψ denotación en lugar de lo que establece el artículo es el uso de Stirling de ϝ .