A two phase stefan problem: regularity of the free boundary

We proved the infinite differentability of the function x=s(t) giving, for all t, the abscissa of the interface plane for a two phase Stefan problem in a plane infinite slab. The proof applies in both cases of temperature or thermal fluxes prescribed on the two limiting planes.

---

Riassunto Con riferimento ad un problema di Stefan a due fasi in uno strato piano indefinito, viene dimostrata la infinita differenziabilità della funzione x=s(t) che rappresenta ad ogni istante la ascissa del piano di separazione tra le due fasi. La trattazione è valida sia per il caso in cui si assegni la temperatura sulle facce dello strato, sia per quello in cui venga assegnato il fiusso.

---

---

The research was supported in part by the National Science Foundation contract GP 15724 and the NATO Senior Fellowship program.

---

Entrata in Redazione il 14 settembre 1970.     

On lattice-like properties of orthoquaternary categories

Summary We point a class of categories for which necessary and sufficient conditions in order they have an orthodox quaternary symmetrization are expressible by means of lattice-like properties of subobjects, these one given by axiomsD1)-5). This implies that canonical isomorphisms between subquotients are composable and that Noether isomorphism theorems hold.

---

Riassunto Si individua una classe di categoric per le quali l’esistenza e l’ortodossia della simmetrizazione quaternaria è exprimibile mediante proprietà di tipo reticolare di sottooggetti, enunciate nella forma di assiomiD1)-5). Ciò garantisce la componibilità degli isomorfismi canonici tra subquozienti e la validità dei teoremi di isomorfismo di Noether.

---

---

Written while the authors were members of C.N.R. sec. G.N.S.A.G.A.     

Sulla monogeneità negli spazi di Banach

Summary In assenza di struttura moltiplicativa, la definizione di funzione monogena viene data in questo lavoro basandosi sulla considerazione di una coppia di operatori lineari (uno dei quali coincidente ad es. col differenziale) che mandano 0-forme in 1-forme. Si stabiliscono risultati sull’esistenza delle derivate successive, delle primitive e un teorema integrale di tipo Cauchy. L’equivalenza fra il problema della primitiva e il problema della derivata appare qui dipendere dalla permutabilità dei ruoli degli operatori della coppia.

---

---

Lavoro eseguito nell’ambito del Programma di Ricerca n. 9 del C.N.R.

---

Entrata in Redazione il 25 giugno 1970.     

Discontinuità e ipersuperfici caratteristiche in magnetofluidodinamica relativistica

Sunto L'A., dopo aver mostrato come si riduce il numero delle equazioni della m.f.d. in relatività generale quando la conducibilità elettrica è infinita, esamina le ipersuperfici di discontinuità nelle derivate delle funzioni incognite e ricerca le soluzioni proprie dei sistemi di equazioni lineari omogenee nei parametri di discontinuità. In primo luogo viene esaminato il sistema, indeterminato, che si deduce dalla solenoidalità del tensore energetico e dalle equazioni di Maxwell; successivamente si esaminano i sistemi determinati o associandovi l'ipotesi che il fluido sia barotropico, comprimibile o incomprimibile, o che valga un'equazione termica di stato e il principio di conservazione della densità numerica delle particelle. Si distingue tra ipersuperfici che siano luogo di linee di corrente e di linee di forza per il campo magnetico, e ipersuperfici che siano in vari modi intersecate da linee di corrente e da linee di forza, ottenendone le equazioni differenziali, nonchè i legami tra i parametri di discontinuità.

---

Summary The A., after having shown how the number of the equations of magnetofluid-dynamics in general relativity is reduced when the electrical conductivity is infinite, studies the discontinuity manifolds of the derivatives of the unknown functions and looks for the eigensolutions of the linear homogeneous equations in the jumps of the derivatives. Firstly the A. studies the indeterminate system derived from the equations which state that the divergence of the energy-tensor is null and from the Maxwell equations; successively, he studies the systems which are determined by the hypothesis that either the fluid is incompressible, or is compressible and barotropic, or by a caloric state equation and by the conservation law of the numerical density of the particles. A distinction is made form manyfolds locus of path lines and locus of lines of force for the magnetic field and manyfolds which are variously crossed by path lines and by lines of force. The differential equations of the manyfolds and the relations from the jumps are found.

