Sistemi di circuiti tracciati su una superficie omeomorfa al toro e loro modelli algebrici

Sunto Si studiano i sistemi di circuiti tracciati su una superficie omeomorfa al toro, di fronte all'omologia unidimensionale. Si ravvisa che ad una classe d'omologia compete un solo invariante topologico, che è un intero d ≥ 0 qui denominato ?grado? della classe. Esso fornisce altresì il minimo numero di circuiti non intrecciati e disgiunti che intervengono in un ciclo della classe; inoltre, trascurando il valore d = 0 che risponde alla classe dei cicli omologhi a zero, si trova che d −1 è il minimo numero di punti doppi posseduti da un circuito il quale, orientato, sia un ciclo di una classe di grado d. Anche si costruiscono modelli di cicli, appartenenti a classi diverse, col minimo numero di mutue intersezioni. Infine si costruiscono in ogni classe modelli algebrici (cioè realizzati con le parti reali di curve algebriche reali) soddisfacenti a requisiti di minimo. Lavoro eseguito nell'Istituto di Geometria dell'Università di Pavia, nell'ambito del Gruppo di ricerca N. 32 (?Questioni di realità che offrono gli enti algebrici?) del Consiglio Nazionale delle Ricerche (Comitato per la Matematica).     

Curves with nodes,cusps and ordinary triple points

Summary We prove a ?virtual connectedness? theorem for plane curves with nodes, cusps and ordinary triple points. Irreducible curves are so obtained from virtually connected arrangements of lines.

---

Riassunto Viene dimostrato un teorema di ?virtuale connessione? per curve piane con nodi, cuspidi e punti tripli ordinari. Tale teorema viene poi applicato alla costruzione di curve irriducibili a partire da configurazioni di rette virtualmente connesse.

     

Una formula asintotica per le differenze modificatee k (n) dell’ algoritmoQD

Sunto Si dà una formula asintotica per valutare le differenze modificatee _k ⁽ⁿ⁾ delYalgoritmo QD quandon tende all’infinito. Tale formula suggerisce un facil criterio per il controllo della perdita di precisione dovuta agli errori di arroton damento cui tale algoritmo è soggetto.

---

Résumé On donne une formule asymptotique pour évaluer les différences modifiéese _k ⁽ⁿ⁾ de l'algorithme QD lorsquen tend vers l'infini. Cette formule suggère une méthode simple pour effectuer un contr?le de la perte de précision due aux erreurs d'arrondi, à laquelle cet algerithme est sujet.

     

Convergenza in variazione e convergenza in lunghezza

Riassunto Viene stabilita, per le trasformazioni continue di una regione piana pluriconnessa, una maggiorazione per il numero delle imagini reciproche di un insieme dik punti del piano-imagine. Dalla disuguaglianza discende una limitazione superiore per il numero dei punti ?eccezionali?, ossia aventi un numero di modelli minore a quanti ne comporterebbe l'indice topologico.

---

Résumé On établit, pour les transformations continues d'une région plane à plusieurs contours, une majoration du nombre des points de l'ensemble image-inverse d'un ensemble dek points du plane-image. Il en ressort une borne supérieure pour le nombre des points exceptionnels, c'e.-à-d. ayant moins d'images inverses qu'on s'attendrait de l'indice topologique.

     

Omomorfismi fra grafi e grafi moltiplicativi

Sunto Si studiano vari tipi di omomorfismi fra grafi aventi un arbitrario numero di vertici per ciascun elemento: si studiano poi le relazioni fra gli omomorfismi d'un grafo moltiplicativo in un altro e quelli fra i grafi soggiacenti. Alla memoria di Guido Castelnuovo, nel primo centenario della nascita.     

Exterior problem for the two-dimensional compressible Euler equation

In this paper we show the existence of a solution, on any time intervals, in suitable Sobolev spaces for the 2D compressible Euler equation in the exterior domain, when the Mach number is sufficiently small. We shall extend results obtained in [8] in the case of an infinity velocity different from zero.

---

