Funció de Clausen

De Viquipèdia
Salta a la navegació Salta a la cerca
Gràfic de la funció de Clausen (vermell) i (verd)
Funció de Clausen

En matemàtiques, la funció de Clausen, introduïda per Thomas Clausen (1832), és una funció especial transcendental d'una sola variable.

Es pot expressar en la forma d'una integral definida, una sèrie trigonomètrica i diverses altres funcions especials. Està connectada íntimament amb el polilogaritme, la integral de la tangent inversa, la funció poligamma, la funció zeta de Riemann, la funció eta de Dirichlet i la funció beta de Dirichlet.

La funció de Clausen d'ordre 2, sovint referida com la «funció Clausen» tot i ser una de les moltes classes, està donada per la integral:

En el rang , la funció sinus dins el signe de valor absolut segueix sent estrictament positiva, de manera que el símbol del valor absolut es pot ometre.

La funció Clausen també es pot representar en sèrie de Fourier:

Les funcions Clausen, com una classe de funcions, s'utilitzen àmpliament en moltes àrees de la investigació matemàtica moderna, sobretot en relació amb l'avaluació de moltes classes d'integrals logarítmiques i polilogarítmiques, totes dues definides i indefinides. També tenen nombroses aplicacions pel que fa a les sumes de les sèries hipergeométriques, sumes que impliquen la inversa del coeficient binomial central, sumes de la funció poligamma i sèries L de Dirichlet.

Propietats bàsiques[modifica]

La funció Clausen (d'ordre 2) té zeros simples en tot (nombre enter) múltiple de ja que si és un nombre enter, :

Té un màxim en:

i un mínim en:

Les següents propietats són conseqüències immediates de la definició de sèrie:[1]

Definició general[modifica]

Funcions estàndard de Clausen
Funcions de Glaisher-Clausen

Més en general, es defineix les dues funcions generalitzades de Clausen:

que són vàlids per al complex z amb Re z >1. La definició es pot estendre a tot el pla complex a través continuació analítica.

Quan z és reemplaçat per un nombre enter no-negatiu, les funcions estàndard de Clausen es defineixen mitjançant la següent sèrie de Fourier:

Cal notar que les funcions de Clausen de tipus SL tenen la notació alternativa i es refereixen a vegades com les funcions de Glaisher-Clausen (de James Whitbread Lee Glaisher, per tant, la notació GL).

Relació amb els polinomis de Bernoulli[modifica]

Les funcions de Clausen de tipus SL són polinomials en , i estan estretament relacionades amb els polinomis de Bernoulli. Aquesta connexió es desprèn de les representacions de la sèrie de Fourier dels polinomis de Bernoulli:

Configurant en l'anterior i reordenant després els termes dóna les següents expressions (polinomials) de forma tancada:

on els polinomis de Bernoulli es defineixen en funció dels nombres de Bernoulli per la relació:

Avaluacions explícites derivades dels anteriors inclouen:

Fórmula de duplicació[modifica]

Per , es pot provar directament la fórmula de duplicació en la definició d'integral:[1]

Les conseqüències immediates de la fórmula de duplicació, juntament amb l'ús del valor especial , inclouen la relacions:

Per a les funcions de Clausen d'ordre superior, les fórmules de duplicació es poden obtenir de la donada anteriorment; simplement substituint amb la variable lliure i integrant en l'interval Aplicant el mateix procés produeix diverses vegades:

I més en general, amb la inducció de

L'ús generalitzat de la fórmula de duplicació permet una extensió del resultat de la funció de Clausen d'ordre 2, relacionant-la amb la constant del Catalan. Per

On és la funció beta de Dirichlet.

Demostració de la fórmula de duplicació[modifica]

A partir de la definició integral,

i aplicant la fórmula de duplicació de la funció sinus, , s'obté

Aplicant la substitució en les dues integrals:

En aquesta última integral, substituint i utilitzant la identitat trigonomètrica , es pot veure que:

Per tant,

Derivades de les funcions de Clausen d'ordre general[modifica]

Derivant directament els desenvolupaments en sèrie de Fourier de les funcions de Clausen, s'obté:

Apel·lant al primer teorema fonamental del càlcul, també tenim:

Relació amb la integral de la tangent inversa[modifica]

Es defineix la integral de la tangent inversa en l'interval com

Té la següent forma tancada en termes de la funció de Clausen:

Demostració de la relació amb la integral de la tangent inversa[modifica]

De la definició de la integral de la tangent inversa, tenim

Realitzant una integració per parts

Aplicant les substitucions obtenim

Per l'última integral, apliquem la transformació i aconseguim

Finalment, com amb la prova de la fórmula de duplicació, la substitució redueix aquesta última part integral de

així

Relació amb la funció G-Barnes[modifica]

Per als nombres reals , la funció de Clausen d'ordre 2 es pot expressar en termes de la funció G-Barnes i la funció Gamma (d'Euler):

o de forma equivalent[2]

Relació amb el polilogaritme[modifica]

Les funcions de Clausen representen les parts real i imaginària del polilogaritme en la circunferència unitat:

Això es veu fàcilment apel·lant a la definició de la sèrie de polilogaritme.

Pel teorema d'Euler,

i pel teorema de De Moivre (fórmula de De Moivre)

per tant

Relació amb la funció poligamma[modifica]

Les funcions de Clausen estan íntimament relacionades amb la funció poligamma. De fet, és possible expressar les funcions de Clausen com combinacions lineals de funcions de sinus i funció poligamma. Una d'aquestes relacions es mostra aquí ies demostra a continuació:

