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.     

A theorem on the endomorphism ring of reduced torsion-free abelian groups and some applications

Sunto Si espone una condiztone sufficiente affinchè un anello topologico sia l'anello degli endomorfismi, dotato della topologia finita, di un gruppo abeliano ridotto, senza torsione e di cardinalità ≤. Il risultato ottenuto estende un teorema di A. L. S. Corner ([3] Theorem1.1) ed un teorema di A. Orsatti ([9] Teorema A*).

---

---

Entrata in Redazione il 17 febbraio 1977.

---

Lavoro eseguito nell'ambito dei Gruppi di Ricerca Matematica del C.N.R.     

Questioni di algebra universale in una categoria astratta

Riassunto Allo scopo di studiare alcuni problemi di algebra universale in una categoriaK, si definiscono, relativamente ad un oggetto diK, alcuni concetti di solito riferiti ad un insieme, quali quello di relazione binaria (in particolare di equivalenza), composizione di corrispondenze, nucleo di un morfismo.

---

Summary In order to study some problems of Universal Algebra in a categoryK, some set theoretic concepts are generalized to objects ofK.

---

---

Lavoro eseguito nell'ambito dell'attività dei Gruppi di Ricerca Matematici del C.N.R. (programma n. 8), nell'anno 1969.     

Some observations on cohomologicallyp-ample bundles

Sunto Usando un recente risultato di Deligne e Illusie si prova un teorema di annullamento per la coomologia di un fibrato coomologicamente p-ampio. Si studiano le proprietà dei gruppi di coomologia dei fibrati vettoriali nel caso in cui il morfismo di Frobenius si estenda a un sollevamento della varietà su W₂(k), anello dei vettori di Witt di lunghezza 2 del campo. Si studiano, infine, a titolo di esempio, i fibrati coomologicamente p-ampi su P^d.

---

---

Partially supported by the MRST 40% and 60% funds.     

A stability problem for holonomic systems

Sunto Si studia il problema della stabilità di una posizione di equilibrio di un sistema meccanico olonomo soggetto ad una sollecitazione derivante da un potenziale del tipo U(q, t)=f(t) U*(q), conf funzione periodica, e ad una sollecitazione dissipativa. I risultati ottenuti estendono a sistemi con un numero finito qualsiasi di gradi di libertà risultati noti per sistemi ad un solo grado di libertà.

---

---

Work performed under the auspices of the Italian Council of Research (C.N.R.): National Group of Mathematical Physics (G.N.F.M.), and Italian Ministry of Public Education (M.P.I.).

---

The author wishes to thank professors S.Busenberg and L.Salvadori for many useful discussions.     

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.     

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.     

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.     

Sullo spazio dei modelli di un calcolo generale

Sunto Si studiano e si confrontano condizioni di compattezza, di finitezza e di introducibilità dei connettivi in un linguaggio generale.

---

Résumé On examine dans un language général des conditions valables dans le cas classique.

---

---

Lavoro eseguito nell'ambito dell'attività dei gruppi di ricerca matematici del C.N.R. (gruppo n. 37, anno 1968–1969).     

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.     

Fredholm operators on locally compact spaces

Sunto Si definiscono operatori localmente ellittici su varietà topologiche; per ogni coppia di operatori localmente ellittici, coincidenti al di fuori di un compatto, si introduce un indice (analitico) di Fredholm. Queste tecniche permettono di estendere i risultati di D. Sullivan e dell'autore [S-T], [T] alla categoria delle varietà topologiche localmente compatte.

---

---

Dedicato al Professor Enzo Martinelli in segno dell'amicizia di cui mi onora

---

Research supported by the N.S.F. Grant N MCS 8102758. This paper was written at State University of New York, Center at Stony Brook (June 1982).     

Cohesive categories and manifolds—Errata corrige

Sunto L'articolo ?Cohesive categories and manifolds? [G2] mostra che le structture ottenibili per incollamento di ?spazi elementari?, come le varietà, i fibrati, le varietà fogliettate, possono essere definite da ?atlanti di incollamento?, e, formalmente, come categorie arricchite su opportune categorie ordinate. Qui sicorregge un errore nella dimostrazione di un teorema.

