Su una classe equazionale di algebre

Sunto Si studiano certe classi equazionali di algebre, comprendenti in particolare le algebre di Post. Lavoro eseguito nell’ambito dell’attività dei gruppi di ricerca matematici del C.N.R. (per l’anno 1965–’66).     

Un criterio per individuare la relazione logica tra due eventi con una serie di esperienze

Riassunto Si propone l’uso del concetto di entropia come test per scoprire il rapporto logico fra due eventi, dei quali si sia eseguita una serie di prove.

---

Résumé On propose l’emploi du concept d’entropie comme test pour découvrir le rapport logique entre deux événements dont on a effectué une série d’épreuves.

     

Propagazione di onde magnetofluidodinamiche in un plasma incomprimibile

Lavoro eseguito con contributo del C.N.R. nell’ambito del Gruppo Nazionale per la Fisica Matematica e per le applicazioni della Matematica alla Fisica ed alla Ingegneria presso l’Istituto Matematico dell’Università di Siena. Entrata in Redazione il 19 settembre 1972.     

Le coordinate intrinseche e l’integrazione delle equazioni della meccanica dei continui

Sunto Dopo aver definito le coordinate intrinseche in una generica varietà riemanniana viene costruita una variazione del tensore fondamentale che lascia invariate le coordinate stesse. Viene quindi dimostrato che la conoscenza di questa deformazione rende possibile la costruzione di un tensore doppio simmetrico avente data divergenza: cioè fornisce un integrale particolare delle equazioni della statica dei continui comunque curvi a due e tre dimensioni, in presenza di forze di campo. Viene inoltre mostrato che tale integrale particolare serve per costruire l’integrale generale delle equazioni stesse, e delle analoghe in assenza di forze di campo. Si può ottenere così anche l’integrale generale delle equazioni della dinamica dei continui negli spazi-tempo della Relatività generale. Entrata in Redazione il 19 aprile 1971.     

OnT-accretive operators

Sunto Sono date condizioni su alcuni operatori differenziali che assicurano la T-accretivita negli spazi L^v.

---

---

Entrata in Redazione il 3 settembre 1971.

---

Durante lo svolgimento di questo lavoro, l’autore ha usufruito di una borsa di studio presso l’Istituto per le Applicazioni del Calcolo del C.N.R., Roma.     

Applicazione del metodo di Lighthill per la costruzione di flussi transonici retti dall’equazione di Tomotika e Tamada

Sunto L’A. indica come il metodo diLighthill per la costruzione di flussi transonici attorno ad ostacoli cilindrici in corrente uniforme all’infinito subsonica si possa applicare quando si faccia uso dell’equazione diTomotika eTamada per definire il flusso; questo metodo è molto utile quando è prescritta la forma dell’ostacolo, e quando la prora di questo è qualsiasi e la poppa non é a cuspide, casi in cui il procedimento ordinariamente seguito cade in difetto. Viene prima ottenuta una nuova espressione di un integrale particolare dell’ equazione diTomotika eTamada, e sono studiate le proprietà che l’integrale stesso presenta: fra l’altro è mostrato come questo possa esprimersi per mezzo di una serie assolutamente convergente comoda per le applicazioni numeriche, perchè ogni termine di essa contiene solo funzioni di cui esistono estese tabelle. Per questa ragione i risultati che qui si ottengono conservano il vantaggio della maggiore semplicità rispetto a quelli deducibili considerando come equazione del flusso quella diChaplygin. è mostrata infine l’applicazione del procedimento esposto alla deduzione del campo transonico attorno ad un ostacolo ? quasi circolare ?. Ad Antonio Signorini nel suo 70^mo compleanno.     

Una condizione di ergodicità per l’energia cinetica

Riassunto Si considera un sistema dinamico ooonomo ad un solo grado di libertà. Si semplifica la condizione di ergodicità di una variabile aleatoria e di tutte le funzioni di essa, data in un lavoro precedente da, B. Forte; questa nuova forma della condizione di ergodicità viene poi usata per stabilire a quale condizione necessaria e sufficiente deve soddisfare il potenziale della sollecitazione agente sul sistema perchè l’energia cinetica e tutte le funzioni di essa siano ergodiche.

---

Résumé On considère un système dynamique à un degré de liberté. On simplifie la condition d’ergodicité d’une variable aléatoire et de toutes ses fonctions, donnée dans un travail précédent par B. Forte; ensuite on emploie cette nouvelle forme de la condition d’ergodicité pour établir à quelle condition nécessaire et suffisante doit satisfaire le potentielU du système pour que l’énergie cinétique et toutes ses fonctions soient ergodiques.

---

---

Lavoro eseguito per la realizzazione del programma di ricerca del Gruppo n. 7 del C.N.R.     

Sulle pseudo-probabilita’ associate all’informazione

