Calcolo e cambiamento

Misurare il cambiamento — la matematica del movimento!

Livello Base — linguaggio semplice, senza matematica

Lancia una palla dritta in aria. Sale veloce, poi più lentamente, resta sospesa per un battito di cuore in cima, poi cade sempre più in fretta. Ecco una domanda subdola che ha lasciato perplessa la gente per secoli: quanto velocemente si muove in un esatto istante — non in un secondo, nemmeno in un millesimo di secondo, ma in un singolo momento congelato? Ferma del tutto il tempo e la palla non si è mossa affatto, quindi il solito "distanza diviso tempo" ti consegna uno sconcertante zero su zero.

Newton e Leibniz lo risolsero nel Seicento, lavorando separatamente, e la loro idea è splendidamente semplice: ingrandisci una curva liscia qualsiasi abbastanza da vicino e comincia a sembrare una linea retta. La pendenza di quella linea è la velocità in quell'istante — e, più in generale, la derivata, il tasso a cui qualcosa sta cambiando proprio ora. La ripidità diventa velocità.

Fai girare la stessa macchina all'indietro — somma infinitamente tante fette infinitamente sottili — e ottieni l'integrale, che ti consegna aree, volumi, distanze e grandi totali. Derivate e integrali sono due facce della stessa medaglia, e insieme sono forse gli strumenti più potenti che la matematica abbia mai prodotto, facendo girare in silenzio la fisica, l'ingegneria, la medicina, l'economia e quasi ogni scienza che esista.

Derivate, integrali e il teorema fondamentale del calcolo

Livello Studente — le equazioni principali

La derivata è costruita da un limite che fissa negli occhi il problema dello "zero su zero" e lo batte: \(f'(x) = \lim_{h\to 0} \dfrac{f(x+h) - f(x)}{h}\). Geometricamente è la pendenza della retta tangente; fisicamente, se \(f(t)\) è la posizione allora \(f'(t)\) è la velocità e \(f''(t)\) l'accelerazione. Due regole reggono gran parte del lavoro: la regola della potenza \(\dfrac{d}{dx}x^n = n x^{n-1}\) e la regola della catena \(\dfrac{d}{dx}f(g(x)) = f'(g(x))\,g'(x)\) per sbucciare funzioni annidate.

L'integrale definito \(\int_a^b f(x)\,dx\) è l'area con segno sotto una curva, definita come il limite di rettangoli sempre più fini — una somma di Riemann \(\lim_{n\to\infty}\sum_i f(x_i)\,\Delta x\). Poi arriva la battuta finale che lega insieme l'intera materia, il teorema fondamentale del calcolo: se \(F' = f\), allora \(\int_a^b f(x)\,dx = F(b) - F(a)\). Derivazione e integrazione sembrano lavori del tutto diversi — trovare pendenze contro trovare aree — eppure sono inversi esatti. Quell'unico fatto è il cardine su cui gira tutta la materia.

Punta il calcolo sul tempo e ottieni le equazioni differenziali, il linguaggio che la natura usa per enunciare le sue leggi. La più semplice, \(\dfrac{dy}{dt} = ky\), cattura tutto ciò la cui crescita tiene il passo con la propria dimensione — popolazioni, interesse composto, decadimento radioattivo — e si risolve elegantemente in \(y(t) = y_0 e^{kt}\). Aggiungi un po' di complessità e lo stesso meccanismo consegna la seconda legge di Newton, l'equazione delle onde e l'equazione del calore, le equazioni differenziali che fanno girare essenzialmente tutta la fisica e l'ingegneria.

Analisi reale, teoria della misura e l'integrale di Lebesgue

Livello Esperto — profondità matematica completa

01Dove Riemann si esaurisce

L'integrale che incontri per primo — quello di Riemann — spezza l'asse orizzontale in strisce sottili e ne somma le aree. Funziona splendidamente per le funzioni lisce della fisica, ma si strozza su qualsiasi cosa troppo frastagliata. L'orrore classico è la funzione di Dirichlet, uguale a 1 sui razionali e 0 sugli irrazionali: fra due punti qualsiasi salta infinite volte, nessuna striscia si assesta mai, e l'integrale di Riemann si rifiuta categoricamente di esistere. Per fare analisi onestamente — per scambiare limiti e integrali senza incrociare le dita — serve una definizione più robusta.

