Sui tipi di sistemi lineari di superficie algebriche a curva-caratteristica di genere due

Sunto. Si assegnano i tipi cremonianamente distinti di sistemi lineari completi, semplici, irriducibili di superficie algebriche dello spazioS ₃ a curva-caratteristica (variabile) di genereπ=2. Questi si distribuiscono in25 famiglie, delle quali si danno la dimensione, l'ordine minimo, ecc. e la rappresentazione analitica.     

Caratterizzazione semantica di tavole oggetto-predicato soggette a procedure di clustering

The aim of this paper is to characterize from a sinctactical and from a semantical point of view the output of a clustering procedure on an object-predicate table. The logical framework of this work is the calculus of the first order of the predicates. The main result can be stated simply in this way. The reordering of the rows of the object-predicate table, with the aim of concentrating the one's on the left higher corner of the object-predicate table, which can be conceived as an high informative reorganization of the data, can be performed through a goedelization of the scheme of formulas, namely models, we can superimpose on the table. A semantical theorem is stated, after a sinctactical characterization of the object-predicate tables.     

Su un problema di frontiera libera connesso a questioni di idraulica

Sunto Si dimostra esistenza e unicità della soluzione di un problema di frontiera libera che traduce il moto di filtrazione di liquidi attraverso mezzi porosi. Il problema è ricondotto alla minimizzazione di un funzionale quadratico su un convesso chiuso di uno spazio di Hilbert, il che fornisce anche dei procedimenti per l'approssimazione numerica del problema stesso. Entrata in Redazione il 16 dicembre 1971. Indirizzo dell'autore:C. Baiocchi, Istituto di Matematica, Università, Pavia. Questo lavoro è stato eseguito nell'ambito delle attività del Laboratorio di Analisi Numerica del C.N.R. di Pavia; i risultati qui ottenuti sono stati annunciati in una nota preventiva sui C. R. Acad. Sc. Paris, t. 273, pp. 1215–1217.     

Costruzione di formule di quadratura di tipo Gaussiano

Sommario Viene costruita una formula di quadratura di tipo Gauss nella quale figurano i valori dell'integrando e delle sue derivate fino ad un determinato ordine. Lavoro eseguito presso l'Istituto Nazionale per le Applicazioni del Calcolo, nell'ambito del gruppo di ricerca n. 22 del Comitato per la Matematica del C. N. R.     

Teoremi di esistenza del minimo per problemi di Bolza con stato a valori in spazi di Banach

Summary We examine nonconvex problems of Bolza, in which the state is V-valued, with derivative V-valued, where VHV, V is a Banach space, V is its dual space and H is a Hilbert space. For these problems we prove some existence theorems for the minimum, when we consider state constraints and other constraints that are represented by a nonlinear differential equation that relates the state and the control.

---

---

Lavoro eseguito nell'ambito del Laboratorio per la Matematica Applicata del C.N.R. presso l'Università di Genova.     

Proprietà di alcuni spazi di funzioni indefinitamente derivabili a valori vettoriali

Lavoro svolto nell'ambito dell'attività dei gruppi di ricerca del Comitato per la Matematica del Consiglio Nazionale delle Ricerche.