---

---

Lavoro eseguito nell'ambito dell'attività dei Gruppi di ricerca Matematici del C.N.R.     

Induction in orthodox involution categories (orthodox categories, 3)

Sunto Si definiscono i morfismi indotti in una categoria involutiva regolare, fattorizzante (dotata di fattorizzazioni epi-mono ? uniche ?) e ortodossa (composizione di endomorfismi idempotenti è idempotente); si prova che in tale ambito l'ortodossia è condizione necessaria e sufficiente per la componibilità degli isomorfismi canonici (indotti dai morfismi identità). Questo lavoro e gli altri della serie saranno utilizzati per studiare le relazioni indotte tra subquozienti in una categoria esatta.

---

---

Lavoro compiuto nell'ambito dei gruppi di ricerca del C.N.R.

---

Entrata in Redazione il 15 Novembre 1976.     

A class of diffraction problems in diffusive absorption phenomena

Riassunto Si considera la diffusione di una sostanza in due strati adiacenti di materiali, in uno dei quali la sostanza viene assorbita secondo una legge in cui la velocità di penetrazione è funzione crescente della concentrazione della sostanza sul fronte. Si dimostra l'esistenza globale di una soluzione del problema e si investigano alcune sue proprietà qualitative.

---

---

Work partially supported by the Italian C.N.R. (Progetto strategico « Applicazioni industriali e tecnologiche della matematica »).     

Polarized mixed Hodge structures: on irrationality of threefolds via degeneration

Sunto In questo lavoro si studia una degenerazione di varietà lisce e proiettive di dimensione tre e la degenerazione delle corrispondenti strutture di Hodge polarizzate. La polarizzazione sulla struttura di Hodge mista « limite » viene poi applicata allo studio dell'irrazionalità della generica varietà della famiglia.

---

---

Partially supported by a C.N.R. fellowship at the University of Georgia, Athens, USA.     

On the inversion of some differentiable mappings with singularities between Banach spaces

Sunto. Il classico metodo di P. Levy e R. Caccioppoli è esteso al caso di applicazioni tra spazi di Banach che presentino singolarità. Viene fatta un'applicazione ad un problema non lineare in cui si ha modo di valutare esattamente il numero delle soluzioni.

---

---

Entrata in Redazione il 12 novembre 1971.

---

Supported by G.N.A.F.A. (Gruppo Nazionale di Analisi Funzionale ed Applicazioni, C.N.R.).     

Conservation laws and growth of discontinuities in a reactive polytropic gas

Summary We shall consider a conservation law associated with a non-equilibrium gas flow with chemical reaction. Some results on the growth of discontinuities and the occurrence of breakdown of the solution are pointed out.

---

Sommario Si prende in esame una legge di conservazione che viene associata alle equazioni che governano un gas in non equilibrio in cui avviene una reazione chimica. Si mettono in evidenza alcuni risultati sull'evoluzione delle discontinuita' e sulla eventuale perdita di regolarita' della soluzione.

---

---

This work was partially supported by the G.N.F.M. (Gruppo Nazionale Fisica Matematica) of C.N.R.     

La formalizzazione della nozione di prova e una nuova definizione dell’indipendenza. I

Riassunto Questo articolo è la prima parte di un lavoro (le tre parti successive saranno pubblicate sempre sulla presente rivista) volto a introdurre. il concetto di prova tra quelli primitivi del calcolo delle probabilità e, sulla scorta di questa introduzione e di un opportuno sistema di assiomi che regolano l'uso del nuovo concetto primitivo, una nuova definizione d'indipendenza svincolata dalla nozione di probabilità. In questa prima parte viene compituta un'analisi delle trattazioni dell'indipendenza finora note, analisi che consente di individuare tre approcci fondamentali al problema della definizione dell'indipendenza nella teoria delle probabilità. Ciascuno dei tre approcci suddetti viene ampiamente analizzato sia nelle sue trattazioni intuitive sia, quando ciò si verifichi, nelle sue trattazioni formalizzate. In questo contesto viene prestata particolare attenzione all'assiomatizzazione di Kolmogorov.