Sunto In questo lavoro proviamo l'esistenza di una soluzione, su ogni intervallo temporale, in opportuni spazi di Sobolev per le equazioni di Eulero 2D comprimibili in un dominio esterno, quando il numero di Mach è sufficientemente piccolo. Estenderemo i risultati ottenuti in [8] al caso di velocità all'infinito diversa da zero.

     

Un algoritmo per la scelta dell'origine e della scala nelle routines di tracciamento di grafici

Riassunto Viene proposto un algoritmo che, nelle routine di tracciamento automatico di grafici, opera la scelta della scala (lineare) più conveniente secondo criteri di opportunità non molto dissimili da quelli adottati da Giammo e Dixon-Kronmal. Sostanzialmente si ottiene una migliore utilizzazione dello spazio disponibile con la sola rinuncia al principio per cui l'origine dell'asse debba avere un valore multiplo del fattore di scala.

---

Summary This paper provides an efficient computational procedure for providing scales for use in automatic plotting data. The ?reasonable? scale definition used is similar to that of Giammo and of Dixon-Kronmal, but space available for plotting is better utilized.

     

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

Some remarks on the de Franchis theorem

Summary LetX be a smooth projective curve defined onC. The number of holomorphic maps from a fixedX to another curve, (both of genus bigger than or equal to two), is finite by the classical de Franchis theorem. In this paper we get an explicit bound for this number, depending on the genus ofX only. Our bound is better than all the previously given ones (by Howard-Sommese and Kani).

---

Sommario SiaX una curva liscia proiettiva definita suC. Il numero delle applicazioni olomorfe esistenti tra unaX fissata ed un'altra curva, (entrambe di genere maggiore od uguale a due), è finito in base al classico teorema di de Franchis. In questo lavoro noi otteniamo, per tale numero, un limite superiore esplicito, dipendente solo dal genere diX. La nostra stima è migliore di tutte quelle date precedentemente (da Howard-Sommese e da Kani).

     

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.     

A note on the genus of 3-manifolds with boundary

Summary In this paper we prove that the minimum among all regular genera of the graphs representing a 3-manifold with boundaryM ³ can always be obtained by a crystallization. As a consequence, we also prove that every 3-coloured graph representing ∂M ³ is the boundary of a 4-coloured graph which representsM ³ and whose genus equals the regular genus ofM ³.

---

Riassunto In questo lavoro si prova che ogni 3-varietà con bordoM ³ ammette sempre una cristallizzazione di genere minimo. Come conseguenza, si ottiene che ogni grafo 3-colorato che rappresenta ∂M ³ è il bordo di un grafo 4-colorato che rappresentaM ³, il cui genere è uguale al genere regolare diM ³.

---

---

Work performed under the auspices of the G.N.S.A.G.A.-C.N.R., and within the Project ?Geometria delle varietà differenziabili?, supported by M.P.I. of Italy.     

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.     

Una proprietà delle famiglie numerabili di catene sopra un albero

Riassunto Si studia qui un problema relativo alla distribuzione delle famiglie di catene sopra insiemi ordinati particolarmente regolari che vengono qui chiamati ?alberi?: si stabilisce un teorema d'isomorfismo e se ne mostra, attraverso corollari immediati, il significato topologico.

---

Résumé On étudie ici un problème concernant la situation des familles dénombrables de cha?nes sur des ensembles ordonnés particulièrement réguliers, qu'on appelle ?arbres?: on établit un théorème d'isomorphisme dont on montre, par des considérations très simples, la signification topologique.

     

An abstract approach to evaporation models in rarefied gas dynamics

An efficient algorithm is presented for determining the unique solvability of certain one-dimensional stationary transport problems. The non-existence of stationary evaporation states with supersonic drift velocities for one and three dimensional BGK model is recovered.

---

Sommario È presentato un algoritmo efficiente per determinare la solubilità univoca di alcuni probiemi unidimensionali di trasporto stazionario. È ripresa la non esistenza di stati stazionari di evaporazione con velocità di deriva supersoniche per modelli BGK a una e tre dimensioni.

     

