Characterizing Kronecker function rings

Summary We show that an integral domainS is a Kronecker function ring if and only ifS is integrally closed, its field of quotients isF(Y), whereF is a field such that the quotient field ofS∩F is exactlyF, Y is transcendental overF and every valuation overringW ofS coincides with the trivial extension ofW∩F. Furthermore, we classify all the Kronecker function rings, subrings ofK(X), for several important types of fieldsK.

---

Riassunto Si dimostra che un dominioS è un anello di funzioni di Kronecker (in una variabile) se e soltanto seS è integralmente chiuso, il suo campo dei quozienti è della formaF(Y), doveY è trascendente suF, il campo dei quozienti diS∩F èF, e ogni sopraanello di volutazioneW diS coincide con l'estensione banale diW∩F. Inoltre, vengono classificati tutti i sottoanelli di funzioni di Kronecker diK(X), per vari importanti casi del campoK.

---

---

This work is partially supported by a NATO Collaborative Research Grant.

---

Supported in part by Università di Roma ?La Sapienza? and a Faculty Development Grant from the University of Tennessee.

---

Supported in part by Università di Roma ?La Sapienza? and University of Tennessee.

---

Work done under the auspices of G.N.S.A.G.A. of the Consiglio Nazionale delle Ricerche.     

Maximal rank space curves of high genus are projectively normal

Riassunto Se il genere è alto, le curve di rango massimo sono proiettivamente normali. La nozione di ?genere alto? è precisata fornendo un limite explicito, dipendente solo dal grado.

---

Summary Maximal rank space curves of high genus are projectively normal. We precise the meaning of ?high genus?, by giving an explicit bound, depending only on the degree.

---

---

Dal 14 giugno 1990: Dip. di Matematica ?U. Dini?, viale Morgagni 67/A, 50134 Firenze.     

The zero-velocity limit solutions of the Navier-Stokes equations of compressible fluid revisited

For an isentropic fluid flow driven by a potential force ∇F, the set of the socalled rest states (zero-velocity stationary solutions) is investigated. A sufficient condition is found, in terms of the potentialF, for the problem to possess at most two distinct solutions with given mass and total energy.

---

Sunto Com'è noto, per un fluido isentropico viscoso, soggetto ad una forza esterna di tipo potenzialeF, solo la quiete è possibile. La struttura topologica dell’insieme di tutte le soluzioni di quiete è studiata come l’ω-limite delle traiettorie. è provato che se gli insiemi di livello superiore diF sono connessi, edF è localmente Lipschitziana, allora la soluzione (densità) è univocamente determinata dalla sua massa. Inoltre, se l’energia potenzialee è assegnata, la condizione geometrica sulle superficie di livello può essere rilassata.

---

---

The work was supported by Grant 201/98/1450 GA ČR and Grant A1019703 GA AV ČR.     

Sul luogo di Gorenstein di un anello

Riassunto In questo lavoro viene data una nuova dimostrazione del fatto che il luogo di Gorenstein di un anello di Cohen-MacaulayA che sia immagine omomorfa di un anello di Gorenstein è aperto. La presente dimostrazione permette di dare esplicitamente l'ideale a ⊂A la cui varietà è il luogo non di Gorenstein diA. Si studia inoltre il comportamento del luogo di Gorenstein rispetto a certi omomorfismi di anelli.

---

Summary In this paper we give a new proof of the fact that the Gorenstein locus of a Cohen-Macaulay ringA which is homomorphic image of a Gorenstein ring is open, this describing explicitly the ideal a⊂A whose variety gives the non-Gorenstein locus ofA. Also, we study the Gorenstein locus behaviour with respect to certain ring homormorphisms.

---

---

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

Su certi ideali massimali degli anelli di polinomi

Riassunto In questo lavoro vengono date alcune caratterizzazioni e condizioni di esistenza degli ideali massimali di altezza 1 degli anelli di polinomi. Uno dei risultati ottenuti è il seguente: seA è un anello noetheriano,f è un elemento massimale diA[X], allora l'ideale(f)∩A è una componente primaria isolata di (0).

---

Summary Some characterizations and existence conditions are given for maximal ideals of height 1 in polynomial rings. We note the following result: ifA is a noetherian ring,f is a polynomial such that (f) is a maximal ideal inA[X], then(f)∩A is a minimal prime which occurs in the primary decomposition of (0).