---

Summary This paper is the first part of a work (the next three parts will be published in this review) which is devoted to introduce the concept of trial among the primitive concepts of the probability theory and a new definition of indipendence not involving the notion of probability. This definition is based on the concept of trial and on a suitable system of axioms that establish the use of this new primitive concept. In this first part the author makes an analysis of the known developments of indipendence that point out the existence of three principal points of view. Each of this point of view is extensively analysed in its intuitive development and in its formalized development when there exists one. Particular attention is devoted to the Kolmogorov’s axiomatization.

---

---

Lavoro eseguito nell’ambito dell’attività del CNR, gruppo per le strutture algebriche e geometriche e le loro applicazioni (sezione VII).     

Hodge theory on cyclotomic threefolds (with a view towards the higher dimensional case)

Sunto Nel presente lavoro si considerano alcune famiglie di ipersuperfici liscie dello spazio proiettivo complesso quadridimensionale, invarianti per opportune azioni del gruppo delle radici p-esime dell'unità, dove p è un divisore del grado. Si verifica la congettura di Grothendieck-Hodge sull'elemento generale delle famiglie considerate generalizzando alcuni metodi di G. E. Welters o alternativamente esibendo una relazione tra la congettura di unirigatezza di Miyaoka-Mori e la suddettta congettura sulla prima filtrazione di Hodge della coomologia intermedia. La stessa costruzione viene poi applicata ad analoghe famiglie di ipersuperfici dello spazio proiettivo complesso (n+1)-dimensionale ottenendo risultati simili. In particolare si esibisce un insieme numerabile di famiglie di varietà quadridimensionali che verificano la (2, 2)-congettura classica di Hodge.

---

---

Partially supported by the italian M.U.R.S.T. and the european scientific project «Algebraic Geometry in Europe» (A.G.E.).     

On the Hölder-Continuity of ω-minima

Summary We prove H?lder regularity for the gradient of local ω-minima of integral functionals with quadratic principal part.

---

Riassunto In questo lavoro si dà un risultato di regolarità h?lderiana per il gradiente degli ω-minimi locali di funzionali integrali aventi parte principale quadratica.

---

---

The author is member of G.N.A.F.A.; this work is supported by the Ministero della Pubblica Istruzione.     

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.     

Sur le problème de la correspondance par parallélisme entre les variétés réglées dansS n

Sunto In una serie di lavori anteriori propri l' A. ha studiato le ipersuperficie rigate dello S₄ e S₅ ed ha stabilito tra l'altro delle corrispondenze per parallelismo tra vari tipi di varietà rigate di tali spazi [9] – [14]. Il presente lavoro si riferisce alle varietà rigate dello S_n ed è suddiviso in due parti. Nella prima, si da una classificazione affine delle ipersuperficie rigate nello S_n, necessaria per lo studio del problema della corrispondenza per parallelismo, mentre nella seconda si determinano alcune corrispondenze per parallelismo tra le varietà rigate di questo spazio.

---

---

Hommage à Monsieur le ProfesseurEnrico Bompiani     

Parametrized\bar \partial operator on pseudoconvex setsoperator on pseudoconvex sets

Sunto Si dimostra l'esistenza della soluzione per l'operatore di Cauchy-Riemann parametrizzato, nel caso continuo per varietà fortemente pseudoconvesse e nel caso differenziabile per varietà di Stein.

---

---

Entrata in Redazione il 20 maggio 1975.

---

Supported by C.N.R. research groups.     

Magnetic spectrometry of powders of highT c superconductors using a magnetic levitometer

