Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] di regole della dimostrazione diminuisce. Iterando le due operazioni si diminuisce il grado dei tagli, vale a questo contesto emergono le dipendenze lineari presenti in teoremi che non contengono connettivi lineari e queste dipendenze permettono ...
Leggi Tutto
Convessità
Arrigo Cellina
La convessità è un concetto della matematica elementare; le parole concavo e convesso fanno parte del linguaggio quotidiano. Eppure questo semplice concetto, unito ad altre [...] in u ma solo monotone. Negli anni Sessanta un grande impulso all'utilizzo degli operatori monotoni per lo studio di problemi non lineari venne dai lavori di Felix Browder, George J. Minty, Eduardo H. Zarantonello oltre che dello stesso Stampacchia ...
Leggi Tutto
BURALI FORTI, Cesare
Evandro Agazzi
Nacque ad Arezzo il 13 ag. 1861 da Cosimo e da Isoletta Guiducci. Dopo aver compiuto gli studi medi nel collegio militare di Firenze, s'iscrisse nel dicembre 1879 [...] è, anzi, assistente dello stesso Peano.
La menzione di queste opere del Peano e del B. serve a darci una certa prospettiva per autori il B. e Marcolongo e tratta le Trasformazioni lineari (Bologna 1929); essi vi sviluppano e ampliano la loro vecchia ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Ennio De Giorgi
Carlo Sbordone
Ennio De Giorgi è stato uno dei più geniali matematici italiani del 20° secolo. Nel 1956, a soli ventotto anni, nell’articolo Sull’analiticità delle estremali degli integrali [...] (indipendentemente) un’estensione al caso di equazioni paraboliche a opera di John Nash, premio Nobel per l’economia nel 1994 per il problema di Cauchy, relativo ad equazioni differenziali lineari a derivate parziali di tipo parabolico, «Annali di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il calcolo geometrico
Paolo Freguglia
Gert Schubring
Il calcolo geometrico
Quando pubblicò il trattato Die lineale Ausdehnungslehre (La teoria [...] l'appello rivolto a Klein, che ebbe l'idea di pubblicare le opere complete di Grassmann, vincendo così la resistenza dei figli. Apparse tra Jules Molk, si ispirava alla teoria delle forme lineari e dei multivettori di Grassmann per elaborare la ...
Leggi Tutto
funzione di Green
Luca Tomassini
Una funzione legata alla rappresentazione tramite integrali di soluzioni di equazioni differenziali (su una regione X⊂ℝ{[) con condizioni al bordo (della regione X, [...] definita come nucleo integrale dell’operatore inverso dell’operatore differenziale generato dalla data equazione propagatori di Feynmann, di fondamentale importanza nella teoria quantistica dei campi.
→ Equazioni differenziali: problemi non lineari ...
Leggi Tutto
soluzioni deboli
Luca Tomassini
Consideriamo un operatore differenziale lineare
definito su un aperto connesso A di ℝn, dove le ak(x) sono funzioni su A sufficientemente regolari (per es. differenziabili [...] in A. Il simbolo L* indica qui l’aggiunto formale dell’operatore L, definito tramite la
Per es., nel caso L=∂/∂xi, la ellittiche ogni soluzione debole è anche forte.
→ Equazioni differenziali: problemi non lineari; Matematica: problemi aperti ...
Leggi Tutto
In matematica, si dice di struttura nella quale sia definita un’operazione che non è commutativa (➔ commutativa, proprietà). Tali strutture hanno assunto un ruolo importante nella caratterizzazione della [...] . Naimark sulle C*-algebre, una particolare varietà di algebra degli operatori nello spazio di Hilbert. Per es., con la quantizzazione dello o kählerizzazione, per le equazioni d’onda non lineari e al metodo delle orbite nella teoria delle ...
Leggi Tutto
Matematico statunitense di origine argentina (Mendoza 1920 - Chicago 1998). Laureatosi in ingegneria civile presso l'Univ. di Buenos Aires (1947), ha conseguito nel 1950 il PhD in matematica all'Univ. [...] contributi all'analisi e in particolare allo studio degli operatori integrali singolari e delle loro applicazioni nei problemi di che trova applicazione nello studio della propagazione delle singolarità in equazioni differenziali non lineari. ...
Leggi Tutto
Ottimizzazione
Agostino La Bella
L'o. costituisce un insieme di metodologie utilizzate nell'analisi e nella soluzione di molti complessi problemi di decisione, progettazione e allocazione di risorse. [...] o. è divenuta una disciplina fortemente integrata con la ricerca operativa prima e con l'ingegneria gestionale poi. Inoltre, riveste da funzioni obiettivo e da vincoli che sono indiscutibilmente lineari. Per es., un vincolo di budget che rappresenta ...
Leggi Tutto
linearismo
s. m. [der. di lineare1]. – 1. Nella terminologia critica delle arti figurative, la tendenza a far prevalere la linea su ogni altro elemento di un’opera pittorica o grafica, e spec. sul chiaroscuro e sulle gradazioni del colore....
rete
réte s. f. [lat. rēte]. – 1. Intreccio di fili di materiale vario, incrociati e annodati tra loro regolarmente in modo che restino degli spazî liberi, detti maglie: il materiale (canapa, sparto, cocco e altre fibre vegetali; fibre artificiali;...