Sommario Si definiscono pseudo-probabilità quelle funzioni di evento associate alla funzione di informazione quando si postula per l’informazione della unione di due eventi una legge di carattere universale. Si studiano le principali proprietà delle pseudo-probabilità e si dimostra che esse sono caratterizzate da una classe particolare di soluzioni di una equazione funzionale.

---

Résumé On définit pseudo-probabilité les fonctions d’événement associées à la fonction d’information quand on postule que l’information de deux événements suit une loi à caractère universel. On étudie les principales propriétés des pseudo-probabilités et l’on démontre qu’elles sont caractérisées par une classe particulière de solutions d’une équation fonctionelle.

     

On the stability of couette-benard M.H.D. flows of binary mixtures

Summary We study a class of Couette-Benard M.H.D. flows of a binary mixture in a plane slant layer. By using the theory of semigroups of linear bounded transformations, we prove that the initial-value problem forfinite perturbations has one and only one solution belonging to a suitable Banach space. Finally, we show the inconditionated asymptotical stability in norm of such a solution.

---

Sunto Si studia una classe di moti magnetoidrodinamici alla Couette-Benard di una miscela fluida binaria in uno strato piano obliquo e, con le tecniche della teoria dei semigruppi di trasformazioni lineari limitate, si dimostra, in un opportuno spazio di Banach, l’esistenza e l’unicità della soluzione del problema di evoluzione per perturbazionifinite e l’incondizionata stabilità asintotica in norma di tali moti.

---

---

Entrata in Redazione il 19 Ottobre 1974.

---

Work performed under the auspices of the National Research Council (C.N.R., Gruppo Nazionale per la Fisica Matematica).     

Strong solutions of the Navier-Stokes equations in aperture domains

We consider the nonstationary Navier-Stokes equations in an aperture domain Ω⊂R³ consisting of two halfspaces separated by a wall, but connected by a hole in this wall. In this special domain one has to impose an auxiliary condition to single out a unique solution. This can be done by prescribing either the flux through the hole or the pressure drop between the two halfspaces. We construct suitable Stokes operators for both of the auxiliary conditions and show that they generate holomorphic semigroups. Then we prove the existence and uniqueness of solutions as well as a maximal regularity estimate for the Stokes equations subject to one of the auxiliary conditions. For the corresponding Navier-Stokes equations we prove existence and uniqueness of local in time solutions.

---

Sunto In questo lavoro consideriamo le equazioni di Navier-Stokes non stazionarie in un dominio con un’apertura, che consiste di due semispazi separati da una parete, ma collegati da un’apertura in quest’ultima. In questo dominio particolare è necessario imporre, per avere un’unica soluzione, una opportuna condizione ausiliaria. Questo può essere fatto sia assegnando il flusso attraverso l’apertura sia prescrivendo il salto di pressione tra i due semispazi. Qui costruiamo degli operatori di Stokes opportuni per ambedue i tipi di condizioni ausiliarie e mostriamo come essi generino semigruppi olomorfi. Dimostriamo, quindi, esistenza e unicità di soluzioni, assieme ad una stima di massima regolarità per le equazioni di Stokes soggette ad una delle condizioni ausiliarie. Per le corrispondenti equazioni di Navier-Stokes, dimostriamo esistenza e unicità di soluzioni locali nel tempo.

     

Solutions presque périodiques des inéquations d’évolution paraboliques

Sunto Si dimostra un teorema di esistenza per la soluzione quasi periodica di una disequazione d’evoluzione parabolica.

---

---

Politecnico di Milano. Lavoro eseguito usufruendo di una borsa di studio del C.N.R. per l’estero presso l’Università di Parigi.

---

Entrata in Redazione il 14 giugno 1970.     

Estensioni booleane di strutture relazionali

Riassunto In questa nota si introduce il concetto di estensione booleana in una struttura relazionale, facendo vedere che per questa via è possibile generalizzare in modo naturale le nozioni di potenza diretta, potenza ridotta e ultrapotenza di una struttura. Si estende inoltre alle ultraestensioni un teorema fondamentale sulle ultrapotenze.

---

Summary In this paper the notion of Boolean extension of a relational structure is introduced. It is shown that it is possible to generalize in a natural way the notions of direct power, and ultrapower of a relational structure. A foundamental theorem on ultrapowers is extended to ?ultraextensions?.

---

---

Lavoro eseguito nell’ambito dell’attività del Gruppo di Ricerca n. 37 del Consiglio Nazionale delle Ricerche per l’anno 1968–69.     

On Shannon’s entropy power inequality

Summary We prove that the entropy power inequality follows from Blachman’s argument [1] if the densities have finite moments of order α, for some α>0, whenever Shannon’s variational approach can be applied if α>=2.

---

Sommario Si dimostra che la disuguaglianza esponenziale dell’entropia può essere dedotta da alcuni precedenti risultati di Blachman [1] se le densità di probabilità hanno momenti finiti di ordine α, per qualche α>0. Si dimostra inoltre che l’argomento variazionale di Shannon può essere applicato se α≥2.

     