Gli autori riferiscono intorno a misure delle proprietà diamagnetiche di superconduttori ad alta temperatura, siano monocristalli o polveri, mediante un nuovo levitometro magnetico. Il nuovo strumento ha consentito di: 1) determinare la diminuzione della magnetizzazione e della suscettività al crescere del campo magnetico nei cuprati di ittrio e bario; 2) confrontare il comportamento delle polveri con quello del monocristallo; 3) analizzare lo spettro di suscettività e la struttura dei flussoidi dei grani levitanti. Lo strumento si è rivelato essere un ottimo spettrometro magnetico adatto alla separazione di qualità delle diverse fasi superconduttrici presenti nei grani. (A cura dell'editore).

---

(Conferenza tenuta dal Prof. G. Morpurgo il 27 marzo 1990)     

Sulla influenza dell'effetto Hall nella propagazione di onde magnetofluidodinamiche iu un fluido incomprimibile

Sunto Si esamina l'influenza dell'effetto Hall sulla propagazione ondosa it un fluido incomprimibile descritto dalle equazioni della magnetofluidodinamica nello schema del continuo. Nella parte I si studia dapprima la propagazione di onde piane di piccola ampiezza e poi quella delle onde di ampiezza finita. Nella parte II l'indagine é estesa alle onde cilindriche e nella parte III infine si discute la propagazione di onde piane e cilindriche nel caso in cui nello stato imperturbato il fluido non sia in quiete, bensì in moto uniforme. Nel lavoro si tiene conto delle azioni dissipative della viscosità e della conducibilità elettrica finita.

---

Summary In this paper we discuss wave propagation in an incompressible conducting fluid considered as a continuous medium taking account of the Hall effect. In Part I we first consider the propagation of plane waves of small amplitude and secondly waves of finite amplitude. In Part II the discussion is extended to cylindrical waves and in Part III the propagation of plane and cylindrical waves is examined when in the unperturbed state the fluid is not at rest, but in a state of uniform motion. The dissipative effects of viscosity and finite electrical conductivity are taken into account in the present paper.

---

---

A Bruno Finzi nel suo70mo compleanno.

---

Lavoro eseguito nell'ambito dell'attività dei Gruppi di Ricerca Matematica del C.N.R. (Anno 1969) presso l'Istituto di Matematiche Applicate ? U. Dini ? della Facoltà di Ingegneria dell'Università di Pisa.

---

Entrata in Redazione il 20 ottobre 1969.     

Exact categories and distributive lattices (orthodox symmetrizations, 2)

Sunto Ad ogni categoria esatta viene associata una categoria esattadistributiva, cioè avente reticoli distributivi di sottoggetti (e di quozienti); in quest'ultima gli isomorfismi canonici tra subquozienti sono componibili.

---

---

Entrata in Redazione il 29 giugno 1977.

---

Lavoro svolto nell'ambito dei gruppi di ricerca matematici del C.N.R.     

The lamellar inclusion problem in plane elasticity

Within the framework of linear isotropic plane elasticity, a general method giving the elastic field in an internally stressed three-phase material is determined. The internal stress source may be located either in or near the lamellar component. General closed-form formulas solving the limiting case of a bimetallic interface are also obtained. As an example of application, the interaction between a lamellar inclusion and a dilatation centre is analyzed.

---

Riassunto Nel presente lavoro viene elaborato un metodo per determinare il campo elastico in un materiale a tre fasi deformato internamente. Ciascuna fase e' supposta omogenea ed isotropa e si assume uno stato di deformazione piana, o di sforzo piano, trattabile mediante la teoria lineare dell'elasticita'. La sorgente di deformazione puo' essere localizzata all'interno oppure all'esterno del componente lamellare. Formule risolutive esatte si ricavano nel caso limite di mezzo bifasico. Come esempio di applicazione, viene analizzata l'interazione tra un'inclusione lamellare ed un centro di dilatazione.

---

---

Work supported by the Ministero della Publica Istruzione, Italy     

An initial-boundary value problem with mixed lateral conditions for heat equation

Sunto Viene studiato un problema con condizioni laterali miste per l'equazione del calore, nel caso in cui la ? superficie di separazione ? abbia un punto caratteristico. Viene dato un teorema di esistenza e di unicità in spazi con peso a regolarità variabile.

---

---

Entrata in Redazione l'8 marzo 1978.

---

Partially supported by Istituto Nazionale di Fisica Nucleare, Sezione di Bologna, Bologna, Italy.