Displaying similar documents to “A uniqueness theorem for viscous flows on exterior domains with summability assumptions on the gradient of pressure.”

A uniqueness theorem for viscous flows on exterior domains with summability assumptions on the gradient of pressure.

Giovanni P. Galdi, Paolo Maremonti (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

In questa Nota si fornisce un teorema di unicità per soluzioni regolari delle equazioni di Navier-Stokes in domini esterni. Tale teorema non richiede che le velocità tendano ad un prefissato limite all'infinito, mentre il gradiente di pressione è supposto essere di q -ma potenza sommabile nel cilindro spazio-temporale ( q ( 1 , ) ) . Questo risultato non può essere ulteriormente generalizzato al caso q = , a causa di noti controesempi.

Cylindrical real hyper surfaces in 𝐂 n

Claudio Rea (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si stabiliscono due condizioni sufficienti per un germe di ipersuperficie reale di classe c in 𝐂 n affinchè esistano coordinate olomorfe rispetto alle quali l'ipersuperficie risulti essere il luogo di zeri di una funzione di k < n variabili e k sia minimale rispetto a questa proprietà. In altre parole si vuole che l'ipersuperficie, a meno di una trasformazione bi-olomorfa, sia l’unione di sottovarietà lineari complesse, parallele di dimensione n k .

Craig's interpolation theorem, in computation theory

Daniele Mundici (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si espongono alcuni risultati, provati dall’Autore negli articoli citati nella bibliografia, a proposito della complessità del teorema d’interpolazione di Craig: con ciò si intende la relazione tra la lunghezza (cioè il numero di simboli) della formula χ e la lunghezza di φ e ψ , ove φ ψ è un’implicazione valida, e χ è un interpolante, come esibito dal teorema di interpolazione stesso. Si intende altresì sottolineare la rilevanza dello studio della complessità dell’interpolazione per far...

Cylindrical real hyper surfaces in 𝐂 n

Claudio Rea (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si stabiliscono due condizioni sufficienti per un germe di ipersuperficie reale di classe c in 𝐂 n affinchè esistano coordinate olomorfe rispetto alle quali l'ipersuperficie risulti essere il luogo di zeri di una funzione di k < n variabili e k sia minimale rispetto a questa proprietà. In altre parole si vuole che l'ipersuperficie, a meno di una trasformazione bi-olomorfa, sia l’unione di sottovarietà lineari complesse, parallele di dimensione n k .

On non-Uniqueness of Complex Geodesies in Convex Bounded Domains

Graziano Gentili (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si studiano «combinazioni convesse complesse» per mappe olomorfe dal disco unità di in un dominio convesso limitato D di uno spazio di Banach complesso E , e se ne traggono conseguenze sul carattere globale della non unicità per le geodetiche complesse di D .

On the Cauchy problem in linear viscoelasticity

Pasquale Renno (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Con riferimento all’operatore integrodifferenziale della viscoelasticità lineare nella formulazione creep, si determina la soluzione fondamentale E in corrispondenza di un’arbitraria funzione di memoria. Di conseguenza viene risolto esplicitamente il problema di Cauchy relativo al moto unidimensionale di un sistema viscoelastico , omogeneo ed isotropo, determinato da dati iniziali e storia di stress comunque prefissati. Successivamente, nell’ambito di opportune ipotesi di memoria labile,...

Evolution equations for a class of non­linear operators

Ennio De Giorgi, Marco Degiovanni, Antonio Marino, Mario Tosques (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Se A è un operatore in uno spazio di Hilbert e V è un sotto insieme di questo spazio, in molti problemi si è indotti a modificare A sul «bordo» di V in modo da ottenere un operatore A tale che le soluzioni dell'equazione differenziale associata 0 U + A ~ ( U ) non escano da V . Se V non è convesso, l'operatore A non rientra nei casi classici esaminati, ad esempio, in [1]. In questo lavoro introduciamo alcune classi di operatori che contengono, in qualçhe caso significativo, quelli del genere sopra...

A model for the occurrence of the acceleration of the ground caused by earthquakes

Michele Caputo (1980)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

L’analisi statistica di quindici insiemi di misure di rilassamento di sforzo elastico in quindici differenti insiemi di terremoti (sequenze, sciami, scosse successive o terremoti scelti a caso in una regione) per un totale di 926 eventi in Italia, Giappone, Isole Aleutine, Messico e California, conferma che il rilassamento di sforzo p è una funzione decrescente di p ed è quasi proporzionale a p x - 1 ( a < o ) come previsto da Caputo (1976). Usando questa distribuzione statistica e...

Evolution equations for a class of non­linear operators

Ennio De Giorgi, Marco Degiovanni, Antonio Marino, Mario Tosques (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Se A è un operatore in uno spazio di Hilbert e V è un sotto insieme di questo spazio, in molti problemi si è indotti a modificare A sul «bordo» di V in modo da ottenere un operatore A tale che le soluzioni dell'equazione differenziale associata 0 U + A ~ ( U ) non escano da V . Se V non è convesso, l'operatore A non rientra nei casi classici esaminati, ad esempio, in [1]. In questo lavoro introduciamo alcune classi di operatori che contengono, in qualçhe caso significativo, quelli del genere sopra...

The bounce problem, on n-dimensional Riemannian manifolds

Giuseppe Buttazzo, Danilo Percivale (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In questo lavoro vengono generalizzati i risultati relativi al problema del rimbalzo unidimensionale studiato in [5]. Precisamente si considera un punto mobile su una varietà Riemanniana V n -dimensionale, soggetto all’azione di un potenziale variabile nel tempo e vincolato a restare in una parte W di V avente un bordo di classe C 3 contro cui il punto «rimbalza». Lo studio del problema richiede l’uso di metodi di Γ -convergenza del tipo usato in [5], metodi che sembrano caratteristici...

A bound for the solutions of a basic elliptic system with non-linearity q 2

Sergio Campanato (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In questa Nota si dimostra un risultato enunciato nel § 5 della pubblicazione [4]. Per le soluzioni di un sistema ellittico base, con non-linearità q 2 , vale un principio di massimo analogo a quello dimostrato in [3] nel caso di non-linearità q = 2 .

On some viscoelastic models

Pasquale Renno (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Sia n un sistema linearmente viscoelastico, omogeneo ed isotropo, caratterizzato dalla funzione di memoria g n ( t ) = k = 1 n B k exp ( - β k t ) , tipica di numerosi polimeri solidi. Si dimostra che la soluzione fondamentale E n dell’operatore integrodifferenziale che descrive i moti di n è, in ogni punto del suo supporto, maggiorata da quella relativa ad un opportuno solido standard 1 Di conseguenza, è possibile applicare all’analisi qualitativa dei moti di n alcuni risultati stabiliti in [10], quali proprietà asintotiche,...

On the canonical development of Parseval formulas for singular differential operators

Robert W. Carroll (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Per funzioni opportune f , g si ottiene una formula di Parseval 𝐑 Q , 𝒬 f 𝒬 g λ = Δ Q - 1 / 2 f , Δ Q - 1 / 2 g per operatori differenziali singolari di tipo dell'operatore radiale di Laplace-Beltrami. 𝐑 Q è una funzione spettrale generalizzata di tipo Marčenko e può essere rappresentata per mezzo di un certo nucleo della trasmutazione.

Complements of analytic subvarieties and q-complete spaces

Edoardo Ballico (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si dimostra che il complementare X Y di un sottospazio analitico chiuso localmente intersezione completa di codimensione q di una varietà di Stein è q -completo.

On the Holomorphic Endomorphisms of the Ball

Giovanni Bassanelli (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Sia F un endomorfismo olomorfo della palla unitaria aperta B n di 𝐂 𝐧 . In questa nota proviamo che certe ipotesi minimali, relative al comportamento di F su un orociclo e vicino ad un punto del bordo, assicurano che F è un automorfismo olomorfo di B n .

A classification for real and complex finite dimensional * -algebras

Mauro Meschiari (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

La presente Nota contiene una lista di J -algebre reali di dimensione finita ed una lista di J -algebre complesse di dimensione finita tali che: 1) due elementi distinti di ogni lista non sono mai J -isomorfi; 2) ogni J -algebra di dimensione finita reale (complessa) è J —isomorfa su 𝐑 (su 𝐂 ) alla somma diretta, finita, di J -algebre reali (complesse) elencate nella lista. In altre parole, diamo qui una classificazione completa delle J —algebre reali e delle J -algebre complesse di dimensione...

Consequences of compactness properties for abstract logics

Paolo Lipparini (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si determinano alcune restrizioni sulle possibili cardinalità dei modelli di teorie in logiche soddisfacenti alcune proprietà di compattezza. Si dà una caratterizzazione delle logiche [ λ , μ ] -compatte generate da quantificatori di cardinalità. Si stabilisce che il primo cardinale k tale che una logica è ( k , k ) -compatta è debolmente inaccessibile e soddisfa la proprietà dell'albero. Dai risultati enunciati appare un raffronto assai particolareggiato fra i due concetti di ( λ , μ ) -compattezza e [ λ , μ ] -compattezza. ...

On the ampleness of K X L n for a polarized threefold ( X , L )

Antonio Lanteri, Marino Palleschi (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Siano X una varietà algebrica proiettiva complessa non singolare tridimensionale, L un fibrato lineare ampio su X , e n 2 un intero. Si prova che, a meno di contrarre un numero finito di - 1 -piani di X , il fibrato K X L n è ampio ad eccezione di alcuni casi esplicitamente descritti. Come applicazione si dimostra l'ampiezza del divisore di ramificazione di un qualunque rivestimento di 𝐏 3 o della quadrica liscia di 𝐏 4 .

On the adjoint system to a very ample divisor on a surface and connected inequalities

Antonio Lanteri, Marino Palleschi (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Siano: S una superficie algebrica proiettiva complessa non singolare, K un divisore canonico ed H un divisore molto ampio su S . Questo lavoro ha per oggetto lo studio dell'indice di autointersezione ( K + H ) 2 . Si dimostra, innanzitutto, la disuguaglianza ( K + H ) 2 0 , nell'ipotesi che la superficie S ottenuta immergendo S mediante il sistema lineare completo | H | non sia uno scroll. Questa disuguaglianza è connessa con alcuni risultati di Sommese e Van de Ven sulla generazione del fascio 𝒪 s ( K + H ) . La dimostrazione...

On the ampleness of K X L n for a polarized threefold ( X , L )

Antonio Lanteri, Marino Palleschi (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Siano X una varietà algebrica proiettiva complessa non singolare tridimensionale, L un fibrato lineare ampio su X , e n 2 un intero. Si prova che, a meno di contrarre un numero finito di - 1 -piani di X , il fibrato K X L n è ampio ad eccezione di alcuni casi esplicitamente descritti. Come applicazione si dimostra l'ampiezza del divisore di ramificazione di un qualunque rivestimento di 𝐏 3 o della quadrica liscia di 𝐏 4 .

General operators binding variables in the interpreted modal calculus 𝒞 ν

Aldo Bressan, Alberto Zanardo (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si considera il calcolo modale interpretato 𝒞 ν , che è basato su un sistema di tipi con infiniti livelli, contiene descrizioni, ed è dotato di una semantica di tipo generale - v. [2], o [3], o [4], o [5]. In modo semplice e naturale si introducono in 𝒞 ν operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante 𝒞 ν vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito...

Locally compact modules over compact rings

Nicola Rodinò (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Sia A un anello compatto e sia M un A -modulo localmente compatto. Le dimostrazioni note che M è linearmente topologizzato sembrano alquanto involute ed usano risultati profondi della teoria dei gruppi Abeliani localmente compatti nonché il Teorema di Kaplansky che asserisce che A è linearmente topologizzato. In questa Nota, poggiando sul Teorema di Peter-Weyl, viene esposta una dimostrazione semplice e diretta, della quale il Teorema di Kaplansky è corollario.

Locally compact modules over compact rings

Nicola Rodinò (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Sia A un anello compatto e sia M un A -modulo localmente compatto. Le dimostrazioni note che M è linearmente topologizzato sembrano alquanto involute ed usano risultati profondi della teoria dei gruppi Abeliani localmente compatti nonché il Teorema di Kaplansky che asserisce che A è linearmente topologizzato. In questa Nota, poggiando sul Teorema di Peter-Weyl, viene esposta una dimostrazione semplice e diretta, della quale il Teorema di Kaplansky è corollario.

Partial Hölder continuity for quasilinear parabolic systems of higher order with strictly controlled growth

Mario Marino, Antonino Maugeri (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Sfruttando i risultati di [1], si prova che le derivate spaziali D α u di ordine | α | con | α | < m - 1 delle soluzioni in Q di un sistema parabolico quasilineare di ordine 2 m con andamenti strettamente controllati, sono parzialmente hölderiane in Q con esponente di hölderianità decrescente al crescere di | α | .

On extrapolation spaces

Giuseppe Da Prato, Pierre Grisvard (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si definisce un nuovo tipo di spazi a partire da un dato spazio di Banach X e da un operatore lineare A in X . Tali spazi si possono pensare come spazi di interpolazione D A ( ϑ ) con ϑ negativo.

On the existence of steady-state solutions to the Navier-Stokes system for large fluxes

Antonio Russo, Giulio Starita (2008)

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze

Similarity:

In this paper we deal with the stationary Navier-Stokes problem in a domain Ω with compact Lipschitz boundary Ω and datum a in Lebesgue spaces. We prove existence of a solution for arbitrary values of the fluxes through the connected components of Ω , with possible countable exceptional set, provided a is the sum of the gradient of a harmonic function and a sufficiently small field, with zero total flux for Ω bounded.

Some chain rules for certain derivatives of double tensors depending on other such tensors and some point variables. I. On the pseudo-total derivative

Aldo Bressan (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si considerano due spazi S μ e S ν , Riemanniani e a metrica eventualmente indefinita, riferiti a sistemi di co-ordinate e ν ; e inoltre un doppio tensore T associato ai punti - 1 ( x ) S μ e - 1 ( y ) S . Si pensa T dato da una funzione T ~ di m altri tali doppi tensori e di variabili puntuali x ( μ ) , t e y ( ν ) ; poi si considera la funzione composta T ^ ( x , t , y ) = T ~ [ H ˘ ( x , t , y ) , , H ˘ ( x , t , y ) 1 , , m , x , t , y ] . Nella Parte I si scrivono due regole per eseguire la derivazione totale di questa, connessa con una mappa ^ ( = ^ t ) fra S ν e S μ ; una è a termini generalmente non covarianti...

Solutions in Gevrey spaces of partial differential equations with constant coefficients

Lamberto Cattabriga (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si dà una condizione sufficiente per la esistenza di una soluzione in uno spazio di Gevrey Γ d ( 𝐑 𝐧 ) , d razionale 1 , n 2 , di una equazione lineare a derivate parziali a coefficienti costanti P ( D ) u = f , quando f Γ d ( 𝐑 𝐧 ) . La dimostrazione completa dei risultati ottenuti è contenuta in una nota dell’autore in corso di pubblicazione su "Astérisque".

On some viscoelastic models

Pasquale Renno (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Sia n un sistema linearmente viscoelastico, omogeneo ed isotropo, caratterizzato dalla funzione di memoria g n ( t ) = k = 1 n B k exp ( - β k t ) , tipica di numerosi polimeri solidi. Si dimostra che la soluzione fondamentale E n dell’operatore integrodifferenziale che descrive i moti di n è, in ogni punto del suo supporto, maggiorata da quella relativa ad un opportuno solido standard 1 Di conseguenza, è possibile applicare all’analisi qualitativa dei moti di n alcuni risultati stabiliti in [10], quali proprietà asintotiche,...

On the adjoint system to a very ample divisor on a surface and connected inequalities. Nota I

Antonio Lanteri, Marino Palleschi (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Siano: S una superficie algebrica proiettiva complessa non singolare, K un divisore canonico ed H un divisore molto ampio su S . Questo lavoro ha per oggetto lo studio dell'indice di autointersezione ( K + H ) 2 . Si dimostra, innanzitutto, la disuguaglianza ( K + H ) 2 0 , nell'ipotesi che la superficie S ottenuta immergendo S mediante il sistema lineare completo | H | non sia uno scroll. Questa disuguaglianza è connessa con alcuni risultati di Sommese e Van de Ven sulla generazione del fascio 𝒪 s ( K + H ) . La dimostrazione...

A blow-up criterion for the strong solutions to the nonhomogeneous Navier-Stokes-Korteweg equations in dimension three

Huanyuan Li (2021)

Applications of Mathematics

Similarity:

This paper proves a Serrin’s type blow-up criterion for the 3D density-dependent Navier-Stokes-Korteweg equations with vacuum. It is shown that if the density ρ and velocity field u satisfy ρ L ( 0 , T ; W 1 , q ) + u L s ( 0 , T ; L ω r ) < for some q > 3 and any ( r , s ) satisfying 2 / s + 3 / r 1 , 3 < r , then the strong solutions to the density-dependent Navier-Stokes-Korteweg equations can exist globally over [ 0 , T ] . Here L ω r denotes the weak L r space.

A classification for real and complex finite dimensional * -algebras

Mauro Meschiari (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

La presente Nota contiene una lista di J -algebre reali di dimensione finita ed una lista di J -algebre complesse di dimensione finita tali che: 1) due elementi distinti di ogni lista non sono mai J -isomorfi; 2) ogni J -algebra di dimensione finita reale (complessa) è J —isomorfa su 𝐑 (su 𝐂 ) alla somma diretta, finita, di J -algebre reali (complesse) elencate nella lista. In altre parole, diamo qui una classificazione completa delle J —algebre reali e delle J -algebre complesse di dimensione...

Δ -tautologies, uniform and non-uniform upper bounds in computation theory

Daniele Mundici (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Una Δ -tautologia è una tautologia del tipo H K avente un solo interpolante di Craig J , a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale J , mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.

On bibasic systems and a Retherford’s problem

Anatoli Pličko, Paolo Terenzi (1984)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Ogni spazio di Banach ha un sistema bibasico ( x n , f n ) normalizzato; inoltre ogni successione ( x n ) uniformemente minimale appartiene ad un sistema biortogonale limitato ( x n , f n ) , dove ( f n ) è M-basica e normante.

Solutions in Gevrey spaces of partial differential equations with constant coefficients

Lamberto Cattabriga (1981)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Si dà una condizione sufficiente per la esistenza di una soluzione in uno spazio di Gevrey Γ d ( 𝐑 𝐧 ) , d razionale 1 , n 2 , di una equazione lineare a derivate parziali a coefficienti costanti P ( D ) u = f , quando f Γ d ( 𝐑 𝐧 ) . La dimostrazione completa dei risultati ottenuti è contenuta in una nota dell’autore in corso di pubblicazione su "Astérisque".

A short note on L q theory for Stokes problem with a pressure-dependent viscosity

Václav Mácha (2016)

Czechoslovak Mathematical Journal

Similarity:

We study higher local integrability of a weak solution to the steady Stokes problem. We consider the case of a pressure- and shear-rate-dependent viscosity, i.e., the elliptic part of the Stokes problem is assumed to be nonlinear and it depends on p and on the symmetric part of a gradient of u , namely, it is represented by a stress tensor T ( D u , p ) : = ν ( p , | D | 2 ) D which satisfies r -growth condition with r ( 1 , 2 ] . In order to get the main result, we use Calderón-Zygmund theory and the method which was presented for...

Δ -tautologies, uniform and non-uniform upper bounds in computation theory

Daniele Mundici (1983)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Una Δ -tautologia è una tautologia del tipo H K avente un solo interpolante di Craig J , a meno di equivalenza logica. Utilizzando misure di complessità relative al problema di trovare tale J , mostriamo come si possano ottenere limiti non uniformi di complessità mediante limiti uniformi, e viceversa.

On non-Uniqueness of Complex Geodesies in Convex Bounded Domains

Graziano Gentili (1985)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si studiano «combinazioni convesse complesse» per mappe olomorfe dal disco unità di in un dominio convesso limitato D di uno spazio di Banach complesso E , e se ne traggono conseguenze sul carattere globale della non unicità per le geodetiche complesse di D .