Semigroup approach to the Stefan problem with non-linear flux

Enrico Magenes; Claudio Verdi; Augusto Visintin

Displaying similar documents to “Semigroup approach to the Stefan problem with non-linear flux”

Bond ionization energies: thiophosphoryl compounds

Marco V. Andreocci, Carla Cauletti, Claudio Furlani (1977)

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

Similarity:

Negli spettri fotoelettronici (p.e.) indotti da radiazione ultra-violetta di serie omologhe di composti, si trovano bande in ben definite regioni di energia, che possono essere assegnate empiricamente a ionizzazione di legami specifici o di coppie solitarie di elettroni. L’effetto dell'intorno chimico sulle energie di ionizzazione si esplica in piccoli spostamenti, che hanno una dipendenza approssimativamente lineare dall'ettronegatività di atomi o gruppi vicini. La discussione riguarda...

Flocks, chains and configurations in finite geometries

Aiden A. Bruen, Joseph A. Thas (1975)

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

Similarity:

Lo studio dei sistemi di cerchi [o sezioni piane contenenti più di un punto] di un ovaloide [ $O(q^{2}+1)$ -calotta] di un $S_{3,q}$ ha utili applicazioni nella teoria dei piani di traslazione. Qui sistemi siffatti vengono investigati con particolare riguardo al caso in cui i piani dei loro cerchi escono da un punto non situato sull'ovaloide, assieme alla configurazione formata dai poli di tali piani rispetto all'ovaloide.

Bounded solutions on the Real line to non-autonomous Riccati Equations

Giuseppe Da Prato, Akira Ichikawa (1985)

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

Similarity:

