Showing papers in "Annali Dell'universita' Di Ferrara in 1971"
TL;DR: In this paper, the authors consider the case of frontiere minimali, i.e., the frontiere minimi of an ostacolo of classe C1, in an intorno dell'ostacolo stesso.
Abstract: Recentemente diversi autori (v. [15], [16], [17], [18], [19], [20]) si sono interessati di problemi di esistenza e di regolarita di soluzioni di problemi variazionali verificanti diseguaglianze. In questo articolo considereremo il caso delle ipersuperfici minimali (di area minima), piu precisamente delle frontiere minimali nel senso diDe Giorgi (v. [2] o [3]). Il risultato di regolarita, che e quello che ci pare piu interessante, e grosso modo il seguente:frontiere minimali rispetto ad un ostacolo di classe C1 sono di classe C1 in un intorno dell'ostacolo stesso. Il Teorema 2 del § 3 contiene l'enunciato preciso di tale risultato. Nel § 2 si fanno alcune considerazioni sulla validita del teorema di Bernstein per le frontiere minimali, in esso si prova (v. il Teorema 1) che un insieme avente frontiera non vuota minimale inRn e contenente un semispazio e esso stesso un semispazio. Tale risultato serve per la dimostrazione del teorema 2. Nel § 1 sono contenuti alcuni complementi alla teoria delle frontiere minimali.
42 citations
TL;DR: In this article, un algoritmo per decidere sulla definibilita di un operatore finito, si dimostra la ricorsiva insolubilita del problema generale della completezza funzionale o deduttiva delle logiche a piu valori.
Abstract: Si da un algoritmo per decidere sulla definibilita di un operatore finito e si dimostra la ricorsiva insolubilita del problema generale della completezza funzionale o deduttiva delle logiche a piu valori.
4 citations
TL;DR: In this article, a condizione necessaria e sufficiente perche l'insiemeM delle funzioni computabili maggiorate da una funzione qualsiasi sia ricorsivamente enumerabile and cheM sia finito.
Abstract: Si dimostra, estendendo un precedente risultato, che condizione necessaria e sufficiente perche l'insiemeM delle funzioni computabili maggiorate da una funzione qualsiasi sia ricorsivamente enumerabile e cheM sia finito.
1 citations
TL;DR: In this article, the concetto di ideali, congruenze e anelli quozienti di A in una categoria ∂ con prodotti finiti is defined.
Abstract: Dato un anelloA in una categoria ∂ con prodotti finiti, si definisce il concetto di «ideale diA» e si studiano le relazioni tra ideali, congruenze e «anelli quozienti» diA
TL;DR: Morrey, Giusti, and Miranda, relativi ai sistemi ellittici quasi lineari, ad una classe piu generale di soluzioni, si da inoltre un'applicazione dei risultati ottenuti allo studio di un problema del calcolo delle variazioni.
Abstract: Si estendono i risultati di regolarita di Morrey, Giusti e M. Miranda, relativi ai sistemi ellittici quasi lineari, ad una classe piu generale di soluzioni, si da inoltre un'applicazione dei risultati ottenuti allo studio di un problema del calcolo delle variazioni.
TL;DR: In this paper, the authors considered the non-homogeneous heat equation with almost-automorphic right-hand side and gave results concerning bounded and almostautomorphic solutions, respectively.
Abstract: In this paper we consider the non-homogeneous heat equation with almost-automorphic right-hand side. Some results concerning bounded and almost-automorphic solutions are given.
TL;DR: In this article, alcune proprieta dei reticolim-algebrici per applicarle ai reticoli di sotto algebre e di congruenze di un'algebra di caratteristicam.
Abstract: Si studiano alcune proprieta dei reticolim-algebrici per applicarle ai reticoli di sotto-algebre e di congruenze di un'algebra di caratteristicam.
TL;DR: In this article, the authors construct nontrivial bounded solutions of an abstract evolution equation, where a semigroup of operators is generated such that the convergent operator converges strongly to zero.
Abstract: We construct nontrivial bounded solutions of an abstract evolution equationu'(t)=Au(t) (—∞