---

---

Durante quasi tutto il periodo di preparazione del presente lavoro, l'Autore ha usufruito di una botsa per laureandi del C.N.R.     

Information theoretic interpretation of Forte's entropy for the grand canonical ensemble

Summary Forte's characterization of the entropy of a grand canonical ensemble in statistical mechanics has a natural interpretation in information theory. This entropy is also shown to be finite under the natural assumption that the average message length be finite. In the proof, an analogue of a well-known inequality of Shannon is obtained.

---

Riassunto La caratterizzazione di Forte dell'entropia di un insieme gran canonico in meccanica statistica viene interpretata in teoria dell'informazione. Si mostra anche che questa entropia è finita nell'ipotesi naturale che la lunghezza media del messaggio sia finita. Nella dimostrazione si ottiene una disuguaglianza analoga a quella ben nota di Shannon.

---

---

The author is a member of G.N.A.F.A. of the Italian C.N.R.

---

An erratum to this article is available at .     

A filtration problem in a porous medium with variable permeability

Sunto Un problema di frontiera libera (moto di un fluido attraverso una diga in terra non omogenea) è ricondotto allo studio di una disequazione variazionale. Si danno condizioni sul coefficiente di permeabilità sufficienti ad assicurare che la parte bagnata della diga è un sottografico.

---

---

Entrata in Redazione il 30 giugno 1976.

---

This paper is partially supported by National Science Foundation Grant MPS 72-04959 A02, and by C.N.R. of Italy through L.A.N. of Pavia.     

On the variational formulation for linear initial value problems

Summary The paper shows the key place of the choice of the bilinear form in order to give a variational formulation to a given problem. In particular it is shown how the use of a convolution bilinear form makes possible a variational formulation for linear initial value problems. A critical survey of the three main methods that was devised in the past to solve the same problem is done.

---

Sunto. La nota mette in evidenza il ruolo fondamentale della scelta di una forma bilineare al fine di dare formulazione variazionale ad un dato problema. In particolare è mostrato come l'uso di una forma bilineare di convoluzione renda possibile la formulazione variazionale dei problemi ai valori iniziali. Si fa un esame critico dei tre principali metodi che sono stati escogitati nel passato per risolvere lo stesso problema.

---

---

This work has been sponsored by the Consiglio Nazionale delle Ricerche.

---

Entrata in Redazione il 19 novembre 1971.     

On uniqueness cones,velocity cones andP-convexity

Sunto Viene studiata l'unicità nel problema di Cauchy quando i coefficienti sono analitici. Il metodo è basato sull'uso dei coni di unicità. Un cono di unicità è il cono duale di un cono convesso e aperto di direzioni non-caratteristiche in un semi-spazio. I risultati ottenuti sono così generali che ci si può chiedere se siano anche necessarie le trovate condizioni sufficienti per l'unicità nel problema di Cauchy. Vengono anche studiate la propagazione delle perturbazioni e la P-convessità.

---

---

Entrata in Redazione il 25 febbraio 1972.

---

Sections3, 4, 8 and9 of this paper were presented in a speech at the University of Oslo, December 13, 1971.     

On the principle of exchange of stabilities in Rayleigh-Bénard convection,II-No-slip Boundary conditions

Rayleigh-Bénard convection with internal heat sources and a variable gravity field is treated with no-slip boundary conditions. It is proved that the principle of exchange of stabilities holds at all Prandtl numbers, as long as the gravity field and the integral of the heat sources both have the same sign. The proof is based on the idea of a positive operator, and uses the positivity properties of Green's function. The generalized Green's function is also employed.

---

Sunto La convezione di Rayleigh-Benard con sorgenti interne di calore ed un campo di gravità variabile è trattato con condizioni di aderenza al bordo. è provato che il principio di scambio di stabilità vale per tutti i numeri di Prandtl, fintanto che il campo gravitazionale e l'integrale delle sorgenti di calore abbiano lo stesso segno. La dimostrazione è basata sull'idea di un operatore positvo, ed usa le proprietà di positività della funzione di Green. La funzione generalizzata di Green è anche usata.

     

The internal sphere condition and the capillary problem

