Sostituzione di Weierstrass

metodo di calcolo per determinati integrali definiti

Nel calcolo integrale, la sostituzione di Weierstrass è una sostituzione che si applica nella ricerca delle funzioni primitive e, conseguentemente, degli integrali definiti di funzioni razionali di funzioni trigonometriche. Senza perdita di generalità, si possono trasformare queste ultime in funzioni razionali del seno e del coseno. Secondo Michael Spivak, questa tecnica rappresenta indubbiamente "la sostituzione più subdola del mondo".[1]

La sostituzione di Weierstrass (proiezione stereografica della circonferenza).

Eulero e Weierstrass modifica

La sostituzione di Weierstrass è così chiamata da svariati testi che fanno riferimento a Karl Weierstrass (1815 – 1897), senza tuttavia citare alcun caso di sostituzione nei suoi scritti,[2][3][4] ma la tecnica è attestata nelle opere di Eulero (1707 – 1783) assai prima della nascita di Weierstrass.[5]

La sostituzione modifica

Il procedimento consiste nel sostituire sin x, cos x con funzioni razionali di una variabile t e il differenziale dx con il prodotto di una funzione razionale di t e del differenziale dt:[6]

 

Derivazione modifica

Poniamo

 

Per la formula di duplicazione del seno si ha:

 

Per la formula di duplicazione del coseno si ha:

 

Il differenziale dx si può calcolare come segue:

 

Esempi modifica

 
La formula di duplicazione della tangente mette in relazione un angolo con il coefficiente angolare di una linea.

Esempio 1 modifica

 

Secondo esempio: integrale definito modifica

 

Non si può applicare semplicemente la sostituzione   per entrambi i limiti di integrazione perché occorre tenere presente la singolarità (in questo caso un asintoto verticale) di   per  .

Terzo esempio modifica

 

Se .

Geometria modifica

Al variare di x il punto (cos x, sin x) si avvolge ripetutamente attorno alla circonferenza unitaria centrata nell'origine (0, 0). Il punto

 

"gira" solo una volta intorno alla circonferenza al variare di t da −∞ a +∞ e non raggiunge mai il punto (−1, 0), che costituisce il suo limite all'approssimarsi di t a ±∞. Per t che va da −∞ a −1, il punto determinato da t si sposta lungo la parte della circonferenza situata nel terzo quadrante, da (−1, 0) a (0, −1). Per t che va da −1 a 0, il punto si sposta lungo la parte della circonferenza situata nel quarto quadrante, da (0, −1) a (1, 0). Per t che va da 0 a 1, il punto si sposta lungo la parte della circonferenza situata nel primo quadrante, da (1, 0) a (0, 1). Infine, per t che va da 1 a +∞, il punto si sposta lungo la parte della circonferenza situata nel secondo quadrante, da (0, 1) a (−1, 0).

Da un altro punto di vista geometrico, se tracciamo la circonferenza unitaria e poniamo P come punto (−1, 0), una linea passante per P (ad eccezione della linea verticale) è determinata dal proprio coefficiente angolare. Inoltre, ogni linea (tranne quella verticale) interseca la circonferenza unitaria in due punti, uno dei quali è P, determinando una funzione che calcola i coefficienti angolari a partire dai punti che intersecano la circonferenza unitaria. Le funzioni trigonometriche determinano una funzione che permette di ricavare da un angolo un punto sulla circonferenza unitaria, e combinando queste due funzioni otteniamo una funzione che consiste in una corrispondenza tra angoli e coefficienti angolari.

Funzioni iperboliche modifica

È possibile effettuare una sostituzione di tipo analogo con le funzioni iperboliche, che hanno in comune diverse proprietà con quelle trigonometriche:

 
 
 
 

Note modifica

  1. ^ Michael Spivak, Calculus, Cambridge University Press, 2006, pp. 382–383.
  2. ^ Gerald L. Bradley e Karl J. Smith, Calculus, Prentice Hall, 1995, pp. 462, 465, 466
  3. ^ Christof Teuscher, Alan Turing: Life and Legacy of a Great Thinker, Springer, 2004, pp. 105–6
  4. ^ James Stewart, Calculus: Early Transcendentals, Brooks/Cole, Apr 1, 1991, p. 436
  5. ^ Leonhard Euler, Institutiionum calculi integralis volumen primum, 1768, E342, Caput V, par. 261. Cfr. http://www.eulerarchive.org/
  6. ^ James Stewart, Calculus: Early Transcendentals, Brooks/Cole, 1991, p. 439

Voci correlate modifica

Collegamenti esterni modifica