02L'idea di Lebesgue: affetta il codominio, non il dominio

La mossa di Lebesgue (1902) fu di girare l'immagine su un fianco. Invece di partizionare l'input, partiziona l'output: chiedi quanto del dominio cade in ciascuna sottile banda orizzontale di valori, e pesa per quella quantità — \(\int f\,d\mu = \sup \sum_i y_i\,\mu\!\left(f^{-1}[y_i, y_{i+1}]\right)\). La funzione di Dirichlet diventa all'istante banale: i razionali, dove vale 1, formano un insieme di misura nulla, quindi non contribuiscono nulla e l'integrale è semplicemente 0. Lo spazio \(L^1(\mu)\) delle funzioni integrabili diventa uno spazio di Banach completo — una casa adeguata per l'analisi.

03La misura, e le cose che non puoi misurare

Sotto tutto sta la teoria della misura, l'arte di assegnare in modo coerente una "dimensione" agli insiemi — lunghezza sulla retta, area nel piano, probabilità in uno spazio campionario — che sopravvive alle unioni numerabili. È abbastanza generale da dimensionare stranezze come l'insieme di Cantor, eppure ha un limite netto: concedendo l'assioma della scelta, puoi costruire insiemi così patologici che nessuna misura coerente esiste per essi. Il paradosso di Banach–Tarski si annida qui, affettando una sfera in pochi frammenti non misurabili e riassemblandoli in due sfere identiche alla prima. La teoria della misura è precisamente il linguaggio che spiega perché ciò dovrebbe sembrare impossibile.

04I teoremi di convergenza — il vero premio

Gli analisti non cambiarono per eleganza; cambiarono per potenza. L'integrale di Lebesgue arriva con teoremi per scambiare un limite e un integrale — il passo che i fisici fanno di continuo, di solito senza pensarci due volte. Il teorema della convergenza dominata è il cavallo da tiro: se \(f_n \to f\) puntualmente e sono tutte limitate da un'unica \(g\) integrabile, con \(|f_n| \le g\), allora \(\lim \int f_n\,d\mu = \int f\,d\mu\). Riemann non offre una garanzia così pulita, e quasi ogni scambio di somma, limite e integrale nella fisica moderna si appoggia in silenzio a questo risultato.

05L² e Fourier: le funzioni come geometria

Le funzioni a quadrato integrabile \(L^2\) formano uno spazio di Hilbert — una geometria a dimensione infinita dotata di lunghezze e angoli, in cui gli esponenziali complessi \(\{e^{inx}/\sqrt{2\pi}\}\) fungono da assi perpendicolari. Sviluppare una funzione in essi è solo calare delle perpendicolari, e l'identità di Parseval \(\|f\|^2 = \sum_n |\hat{c}_n|^2\) è Pitagora travestito: l'energia di un segnale è uguale all'energia del suo spettro. La versione continua, la trasformata di Fourier \(\hat{f}(\xi) = \int f(x)\,e^{-2\pi i \xi x}\,dx\), porta la stessa geometria sull'intera retta reale.

06Dove tutto atterra

Nulla di questo è ornamentale — è il pavimento su cui poggia la scienza moderna. La meccanica quantistica è lo studio dei vettori di stato in uno spazio di Hilbert, con \(|\hat{\psi}(p)|^2\) la densità di probabilità della quantità di moto e operatori al posto delle osservabili. La teoria della probabilità è la teoria della misura sotto un altro nome, e il teorema del limite centrale ne discende pulitamente tramite le funzioni caratteristiche. Ogni MP3, JPEG e risonanza magnetica è analisi di Fourier incassata nel silicio. Gli "infinitesimi" traballanti di Newton e Leibniz impiegarono due secoli a essere resi rigorosi — e quel rigore si rivelò il basamento della fisica del Novecento.