Si dà un risultato di esistenza e unicità di una soluzione limitata in $]-\infty,+\infty[$ per un'equazione di Riccati infinito-dimensionale.

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 $\chi$ e la lunghezza di $\varphi$ e $\psi$ , ove $\varphi\to\psi$ è un’implicazione valida, e $\chi$ è un interpolante, come esibito dal teorema di interpolazione stesso. Si intende altresì sottolineare la rilevanza dello studio della complessità dell’interpolazione per far...

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 $\mathcal{B}$ , omogeneo ed isotropo, determinato da dati iniziali e storia di stress comunque prefissati. Successivamente, nell’ambito di opportune ipotesi di memoria labile,...

Craig's interpolation theorem, in computation theory

Daniele Mundici (1981)

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

Similarity:

Algebras of continuous functions over $P$ -spaces

Nicola Rodinò (1983)

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

Similarity:

Nella prima parte della nota sono studiate le proprietà di connessione dei sottospazi dello spettro di un anello. Con l’ausilio dei risultati ottenuti, si stabiliscono le condizioni necessarie e sufficienti affinchè un’algebra reale assolutamente piatta sia isomorfa ad un’algebra di funzioni continue a valori reali su un $P$ -spazio, del quale determini la topologia. Ulteriori condizioni sono necessarie e sufficienti affinché un’algebra reale assolutamente piatta sia isomorfa all’algebra...

On the Cauchy problem in linear viscoelasticity

Pasquale Renno (1983)

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

Similarity:

General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$

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 $\mathcal{MC}^{\nu}$ , 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 $\mathcal{MC}^{\nu}$ operatori vincolanti variabili, di tipo generale. Per teorie basate sul calcolo logico risultante $\mathcal{MC}^{\nu}$ vale un teorema di completezza, che si dimostra in modo immediato sulla base dell'estensione del teorema parziale di completezza stabilito...

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 $\langle\mathbf{R}^{Q},\mathcal{Q}f\,\mathcal{Q}g\rangle_{\lambda}=\langle% \Delta_{Q}^{-1/2}f,\Delta_{Q}^{-1/2}g\rangle$ per operatori differenziali singolari di tipo dell'operatore radiale di Laplace-Beltrami. $\mathbf{R}^{Q}$ è una funzione spettrale generalizzata di tipo Marčenko e può essere rappresentata per mezzo di un certo nucleo della trasmutazione.

Semigroup approach to the Stefan problem with non-linear flux

Enrico Magenes, Claudio Verdi, Augusto Visintin (1983)

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

Similarity:

Un problema di Stefan a due fasi con condizione di flusso non lineare sulla parte fissa della frontiera è affrontato mediante la teoria dei semigruppi di contrazione in $L^{1}$ . Si dimostra l'esistenza e l’unicità della soluzione nel senso di Crandall-Liggett e Bénilan.

General operators binding variables in the interpreted modal calculus $\mathcal{MC}^{\nu}$

Aldo Bressan, Alberto Zanardo (1981)

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

Similarity:

Abstract semilinear equations in Banach spaces

Eugenio Sinestrari (1981)

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

Similarity:

Si studiano le proprietà delle soluzioni dell'equazione semilineare astratta $u^{\prime}(t)=\Lambda u(t)+\varphi(t,u(t))$ quando $\Lambda$ è il generatore infinitesimale di un semigruppo analitico in uno spazio di Banach. Vengono provati nuovi teoremi di regolarità anche nel caso in cui $\varphi$ non è continuo in tutto lo spazio.

Lie group structures and reproducing kernels on the unit ball of $\mathbb{C}^{n}$

Umberto Sampieri (1984)

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

Similarity:

Si introducono due strutture di gruppo di Lie su un dominio di Siegel omogeneo di $\mathbb{C}^{n}$ . Per la palla unitaria si definisce una famiglia ad un parametro di strutture intermedie; ad ognuna di esse viene associato naturalmente un nucleo riproducente ottenendo un'interpolazione tra il nucleo di Bergman ed il nucleo di Szego.

Algebras of continuous functions over $P$ -spaces

Nicola Rodinò (1983)

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

Similarity:

Cylindrical real hyper surfaces in $\mathbf{C}^{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^{\infty}$ in $\mathbf{C}^{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 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 $\mathcal{B}_{n}$ un sistema linearmente viscoelastico, omogeneo ed isotropo, caratterizzato dalla funzione di memoria $g_{n}(t)=\sum_{k=1}^{n}B_{k}\,\exp(-\beta_{k}t)$ , tipica di numerosi polimeri solidi. Si dimostra che la soluzione fondamentale $E_{n}$ dell’operatore integrodifferenziale che descrive i moti di $\mathcal{B}_{n}$ è, in ogni punto del suo supporto, maggiorata da quella relativa ad un opportuno solido standard $\mathcal{B}_{1}$ Di conseguenza, è possibile applicare all’analisi qualitativa dei moti di $\mathcal{B}_{n}$ alcuni risultati stabiliti in [10], quali proprietà asintotiche,...

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 Lincei. Matematica e Applicazioni

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 $\Gamma$ -convergenza del tipo usato in [5], metodi che sembrano caratteristici...

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:

The point on the simple Molodensky’s problem

Fernando Sansò (1981)

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

Similarity:

Il problema di Molodensky, in approssimazione sferica è detto «semplice» perchè può essere trasformato da problema di derivata obliqua a problema di Dirichlet per l’operatore di Laplace. Tale problema è accuratamente analizzato in questa Nota, con particolare riguardo alla generalizzazione delle condizioni di regolarità soddisfatte dal contorno $S$ , sufficienti a garantire l’esistenza di una soluzione fisicamente accettabile.

A bound for the solutions of a basic elliptic system with non-linearity $q\geq 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\geq 2$ , vale un principio di massimo analogo a quello dimostrato in [3] nel caso di non-linearità $q=2$ .

Real zeros of general $L$ -functions

Alberto Perelli, Giuseppe Puglisi (1981)

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

Similarity:

In questo lavoro vengono studiati gli zeri reali di una classe di serie di Dirichlet, che generalizzano le funzioni $L(s,\chi)$ , definite in [8], Combinando le tecniche elementari di Pintz [9] con alcuni metodi analitici si ottiene l’estensione dei classici teoremi di Hecke e Siegel.

Cylindrical real hyper surfaces in $\mathbf{C}^{n}$

Claudio Rea (1981)

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

Similarity:

Consequences of compactness properties for abstract logics

Paolo Lipparini (1986)

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

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 $\left[\lambda,\mu\right]$ -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 $(\lambda,\mu)$ -compattezza e $\left[\lambda,\mu\right]$ -compattezza. ...

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 Lincei. Matematica e Applicazioni

Similarity:

Hardy fields in several variables

Leonardo Pasini (1985)

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

Similarity:

In questo lavoro si estende il concetto di campo di Hardy [Bou], al contesto dei germi di funzioni in più variabili che sono definite su insiemi semi-algebrici [Br.], [D.] e che risultano essere morfismi di categorie lisce [Pal.]. In tale contesto si dimostra che per ogni campo di Hardy di germi di una fissata categoria liscia $\mathcal{C}$ , la sua chiusura algebrica relativa nell'anello $G\,\mathcal{C}$ , di tutti i germi nella stessa categoria liscia, è un campo di Hardy reale chiuso, che è l'unica chiusura reale...

Genes as quasi-periodic linear lattices: a novel approach to the analysis of nucleotide sequences

Alfonso M. Liquori, Stefano Ottani, Alberto Ripamonti, Claudia Sadun (1983)

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

Similarity:

Viene presentato un nuovo approccio allo studio di sequenze nucleotidiche basato su calcoli di serie Fourier. La sequenza nucleotidica di un gene, rappresentabile mediante i simboli delle quattro basi $(A,T,G,C)$ viene risolta in quattro sequenze «omonucleotidiche» che vengono considerate ciascuna come un reticolo lineare caratterizzato dalla ripetizione di una base e di «vacanze» (X) corrispondenti alle tre rimanenti basi. Viene calcolata la Trasformata di Fourier (F.T.). Successivamente vengono...

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

Sergio Campanato (1986)

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

Similarity:

On some viscoelastic models

Pasquale Renno (1983)

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

Similarity:

$\aleph_{1}$ -Boolean spectrum, and stability

Piero Mangani, Annalisa Marcja (1982)

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

Similarity:

Si dimostra che la conoscenza delle algebre di Boole dei definibili di modelli di cardinità $\aleph_{1}$ di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.

Genes as quasi-periodic linear lattices: a novel approach to the analysis of nucleotide sequences

Alfonso M. Liquori, Stefano Ottani, Alberto Ripamonti, Claudia Sadun (1983)

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

Similarity:

Boundary behaviour of invariant distances and complex geodesics

Marco Abate (1986)

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

Similarity:

In questa Nota viene studiato il comportamento al bordo delle distanze di Carathéodory e Kobayashi in domini fortemente pseudoconvessi di classe $\mathbf{C}^{2}$ . Come applicazione si dimostra che ogni geodetica complessa in tali domini è estendibile al bordo di classe $\mathbf{C}^{0,\frac{1}{2}}$ .

Hardy fields in several variables

Leonardo Pasini (1985)

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

Similarity:

On the Right Focal Point Boundary Value Problems for Linear Ordinary Differential Equations

Ravi P. Agarwal (1985)

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

Similarity:

Scopo della presente Nota è quello di fornire una maggiorazione della lunghezza $b-a$ dell'intervallo $\left[a,b\right]$ sul quale il problema (1) (2) (3) ammette soltanto la soluzione nulla.

Soluble Groups with Many Černikov Quotients

Silvana Franciosi, Francesco de Giovanni (1985)

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

Similarity:

Si studiano i gruppi risolubili non di Černikov a quozienti propri di Černikov. Nel caso periodico tali gruppi sono tutti e soli i prodotti semidiretti $H\ltimes N$ con $N$ $p$ -gruppo abeliano elementare infinito e $H$ gruppo irriducibile di automorfismi di $N$ che sia infinito e di Černikov. Nel caso non periodico invece si riconduce tale studio a quello dei moduli a quozienti propri artiniani su un gruppo risolubile finito, e si fornisce una caratterizzazione di tali moduli.

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.

Bounded solutions on the Real line to non-autonomous Riccati Equations

Giuseppe Da Prato, Akira Ichikawa (1985)

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

Similarity:

Si dà un risultato di esistenza e unicità di una soluzione limitata in $]-\infty,+\infty[$ per un'equazione di Riccati infinito-dimensionale.

The pair of matrix equations $AX=B$ and $A^{*}Y+CX=D$

Jerzy K. Baksalary (1982)

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

Similarity:

È stata trovata una condizione necessaria e sufficiente affinchè le due equazioni matriciali $AX=B$ e $A^{*}Y+CX=D$ ammettano una soluzione comune. Di quest’ultima è poi stata data una rappresentazione generale, per il caso in cui la condizione trovata sia soddisfatta. È stato inoltre formulato un criterio per l’unicità della soluzione e, ove essa sia unica, ne è stata determinata la forma. Questi problemi erano stati in precedenza trattati da V. Valerio (1976), ma le conclusioni a cui egli è pervenuto...

Evolution equations for a class of nonlinear 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\in U^{\prime}+\tilde{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...

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 $\Gamma^{d}(\bf{R}^{n})$ , $d$ razionale $\geq 1$ , $n\geq 2$ , di una equazione lineare a derivate parziali a coefficienti costanti $P(D)u=f$ , quando $f\in\Gamma^{d}(\bf{R}^{n})$ . La dimostrazione completa dei risultati ottenuti è contenuta in una nota dell’autore in corso di pubblicazione su "Astérisque".

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\setminus Y$ di un sottospazio analitico chiuso localmente intersezione completa di codimensione $q$ di una varietà di Stein è $q$ -completo.