Sunto In un importante lavoro [1], M. Emmer ha dimostrato l’esistenza di superfici di equilibrio capillari, definite in domini con frontiera Lipschitziana, quando la costante di Lipschitz L e l’angolo di contatto γ soddisfano la relazione L<|tg γ|. Questa condizione, che è noto essere necessaria in generale, può essere troppo restrittiva in alcuni casi particolari. In questo lavoro la condizione di Emmer è sostituita da una ? condizione di sfera interna ?, che conduce ad una larga classe di domini che non rientrano nel risultato di Emmer. L’esiestenza di una soluzione è dimostrata anche nel caso γ=0, che non può essere trattato con il metodo di Emmer.

---

---

Entrata in Redazione il 26 agosto 1975.

---

This work was initiated while the former author was at Universit?t Bonn and at Università di Genova, and the latter author at Université de Paris VI as a Fellow of the Deutsche Forschungsgemeinschaft.     

La formalizzazione della nozione di prova e una nuova definizione dell'indipendenza. II

Riassunto La prima parte di questo lavoro è stata pubblicata sul Vol. XVII, N. 9 di questa rivista. In essa si è compiuta un'analisi delle trattazioni dell'indipendenza nella teoria delle probabilità, analisi che ha consentito di individuare tre approcci fondamentali al problema della definizione dell'indipendenza. Ciascuno dei suddetti approcci è stato ampiamente analizzato sia nelle sue trattazioni intuitive sia, quando ciò si verifichi, nelle sue trattazioni formalizzate. Questo articolo consta della seconda, terza e quarta parte del lavoro. Nella seconda parte si espongono intuitivamente le idee di fondo relative alla nozione di ?prova? che si intende introdurre tra i concetti primitivi della teoria delle probabilità. La terza parte è dedicata all'analisi, operata sempre a livello intuitivo, di una nuova definizione d'indipendenza non coinvolgente la nozione di ?probabilità?, definizione che diviene formulabile grazie alla nozione di ?prova?. La quarta parte è infine dedicata alla formalizzazione degli argomenti trattati nella seconda e nella terza parte.

---

Summary The first part of this work has been published on Vol. XVII, N. 9 of this review. In the first part we have analysed the well-know developments of indipendence in the theory of probability and we have pointed out the existence of three principal points of view. Each of these points of view has been extensively analysed in its intuitive development and in its formalised development, when there exists one. This paper includes the second, third and fourth part of the work. In the second part we analyse intuitively the main ideas about the concept of ?trial? that we intend to introduce among the primitive concepts of the theory of probability. In the third part we analyse intuitively a new definition of indipendence not involving the notion of ?probability? based on the concept of ?trial?. Finally the fourth part is devoted to the formalization of matters treated in the second and in the third part.

---

---

Lavoro eseguito con contributo del CNR, nell'ambito del gruppo nazionale per le strutture algebriche e geometriche e le loro applicazioni (sezione VII).     

Nonlinear boundary value problems and orlicz spaces

Sunto. Usando metodi dell'analisi funzionale si ottengono teoremi di esistenza delle soluzioni di un'equazione della forma Lx+Nx=0 dove L è un operatore differenziale ordinario lineare autoaggiunto di ordine pari, positivo, mentre N è un operatore non necessariamente lineare.

---

---

Entrata in Redazione il 4 giugno 1976.     

Varietà parakähleriane

Sunto Vengono qui considerate varietà di tipo intermedio tra le varietà k?hleriane e le varietà quasi hermitiane (varietà parak?leriane). Esse costituiscono una classe che presenta notevoli proprietà di curvatura, dà luogo ad interessanti relazioni con alcune note classi di varietà e può venire caratterizzata utilizzando il tensore di Riemann ovvero la curvatura mista di Bompiani.

---

Summary A class of almost Hermite spaces, generalising K?hler spaces is considered (parakàhler spaces) and some curvature theorems are proven. This class appears to be in connection with known classes of spaces and can be characterized by means of Riemann tensor as well of the bi-sectional curvature.

---

---

Entrata in Redazione il 6 novembre 1972.

---

Lavoro eseguito con contributo del C.N.R. nell'ambito del Gruppo Nazionale Strutture Algebriche, Geometriche e loro Applicazioni. La maggior parte dei risultati è stata annunciata in una riunione di Gruppo a Milano (marzo 1971) ed in una conferenza tenuta all'Istituto Matematico Università Perugia (aprile 1971).     