Stability of contact discontinuities for the nonisentropic Euler equations

We study the stability of contact discontinuities for the nonisentropic Euler equations in two or three space dimensions. A simple criterion predicting neutral stability or violent instability is given.

---

Sunto Si studia la stabilità delle discontinuità di contatto per le equazioni di Eulero non isentropiche in dimensione di spazio 2 e 3. Viene presentato un criterio semplice per la stabilità neutrale e l’instabilità violenta.

     

Sur le Degré Minimum des Connexions Polynomiales Entre les Projections Dans une Algèbre de Banach

Résumé  L’insiemeP degli elementi idempotenti di un’algebra di BanachA é in generale non connesso. J. Zemanek [7] e B. Aupetit [1] hanno dimostrato che le componenti connesse di tale insieme sono connesse per archi. Inoltre J. Esterle [4] ha dimostrato che due elementi diP appartenti alla stessa componente connessa possono essere collegati attraverso un cammino polinomiale. In questo lavoro si studia il minimo grado di tali polinomi seA è un’algebra di Banach di dimensione finita oppure seA è l’algebra degli operatori limitati su uno spazio di Banach.     

Sull’entropia di ordine α

Sommario Si propone per l’entropia di ordine α un sistema semplificato di assiomi, basato sull’assunzione di una definizione modificata dell’entropia condizionata. Il sistema tende in maniera continua al sistema classico per l’entropia diShannon.

---

Résumé On propose pour l’entropie α un système simplifié d’axiomes, en s’appuyant sur une définition modifiée de l’entropie liée. Ce système tend d’une fa?on continue au système deShannon lorsque α→1.

---

---

Lavoro eseguito per il C.N.R.—Gruppo di Ricerca n. 7. L’autore è grato al Prof.B. Forte per i suoi preziosi suggerimenti.     

Sul contatto fra superficie e coniche. Una caratterizzazione differenziale della superficie romana di Steiner

Sunto Data una superficie analitica Σ dello spazio proiettivo ordinario ed un suo punto O, si considera il cono inviluppo K dei piani passanti per O e secanti la superficie Σ secondo curve per le quali O è sestattico. Si dimostra che le uniche superficie analitiche non rigate per cui K è riducibile in ogni punto sono: la superficie romana diSteiner e la sua duale (superficie cubica diC. Segre), e le superficie che sono inviluppate da una famiglia ∞¹ di quadriche, ciascuna delle quali è osculatrice in tutti i punti di una conica. Si tratta poi l’analoga questione per le superficie rigate.     

Il problema matematico del sistema ottico concentrico stigmatico

Sunto Si esamina il problema generale del sistema ottico tutto racchiuso da una sfera di raggio finito, dentro la quale l’indice di rifrazione sia una funzione n(r) della distanza r dal centro, tale che, quando il sistema è immerso in aria, ogni punto della sfera esterna abbia immagine perfetta all’infinito. Per n(r) si fanno le ipotesi più generali che possano essere accettate fisicamente; in particolare si ammette un numero finito di punti di discontinuità di prima specie. Dato il modo di costruire la soluzione generale, che dipende da una funzione arbitraria, definita in un intervallo minore del raggio della sfera esterna, si sviluppano a fondo i calcoli per un caso particolare di speciale interesse fisico.     

Projective version of Malcolmson’s criterion

It is proven that the extension of Malcolmson’s methods to reppresent all elements ofR _ζ is not purely straightforward. A detailed proof of such extension is here furnished.

---

Sunto Si prova che l’estensione dei metodi di Malcolmson per la rappresentazione degli elementi diR _ζ a tutte le applicazioni tra moduli proiettivi indotti non è puramente meccanica. è fornita una dimostrazione dettagliata di detta estensione.

     

Misure euclidee,hermitiane, simplettiche e potenze esterne di uno spazio vettoriale quaternionale

Riassunto SiaV _n uno spazio vettoriale quaternionale destro n-dimensionale e V_4n lo spazio vettoriale reale ? immagine reale ? diV _n. Una metrica hermitiana inV _n e le metriche euclidea e simplettica ad essa associate danno luogo (attraverso la considerazione di determinanti sul corpo dei quaternioni) a tre diversi tipi di metriche per i multivettori semplici di ∧^t V_4n. Le nozioni introdotte permettono, tra l’altro, di associare ad ogni sottospazio V_t di V_4n un ben determinato angolo (deviavione caratteristica assoluta di V_t) e di generalizzare ai multivettori la disuguaglianza di Cauchy-Schwarz. Lavoro eseguito nell’ambito dell’attività del Contratto di Ricerca n. 9 del Comitato per la matematica del C.N.R. Entrata in Redaz’one il 25 giugno 1970.