Relazionead intra e relazionead extra nella matematica

Riassunto Le relazioni matematiche, rivelandosi doppiamente mediate—?ad intra? e ?ad extra?—mettono in luce l'esistenza di un processo che è a un tempo deduttivo e induttivo, di subordinazione e di coordinazione.

---

Résumé Les relations mathématiques, en se révélant doublement médiates—?ad intra? et ?ad extra?—, presentent sous son vrai jour l'existence d'un procès qui est au meme temps inductif et déductif, de subordination et de coordination.

     

On the incompressible limit of inviscid compressible fluids

We consider the Euler equations of barotropic inviscid compressible fluids in a bounded domain. It is well known that, as the Mach number goes to zero, the compressible flows approximate the solution of the equations of motion of inviscid, incompressible fluids. Here we discuss, for the boundary case, the different kinds of convergence under various assumptions on the data, in particular the weak convergence in the case of uniformly bounded initial data and the strong convergence in the norm of the data space.

---

Sunto Nel presente lavoro consideriamo le equazioni di Eulero per un fluido inviscido comprimibile barotropico in un dominio limitato. è ben noto che, quando il numero di Mach tende a zero, i moti comprimibili approssimano le soluzioni delle equazioni del moto relative ad un fluido inviscido incomprimibile. Qui discutiamo, per il problema al contorno, i diversi tipi di convergenza sotto differenti ipotesi sui dati, in particolare la convergenza debole nel caso di dati iniziali uniformemente limitati e la convergenza forte nella norma dello spazio dei dati.

     

Alcune osservazioni sulla definibilità di operatori finiti e sulla decidibilità algoritmica della completezza funzionale e deduttiva delle logiche a più valori

Riassunto Si dà un algoritmo per decidere sulla definibilità di un operatore finito e si dimostra la ricorsiva insolubilità del problema generale della completezza funzionale o deduttiva delle logiche a più valori.

---

An algorithm is given, allowing to decide on the definibility of a finite operator. It is shown, too, that the general problem of the functional or deductive completeness of multivalued logics is recursively usolvable.

---

---

Lavoro effettuato nell'ambito dell'attività svolta dal gruppo di logica matematica del C.N.R.     

Osservazioni sulle caratteristiche dei grafi o singrammi

Riassunto Si introducono certi gruppi di numeri associati ad un grafo o singrammaG che vengono chiamati caratteristiche diG. Si studiano alcune proprietà delle caratteristiche e se ne fanno applicazioni a vari problemi sui grafi.

---

Résumé On introduit certains groupes de nombres qui sont associés à un grapheG et qu’on appelle caractéristiques deG. Ou étudie quelques proprietés des caractéristiques et on en fait des applications a divers problèmes sur les graphes.

---

---

Lavoro eseguito nell’ambito del Gruppo N. 26 del Comitato Naz. per la Mat. del C.N.R.     

De pressionibus negativis in sinu et in pariete regionis fluido viscoso moventi impletae schedula

Sunto Si dimostrano condizioni necessarie e sufficienti affinchè la pressione su un elemento generico in un fluido viscoso sia nonnegatica. Il criterio si esprime mediante il ? numero di tensione ?. A Bruno Finzi nel 70^mo compleanno. Entrata in Redazione il 26 gennaio 1970.     

Sopra un complemento all'equazione dei tre momenti per una trave continua inflessa e sollecitata assialmente

Sunto Si stabilisce un'equazione dei tre momenti per una trave continua nella quale ogni campata è a flessiorigidezzaEI variabile linearmente, è compressa o tesa da un carico costante, è inflessa da un carico costante e da un numero qualunque di carichi concentrati, comunque distribuiti. Si dimostra che il calcolo numerico dei coefficienti della nuova equazione dei tre momenti può eseguirsi con gli stessi calcoli necessari per il calcolo dei coefficienti, nell'ipotesi in cui manchino i carichi concentrati: in quest'ultima ipotesi le tabelle numeriche sono in corso di stampa in altro lavoro.