Siguin i dos nombres enters positius, tal que és un nombre racional i, a continuació, per la definició de les sèries per a la funció d'ordre superior Clausen (fins i tot d'índex):

dividim aquesta suma exactament en p parts, de manera que la primera sèrie conté tot, i només, aquests termes congruents a la segona sèrie conté tots els termes congruents a etc., fins a la part final d'ordre p, que contenen tots els termes congruents a

Podem indexar aquestes sumes per formar una suma doble:

Aplicant la fórmula d'addició per a la funció sinus,el terme sinusoïdal en el numerador es converteix en:

i com a conseqüència

Per convertir la suma interior de doble suma en una suma no alterna, dividim exactament en dues parts de la mateixa manera que la suma anterior es va dividir en p parts:

Per , la funció poligamma es pot representar amb la sèrie

Per tant, en termes de la funció poligamma, la suma interior anterior es converteix en:

Afegint aquest terme entre la suma doble, dóna el resultat desitjat

Relació amb la integral log-sinus generalitzada[modifica]

La integral log-sinus generalitzada es defineix per:

En aquesta notació generalitzada, la funció de Clausen es pot expressar en la forma:

La relació de Kummer[modifica]

Ernst Kummer i Rogers donen la relació

vàlida per .

Relació amb la funció Lobachewsky[modifica]

La funció Lobachevski (Λ o Л) és essencialment la mateixa funció amb un canvi de variable:

encara que històricament el nom de «funció de Lobachevski» no és del tot precisa, com les fórmules de Lobachevski per al volum hiperbòlic que utilitzen la funció lleugerament diferent

Relació amb sèries L de Dirichlet[modifica]

Per als valors racionals de (és a dir, per a per a alguns nombres enters p i q), la funció pot ser entesa per representar una òrbita periòdica d'un element en el grup cíclic, i per tant es pot expressar com una simple suma que implica la funció zeta de Hurwitz. Això permet que les relacions entre certes sèries L de Dirichlet es puguin computar fàcilment.

Acceleració de la sèrie[modifica]

Una acceleració de la sèrie per a la funció de Clausen està donada per

la qual cosa és vàlida per . Aquí, { és la funció zeta de Riemann. Una forma de convergència més ràpida està donada per

El factor ajuda a la convergència acostant-la ràpidament a zero per a valors grans de n.[3]

Valors especials[modifica]

Alguns valors especials inclouen

Valors especials generalitzats[modifica]

Alguns valors especials per a funcions de Clausen d'ordre superior inclouen

on és la constant de Catalan, és la funció beta de Dirichlet, és la funció eta de Dirichlet, i és la funció zeta de Riemann.

Integrals de la funció directa[modifica]

Les següents integrals es demostren fàcilment a partir de les representacions de la sèrie de la funció de Clausen:

Avaluacions d'integrals que impliquen la funció directa[modifica]

Un gran nombre de les integrals trigonomètriques i logaritme-trigonomètriques poden ser avaluades en termes de la funció de Clausen, i diverses constants matemàtiques comunes com (constant de Catalan), , i els casos especials de la funció zeta, i .

Els exemples que figuren a continuació són una conseqüència directa de la representació integral de la funció de Clausen, i les proves requereixen poc més de trigonometria bàsica, la integració per parts, i la integració ocasional terme a terme de les definicions de les sèrie de Fourier de les funcions de Clausen.

Referències[modifica]

Bibliografia[modifica]

  • Abramowitz, Milton; Stegun, Irene Ann. "Chapter 27.8". Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55 (en anglès). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards: Dover Publications, 1964, p. 1005. ISBN 978-0-486-61272-0. 
  • Adamchik, Viktor S. Contributions to the Theory of the Barnes Function (en anglès), 2003. 
  • Borwein, Jonathan M; Bradley, David M; Crandall, Richard E. Computational Strategies for the Riemann Zeta Function (en anglès). J. Comp. App. Math. 121, 2000, p. 247–296. DOI 10.1016/s0377-0427(00)00336-8. 
  • Borwein, Jonathan M; Straub, Armin. Relations for Nielsen Polylogarithms (en anglès). J. Approx. Theory. 193, 2013. DOI 10.1016/j.jat.2013.07.003. 
  • Clausen, Thomas. Über die Function sin φ + (1/22) sin 2φ + (1/32) sin 3φ + etc (en alemany). Journal für die reine und angewandte Mathematik. 8, 1832, p. 298-300.  ISSN 0075-4102
  • Kalmykov, Mikahil Yu; Sheplyakov, A. LSJK – a C++ library for arbitrary-precision numeric evaluation of the generalized log-sine integral (en anglès). Comput. Phys. Comm. 172, 2005, p. 45–59. DOI 10.1016/j.cpc.2005.04.013. 
  • Kölbig, Kurt Siegfried. Chebyshev coefficients for the Clausen function Cl2(x) (en anglès). J. Comput. Appl. Math. 64 (3), 1995, p. 295-297. DOI 10.1016/0377-0427(95)00150-6. 
  • Lewin, Leonard. Structural Properties of Polylogarithms (en anglès). Providence, RI: American Mathematical Society, 1991. ISBN 0-8218-4532-2. 
  • Lu, Hung Jung; Perez, Christopher A. Massless one-loop scalar three-point integral and associated Clausen, Glaisher, and L-functions (en anglès), 1992. 
  • Mathar, R. J. A C99 implementation of the Clausen sums (en anglès), 2013. 
  • Wood, Van E. Efficient calculation of Clausen's integral (en anglès). Math. Comp. 22 (104), 1968. DOI 10.1090/S0025-5718-1968-0239733-9.