Compattezza di successioni di funzioni e derivabilità delle funzioni limiti

Sunto Si considerano successioni di funzioni reali di più variabili reali e si determina in quali ipotesi esistono successioni, subordinate alle date, convergenti a funzioni derivabili o continue; ciò anche nel caso che le funzioni considerate siano definite in insiemi diversi e non siano continue. Lavoro eseguito nell'Istituto Nazionale per le Applicazioni del Calcolo.     

L'indicatrice proiettiva dei funzionali lineari e i predotti funzionali proiettivi

Sunto. Poichè le funzioni di più variabili complesse presentano particolarità profondamente differenti da quelle di una variabile, si studiano i funzionali analitici lineari delle funzioni di più variabili mediante la loro ? indicatrice proiettiva ?, specialmente adatta a metterne in luce le più intime proprietà. Il valore del funzionale lineare per una funzioney viene così espresso mediante una nuova formazione (il ? prodotto funzionale proiettivo ? dell'indicatrice proiettivap per la funzioney variabile indipendente), la quale dipende bilinearmente e simmetricamente dalle due funzioni, e inoltre gode della notevole proprietà di restare invariata di fronte a tutte le coppie di trasformazioni proiettive duali che si effettuino contemporaneamente nei due spazi ove le due funzioni sono rispettivamente definite. Si mostra poi come il prodotto funzionale proiettivo possa calcolarsi, nel caso che le funzioni si decompongano in fattori, e infine si studiano alcuni operatori lineari (? monovalenti ?) e alcuni funzionali lineari (? abeloidi ?) particolarmente interessanti. Questi funzionali abeloidi, caratterizzati dal fatto di avere indicatrice proiettiva razionale, si calcolano infatti mediante integrali abeliani multipli e permettono l'integrazione di quasi tutte le equazioni a derivate parziali della fisica matematica (di quelle lineari e a coefficienti costanti). L'argomento di questa Memoria è stato sviluppato in una parte del mio corso di Alta Analisi del 1940–41, presso il Reale Istituto Nazionale di Alta Matematica.     

Teoria degli anelli di serie di potenze

Sunto In questa memoria è dato un riassunto della teoria degli anelli di serie di potenze con applieazioni nella geometria algebrica e nella teoria delle funzioni di più variabili complesse. Uno sguardo alla prefazione darà un'idea più particolareggiata del contenuto.     

Sulla nozione di sistema differenziale aggiunto per i problemi ai limiti lineari in più variabili

Sunto Per un sistema differenziale, costituito da una o più equazioni alle derivate parziali e da un certo sistema di condizioni ai limiti, si può stabilire la nozione di sistema differenziale aggiunto. Qui viene studiata tale nozione per certe classi di sistemi differenziali, in cui rientra come caso particolare un problema ai limiti per le funzioni iperarmoniche considerato daM. Picone. A Mauro Picone nel suo 70^mo compleanno.     

L'indeterminazione delle funzioni di sforzo per membrane comunque curve

Sunto Vengono analizzati e giustificati i comportamenti diversi delle superfici che ammettono spostamenti rigidi in sé e di quelle che non ne ammettono, di fronte ai problemi della congruenza e dell'equilibrio. Per membrane del tutto generiche si rende conto dell'esistenza di più funzioni di sforzo e della loro indeterminazione dovuta alle identità che legano le corrispondenti condizioni di congruenza, confermando i risultati trovati in precedenti Note. Si trovano inoltre le condizioni di congruenza e l'integrale generale delle equazioni indefinite di equilibrio per superfici che, pur non ammettendo spostamenti rigidi in sè, non sono del tutto generiche. A B. Finzi, nel suo 70^mo compleanno. Lavoro eseguito nell'ambito dell'attività dei gruppi di ricerca matematica del C.N.R. Entrata in Redazione il 5 aprile 1970.     

Generalized polynomials and new families of generating functions

We show that the use of generalized polynomials, i.e. polynomials defined as discrete convolution of Hermite, Laguerre… polynomials can be exploited to explore new families of generating functions.

---

Sunto Si dimostra che l'uso di polinomi generalizzati definiti come convoluzioni discrete di polinomi di Hermite, Laguerre etc. possono essere utilizzati per studiare nuove famiglie di funzioni generatrici.

     

Sul concetto di limite

Sunto Si dà un'esposizione compendiosa del concetto di limite per una variabile, intesa nella sua più ampia accezione, anche come elemento di uno spazio astratto, nell'espressione alla quale quel concetto è pervenuto ai nostri giorni, cercando di mettere bene in vista le proprietà che si devon richiedere agli insiemi percorsi dalla variabile, per la determinazione e la costruzione di un suo limite eventuale.

---

Summary A brief and comprehensive exposition is given of the notion of limit of a variable, a variable being defined in the wides sense also as an element of an abstract space. The notion is expressed in the more recent form it has acquired in our days. An attempt is made to state clearly the requirements that have to be verified in the sets, where the variable moves, in order to carry out the determination and construction of its eventual limit.

---

---

Redatta a Portofino Vetta (agosto del 1958).     

Algebre Booleane e loro struttura interna analitica (funzionale e matriciale) e geometrica (metrica e topologica)

Sunto In un'algebra booleana finita si presenta il fatto nuovo che molte delle strutture in essa costruibili a partire dai suoi elementi, sono intimamente connesse, si da essere aspetti diversi della stessa cosa. Si rileva che funzioni intere (cioè quelle che si ottengono operando su una variabile booleana con le operazioni booleane) matrici, ideali, filtri (e le formazioni più ampie che sono gli intervalli) e classi di equivalenza, mostrano appunto questo allacciamento. Inoltre, ognuna di queste formazioni dà in sostanza origine ad altre algebre booleane o a queste isomorfe, o di queste qiù ampie. Quindi, in un certo senso, il campo booleano è completo, riproducendosi in sè per quasi tutte le strutture in esso fattibili. Ma vi è di piu. Se nella formulazione del concetto di misura si abbandona l'idea del numero, quale ? misura di estensione ?, riesce possibile stabilire un concetto di ? di stanza booleana ? di due elementi booleani, la quale soddisfi alla fondamentale relazione triangolare e alla condizione di annullarsi quando e solo quando gli elementi coincidono. Potremo perciò parlare di una metrica intrinseca di un'algebra diBoole; e attraverso opportune definizioni si può estendere questa metrica anche ad aggruppamenti di tre o quattro o più elementi. Ma definita che sia questa metrica ? interna ? viene anche definita, oltre la struttura algebrica, e quella di geometria metrica, una struttura topologica interna. Ed è appunto quanto esprimiamo im questo lavoro, ricollegandoci ad altri precedenti (*) A Enrico Bompiani in occasione del suo Giubileo scientifico     

Self-similar solutions of a nonlinear friction equation in higher dimensions

We study the class of self-similar solutions of certain multi-dimensional kinetic models of granular flows, which have been recently introduced in connection with the quasi elastic limit of a model Boltzmann equation with dissipative collisions and variable coefficient of restitution. The importance of these solutions in connection with the cooling of the dissipative gas is subsequently discussed.

---

Sunto Si studia la classe delle soluzioni di similarità di alcune equazioni cinetiche per flussi granulari in più dimensioni. Queste equazioni sono state introdotte di recente in connessione con il limite quasi elastico di un’ equazione di Boltzmann per collisioni dissipative con coefficiente di restituzione variabile. Nella seconda parte del lavoro si discute l’importanza di tali soluzioni nello studio del raffreddamento del gas dissipativo.

     

Growth properties of Sobolev space functions over unbounded domains

Summary We study Sobolev space functions with prescribed growth properties on large spheres. In particular, we prove a weighted Poincaré type inequality for such functions. An extension to weighted Sobolev spaces is sketched.

---

Sunto Si studiano funzioni che appartengono a certi spazi di Sobolev e che hanno crescita assegnata su sfere di grande raggio. Per tali funzioni si dimostra una disuguaglianza di tipo Poincaré con peso. Si indica inoltre anche una estensione di tale risultato a funzioni in spazi di Sobolev con peso.

     

Sulla influenza della polarizzazione delle radio-onde nei fenomeni di interazione ionosferica

Riassunto Si studia l'influenza della polarizzazione delle radio-onde su alcuni fenomeni non lineari nella ionosfera tramite una nuova e più completa relazione funzionale fra i vettori densità di corrente e campo elettrico. Tale studio riguarda la comparsa di onde di banda laterale e la loro dipendenza dalle direzioni di polarizzazione delle onde interagenti.

---

Summary The influence of radio wave polarization on some nonlinear phenomena in the inosphere is studied through a new and more complete functional relation between current density and electric field vectors. This study is concerned with the occurrence of ?sideband? waves and their dependence on the polarization directions of interacting waves.

     

A weighted version of a rearrangement inequality

We show that if a positive absolutely continous measure causes a special relative isoperimetric inequality to hold, then Dirichlet-type integrals of sufficiently smooth real-valued functions decrease under an appropriate equimeasurable rearrangement.

---

Sunto Si dimostra che se una misura, positiva e assolutamente continua, rende valida una certa disuguaglianza isoperimetrica relativa, allora integral del tipo di Dirichlet di funzioni sufficientemente regolari descrescono per effetto di un opportuno riordinamento equidistribuito.

     

Regularity of weak solutions of one-dimensional two-phase Stefan problems

Sunto Si considera il problema di Stefan unidimensionale a due fasi e si dimostra l'esistenza di soluzioni classiche sotto ipotesi minimali sui dati (continuità a tratti e limitatezza). Nelle stesse ipotesi si dimostra che tali soluzioni dipendono in modo continuo dai dati, conseguendo un risultato che è più generale anche di quello noto per le soluzioni deboli.

---

---

Entrata in Redazione il 22 dicembre 1976.

---

Work partially supported by the Italian C.N.R.     

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.     

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.

     

A note on Chebyshev polynomials

New families of generating functions and identities concerning the Chebyshev polynomials are derived. It is shown that the proposed method allows the derivation of sum rules involving products of Chebyshev polynomials and addition theorems. The possiblity of extending the results to include gnerating functions involving products of Chebyshev and other polynomials is finally analyzed.

---

Sunto Si derivano nuove famiglie di funzioni generatrici e di identità relative ai polinomi di Chebyshev. Si dimostra che il metodo proposto permette la derivazione di regole di somma relative a prodotti di polinomi di Chebyshev e teoremi di addizione. La possibilità di estendere i risultati includendos funzioni generatrici di prodotti di polinomi di Chebyshev ed altri polinomi è infine analizzata.

     

Some remarks on the Jensen-Hadamard inequalities and applications

We provide some inequalities and integral inequalities connected to the Jensen-Hadamard inequalities for convex functions. In particular, we give some refinements to these inequalities. Some natural applications and further extensions are given.

---

Sunto Forniamo alcune diseguaglianze e diseguaglianze integrali connesse alle dise-gueglianze di Jensen-Hadamard per funzioni convesse. In particolare, diamo qualche miglioramento di queste diseguaglianze. Alcune applicazioni naturali ed ulteriori estensioni sono date.

     

Sulla differenziabilità totale delle funzioni di più variabili reali

Sunto Sul fondamento delle nozioni (altrove introdotte dall'A.) di tangenti e corde improprie d'un insieme di punti in un punto d'accumulazione, si determinano condizioni necessarie e sufficienti per la differenziabilità o per l'iperdifferenziabilità di una funzione di più variabili in un punto d'accumulazione d'un insieme o all'interno di un dominio in cui essa sia definita. La consueta considerazione delle derivate parziali non esaurisce nè può esaurire la questione. Perciò l'A. deve anzitutto definire l'operazione di derivazione per una funzione di più variabili in modo adeguato alla natura della funzione, la quale esige che non ci si limili a studiar la derivazione rispetto alle variabili separatamente considerate.     

Nomografia anaglifica

Riassunto In questo articolo vengono presentati due nomogrammi che servono come sostegno per la rappresentazione di funzioni a più variabili. Ognuno di questi nomogrammi è costituito da due reticolati sovrapposti disegnati in due colori complementari. Essi vengono osservati attraverso le lenti di occhiali anaglifici colorate ciascuna in uno dei due colori dei reticolati. Le condizioni particolari del disegno sono state scelte allo scopo di ottenere la visione stereoscopica del medesimo. Ne segue che le coppie di punti corrispondenti dei reticolati vengono viste come punti unici sopraelevati dal piano del nomogramma di altezze che vengono misurate per mezzo di un indice mobile. Data la funzione (1)F(α₁, α₂..., α_n) din variabili indipendenti (α₁, α₂..., α_n) separate o separabili riportiamo le scale delle funzioni parziali che costituiscono la (1) su i lati inferiori e di destra dei due reticolati e poi misuriamo, per mezzo dell'indice mobile, le altezze dei punti stereoscopici, visti attraverso gli occhiali anaglifici, che corrispondono agli adatti valori delle funzioni parziali. Con questo metodo si possono rappresentare funzioni di 8 variabili indipendenti legate fra loro per mezzo di operazioni razionali e irrazionali.

---

Résumé Cet article montre deux nomogrammes qui servent de support pour la représentation de fonctions à plusieurs variables. Chaque nomogramme est constitué de deux réseaux superposés, dessinés aux deux couleurs complémentaires, qui sont observés à travers les lentilles de lunettes anagliphiques. Les conditions particulières du dessin ont été choisies dans le but d'obtenir sa vision stéréoscopique. Il s'ensuit que chaque couple, des points correspondants des réseaux, est vu comme un point unique surélevé au dessus du plan du nomogramme par une hauteur mesurée à l'aide dun index mobile. Soit (1)F(α₁, α₂..., α_n) une fonction den variables indépendantes (α₁, α₂..., α_n) séparées ou séparables. Tran?ons les échelles des functions partielles qui costituent la (1) des deux parties du c?té inférieur et du c?té droit des deux réseaux. Après cela mesurons à l'aide de l'index mobile les hauteurs des points stéréoscopiques, vues à travers les lunettes, qui correspondent aux valeurs données des fonctions partielles. En se servant de cette méthode on peut représenter des fonctions de 8 variables indépendantes liées entre elles par des opérations rationnelles et irrationnelles.

---

---

L. Bonfiglioli,Anaglyphic Calculating Apparatus, Photogrammetric Engineering, U.S.A. (In corso di stampa).     

Sull'assiomatica della teoria dell'informazione

Sunto Si traducono gli assiomi della teoria classica dell'informazione in condizioni funzionali il più possibile qualitative, e tali da conservare senso nell'ambito delle distribuzioni. Si perviene così a due equazioni funzionali delle quali si caratterizzano le soluzioni nella classe delle distribuzioni, ottenendo un sistema di assiomi più debole di quelli finora proposti per l'informazione di Shannon, nel quale è messa in luce la forza separata degli assiomi di simmetria e di additività dell'informazione. Entrata in Redazione il 15 ottobre 1968. Lavoro effettuato nell'ambito dei gruppi di ricerca del C.N.R.