Sugli insiemi di grandezze meccaniche derivate

Riassunto Si dà innanzi tutto un cenno del procedimento mediante il quale un insieme di grandezze meccaniche dotate di misura positiva può essere derivato da altri insiemi dello stesso tipo, per mezzo di una funzione generatrice che dipende dalle misure delle grandezze. Si stabilisce quindi la condizione necessaria e sufficiente che deve essere soddisfatta dalla funzione generatrice affinchè essa dia luogo ad insiemi indipendenti dalla scelta delle unità per le grandezze da cui sono derivati. Le soluzioni di un'equazione funzionale forniscono l'espressione di tutte le funzioni generatrici che soddisfano la precedente condizione di invarianza, insieme ad una condizione necessaria riguardante la osservabilità delle grandezze derivate. La trattazione è infine estesa alle grandezze dotate di misura algebrica.

---

Summary An outline is first given of the process which is followed to derive a set of mechanical quantities with positive measure from other sets of the same type, by means of a generating function depending upon the measures. The necessary and sufficient condition is then found which must be satisfied by the generating function, to give rise to sets independent from the units chosen for the quantities from which they are derived. The solutions of a functional equation give the expression of all the generating functions which satisfy the above invariance condition, together with a necessary condition concerning the observable character of the derived quantities. The theory is finally extended to quantities with algebraic measures.

---

---

A Dario Graffi nel suo 70^o compleanno

---

Entrata in Redazione il 28 giugno 1975.     

Teoria di morse sul complementare d'una sottovarietà

Riassunto Si introduce la nozione di funzioni di Morse per una coppia di varietà differenziabili (X, Y) oveY è una sottovarietà chiusa inX. Si mostra che tale nozione è generica e coincide con quella di funzione stabile; inoltre si associa ad una tale funzione una equivalenza omotopica con unCW complesso. Si danno inoltre delle applicazioni.

---

Resumé On introduit la notion de fonction de Morse pour un couple de varietés differentielles (X, Y), oùY est une sous varieté fermée dansX. On démontre, comme pour le cas classique, que c'est une notion générique et que c'est la même que celle de fonction stable; en plus on associe à une telle fonction une equivalence d'homotopie deX−Y avec unCW-complexe. On donne aussi des applications.

---

---

Lavoro eseguito nell'ambito del GNSAGA del C.N.R.     

On minimum problems for families of functionals

Sommario Per una famiglia { | λ ∈ ⁁} di funzionali reali definiti in uno spazio metricoX e dipendenti da un parametro λ ∈ ⁁, dove ⁁ è uno spazio topologico, si pone il problema di come si comporta, al variare di λ, l'insieme dei punti di minimo di I_λ. Lo studio di tale problema è l'oggetto del presente lavoro e il risultato principale è dato dal Teorema1.

---

---

Entrata in Redazione il 3 marzo 1970.     

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.     

Abstract Riemann surfaces of integral domains and spectral spaces

Sunto La superficie astratta di Riemann di un dominio R, introdotta da Zariski, è uno spazio topologico X(R) il cui insieme sostegno consiste di tutti i sovranelli di valutazione di R. L'applicazione canonica suriettiva f_R: X(R) Spec(R), V centro di V su R, è un'applicazione chiusa, dunque Spec(R) è uno spazio-quoziente di X(R). Il teorema principale di questo lavoro è il seguente: X(R) è uno spazio spettrale, nel senso di M. Hochster, e f_R è un'applicazione spettrale. Inoltre, facendo uso della cosiddetta topologia costruttibile, viene dimostrato che se R è integralmente chiuso e Spec(R) è uno spazio noetheriano allora f_R è un'applicazione aperta se e soltanto se R è un going-down dominio.

---

---

Supported in part by the University of Tennessee Faculty Development Grant, by Dipartimento di Matematica dell'Università di Roma «La Sapienza» and by a NATO Collaborative research Grant N. 35/85.

---

Supported in part by a grant from the Research Council of the Graduate School of the University of Missouri, Columbia.

---

Work done under the auspices of GNSAGA of the Consiglio Nazionale delle Ricerche, partially supported by a NATO Grant N. 35/85.     

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.