Integrazione numerica "classica" e metodo Monte Carlo

Esempio (banale):  [Graphics:Images/in_gr_1.gif] = ?

Si cercheranno approssimazioni numeriche basate sui valori assunti dalla funzione integranda in punti equispaziati del dominio d'integrazione.

Dati del problema e scelta del passo di calcolo (qui corrispondente a 100 divisioni dell'intervallo  [0, 1] ):

[Graphics:Images/in_gr_2.gif]

Il valor vero dell'integrale (per il confronto) è, naturalmente,  sin (1):

[Graphics:Images/in_gr_3.gif]
[Graphics:Images/in_gr_4.gif]
[Graphics:Images/in_gr_5.gif]
[Graphics:Images/in_gr_6.gif]

Metodo "dei rettangoli centrati"

Metodo dei rettangoli centrati

Si sommano le aree dei rettangoli che hanno per base le frazioni scelte dell'intervallo e per altezza i valori della  f(x) a metà delle stesse:

[Graphics:Images/in_gr_7.gif]
[Graphics:Images/in_gr_8.gif]

Errore relativo:

[Graphics:Images/in_gr_9.gif]
[Graphics:Images/in_gr_10.gif]

Metodo "dei trapezi" o "dei rettangoli traslati"

Metodo dei trapezi o dei rettangoli traslati

Si sommano le aree dei trapezi che hanno per altezza le frazioni scelte dell'intervallo e per basi i segmenti orientati di misura  f(X(n)) , il che equivale, per costruzione geometrica, a considerare gli n-1 rettangoli di base h interni al dominio, con altezze pari alle basi sopradette, più i due rettangoli estremi, di base dimezzata ed altezze misurate da f(a) ed f(b) :

[Graphics:Images/in_gr_11.gif]
[Graphics:Images/in_gr_12.gif]

Errore relativo:

[Graphics:Images/in_gr_13.gif]
[Graphics:Images/in_gr_14.gif]

(questa approssimazione risulta più efficace della precedente solo quando la funzione integranda esibisce dei cambi di concavità nel dominio d'integrazione - altrimenti il lato obliquo dei trapezi risulta sempre al di sotto o al di sopra della curva f(x) , sicché ad ogni passo i singoli errori si sommano).


Metodo "di Simpson"

Consta di una somma con pesi differenti per gli intervalli di ordine pari o dispari:

[Graphics:Images/in_gr_15.gif]
[Graphics:Images/in_gr_16.gif]

Errore relativo:

[Graphics:Images/in_gr_17.gif]
[Graphics:Images/in_gr_18.gif]

Questo metodo (che richiede che si divida il dominio d'integrazione in un numero pari di intervalli) equivale ad approssimare la curva integranda con archi di parabola, infatti:

Integrale dell'arco di parabola  [Graphics:Images/in_gr_19.gif]  passante per tre punti consecutivi del campione
[Graphics:Images/in_gr_20.gif]

Determinazione del sistema relativo alla parabola passante per tre punti dati:

[Graphics:Images/in_gr_21.gif]

Assegnazione delle espressioni funzionali dei coefficienti:

[Graphics:Images/in_gr_22.gif]

Calcolo dell'area relativa al generico intervallo (a+2n*h , a+(2n+2)*h) :

[Graphics:Images/in_gr_23.gif]
[Graphics:Images/in_gr_24.gif]

Dividendo i termini nei valori pari e dispari dei multipli del passo, la somma di tutti gli integrali al variare di n può scriversi come

[Graphics:Images/in_gr_25.gif]

che è la

[Graphics:Images/in_gr_26.gif]

del metodo di Simpson.

Integrazione col metodo Monte Carlo: caso monodimensionale

[Graphics:Images/in_gr_27.gif]

La funzione è valutata in un numero T di punti del dominio distribuiti casualmente in modo uniforme:

[Graphics:Images/in_gr_28.gif]
[Graphics:Images/in_gr_29.gif]

Errore relativo:

[Graphics:Images/in_gr_30.gif]
[Graphics:Images/in_gr_31.gif]

Con un milione di punti-campione:

[Graphics:Images/in_gr_32.gif]
[Graphics:Images/in_gr_33.gif]
[Graphics:Images/in_gr_34.gif]

Errore relativo:

[Graphics:Images/in_gr_35.gif]
[Graphics:Images/in_gr_36.gif]

Tale errore va confrontato direttamente con quelli precedentemente ricavati per i metodi "classici" di approssimazione, rivelando la scarsa idoneità del metodo, in questo caso.

Il confronto nei casi multidimensionali: D=2

[Graphics:Images/in_gr_37.gif]

Il valore esatto dell'integrale è, naturalmente:

[Graphics:Images/in_gr_38.gif]
[Graphics:Images/in_gr_39.gif]

Metodo dei rettangoli centrati

[Graphics:Images/in_gr_40.gif]
[Graphics:Images/in_gr_41.gif]

Errore relativo:

[Graphics:Images/in_gr_42.gif]
[Graphics:Images/in_gr_43.gif]

Metodo di Simpson bidimensionale

Analogamente al caso monodimensionale, questo metodo adotta l'interpolazione tramite un settore di quadrica di una porzione di grafico della funzione integranda corrispondente ad un quadrato contenente 9 punti-campione.

Integrale dei due settori di paraboloide [Graphics:Images/in_gr_44.gif]  passanti per un quadrato 3X3 di punti del campione
[Graphics:Images/in_gr_45.gif]
[Graphics:Images/in_gr_46.gif]

Sistema rappresentante un paraboloide passante per sei punti:

[Graphics:Images/in_gr_47.gif]

Assegnazione delle espressioni funzionali dei coefficienti:

[Graphics:Images/in_gr_48.gif]

Dal punto di vista operativo, si dividerà il quadrato di 9 punti-campione in due triangoli che includeranno nel loro perimetro sei punti ciascuno venendo a condividerne, pertanto, tre, posti su una diagonale del quadrato.


Partizione del campione

Il volume compreso fra il generico "triangolo inferiore" e il piano xy può scriversi:

[Graphics:Images/in_gr_49.gif]
[Graphics:Images/in_gr_50.gif]


Per analogia, il volume relativo al "triangolo superiore" sarà, sostituendo le coordinate dei tre punti variati:

[Graphics:Images/in_gr_51.gif]

Cosicché all'intero quadrato comprendente il punto (a+(2m+1)*h , a+(2n+1)*h) ed i suoi otto primi vicini compete un volume:

[Graphics:Images/in_gr_52.gif]
[Graphics:Images/in_gr_53.gif]
Calcolo dell'integrale

Reimmissione dei dati del problema:

[Graphics:Images/in_gr_54.gif]

Calcolo dell'integrale:

[Graphics:Images/in_gr_55.gif]
[Graphics:Images/in_gr_56.gif]

Errore relativo:

[Graphics:Images/in_gr_57.gif]
[Graphics:Images/in_gr_58.gif]

Metodo Monte Carlo

[Graphics:Images/in_gr_59.gif]
[Graphics:Images/in_gr_60.gif]

Errore relativo:

[Graphics:Images/in_gr_61.gif]
[Graphics:Images/in_gr_62.gif]

La precisione risulta un po' più competitiva, rispetto al caso precedente, con quella dei metodi classici, anche se è ancora largamente insufficiente.

D=3 con rilevazione dei tempi di calcolo (su un campione ridotto)

[Graphics:Images/in_gr_63.gif]

Valore esatto:

[Graphics:Images/in_gr_64.gif]
[Graphics:Images/in_gr_65.gif]

Metodo dei rettangoli centrati

[Graphics:Images/in_gr_66.gif]
[Graphics:Images/in_gr_67.gif]

Errore relativo:

[Graphics:Images/in_gr_68.gif]
[Graphics:Images/in_gr_69.gif]
Metodo dei rettangoli centrati con calcolo preventivo delle coordinate dei punti-campione del dominio
[Graphics:Images/in_gr_70.gif]
[Graphics:Images/in_gr_71.gif]

Si sommano i relativi valori di  f  , con il loro peso uniforme:

[Graphics:Images/in_gr_72.gif]
[Graphics:Images/in_gr_73.gif]
[Graphics:Images/in_gr_74.gif]
[Graphics:Images/in_gr_75.gif]

Metodo Monte Carlo

[Graphics:Images/in_gr_76.gif]
[Graphics:Images/in_gr_77.gif]

Errore relativo:

[Graphics:Images/in_gr_78.gif]
[Graphics:Images/in_gr_79.gif]

Si può iniziare a cogliere già in quest'ultimo esempio il duplice vantaggio del metodo Monte Carlo rispetto ai classici: la qualità sostanzialmente inalterata dell'approssimazione all'aumentare della dimensione del dominio, quindi la sua crescente competitività (a parità di punti-campione) rispetto a metodi che abbattono progressivamente la precisione del calcolo rispetto al caso monodimensionale [Graphics:Images/in_gr_80.gif] - anche se una reale equipollenza è raggiunta, con i metodi più sofisticati come quello di Simpson o della regola di Gauss, solo per D ≈ 25-30 - , ma, soprattutto, il mantenimento di una elementare tecnica di campionamento del dominio stesso, a differenza degli altri casi che, persino in un esempio elementare come questo (integrazione su un tassellamento cubico), costringono al calcolo della funzione integranda in un set ben determinato di punti del dominio (nel caso del metodo più semplice, i centri dei cubi), con un rilevante aumento dei tempi di calcolo, anche quando l'indirizzamento è predeterminato (attraverso la matrice M).


Converted by Mathematica      October 26, 2001