---

---

Entrata in Redazione il 10 agosto 2000.     

Sull’operatore di pseudo prodotto

Riassunto Si studia il concetto di classe di algebre associato ad un insieme di identità regolari nel senso diPlonka [3] mediante un operatore di ?Pseudo prodotto? che viene introdotto.

---

Summary We introduce an operator ?Pseudo prodotto? to study the concept of class of algebras associated to a set of regular equations (Pzonka [3]).

---

---

Lavoro eseguito nell'ambito dell'attività del Consiglio Nazionale per la Matematica del C.N.R. (Contratto n. 115218205174 anno 1970).     

On the convergence of gauss' alternating procedure in the method of the least squares

Sunto Gauss ha proposto un procedimento iterativo per risolvere problemi di minimi quadrati. L'autore dà una dimostrazione rigorosa della convergenza di questo metodo, riducendola a un altro teorema dimostrato nella sua Memoria pubblicata nei Rendiconti di Matematica pura ed applicata, serie V, vol. XIII, 1954, pp. 140–163.

---

---

A Giovanni Sansone per il suo 70° compleanno.

---

This work was performed on a National Bureau of Standards contract with The American University, Washington, D. C.     

Quasi-isomorphisms of finitely generated modules over valuation domains

Sunto Sia R un anello commutativo. Due R-moduli si dicono quasi-isomorfise ciascuno è isomorfo ad un sottomodulo dell'altro. Si prova che, a meno di quasi-isomorfismi, un R-modulo si decompone in modo unico in una somma diretta finita di sottomoduli uniformi. Nel caso in cui R è un dominio di valutazione, si prova che, se X e Y appartengono ad una certa classe di R-moduli finitamente generati e uniformi, X e Y sono quasiisomorfi se e solo se sono isomorfi. Usando i precedenti risultati, otteniamo nuove classi di R-moduli finitamente generati che, a meno di isomorfismi, si decompongono in modo unico in somma diretta di addendi indecomponibili.

---

---

Lavoro eseguito con il contributo del Ministero della Pubblica Istruzione.     

The topology of two-dimensional real algebraic varieties

Sunto È noto che ogni spazio analitico reale è localmente omeomorfo al cono su un poliedro con caratteristica di Eulero-Poincaré pari. Si dimostra che questa condizione è anche sufficiente affinchè un poliedro (compatto) di dimensione due P sia omeomorfo ad una varietà algebrica reale affine P. Segue inoltre dalla costruzione che la P ottenuta ha, in un certo senso, un insieme di singolarità algebriche minimale, compatibilmente con la topologia di P.

---

---

The authors are members of the G.N.S.A.G.A.     

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.).     

Approximation of the eigenvectors of a positive compact operator and estimate of the error

Sunto. Vengono date formule per calcolare l'errore nella approssimazione degli autovettori di un operatore compatto e positivo mediante il metodo di Rayleigh-Ritz.

---

---

A Dario Graffi nel Suo 70^o compleanno

---

Entrata in Redazione il 30 giugno 1975.     

On the supports of solutions of linear partial differential equations with analytic coefficients

Sunto In questo lavoro vengono dimostrati, con un metodo basato sui funzionali analitici, il teorema di Holmgren e varie sue estensioni. Il punto essenziale è che nelle dimostrazioni sono usate soltanto transformazioni lineari. Così è messo in luce che la variabile ? tempo ? ha un ruolo completamente diverso dal ruolo delle variabili ? spaziali ? per l'unicità del problema lineare di Cauchy. Viene anche studiato il problema globale di Cauchy in un semispazio.

---

---

Entrato in Redazione il 1° aprile 1971.     

Some fixed-points theorems for multi-valued mappings in topological vector spaces

Sunto Si danno dei teoremi di punto fisso der trasformazioni multivoche non compatte, definite in un sottoinsieme convesso e chiuso di uno spazio lineare topologico, localmente convesso e di Hausdorff. Tali teoremi estendono alcuni noti risultati dovuti a Darbo, Sadovskij, Daneš ed altri.

---

---

Work performed under the auspices of the National Research Council (C.N.R.).

---

Entrata in Redazione il 18 maggio 1971.