Sulle equazioni integrali di Fredholm

Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Rispondi
afullo
Messaggi: 931
Iscritto il: 01 gen 1970, 01:00
Località: Almese (TO)
Contatta:

Sulle equazioni integrali di Fredholm

Messaggio da afullo » 04 mar 2013, 00:22

Volevo chiedere un risultato sulle equazioni integrali, che mi potrebbe essere utile per la ricerca che sto svolgendo, sul quale sono quasi sicuro, ma dove mi potrebbe essere utile una conferma ulteriore.
Supponiamo che $ k(x,t) \in C^r $, e che $ u(x) \in C^r $.
Si può dire con certezza che $ \displaystyle \int_0^1 k(x,t) u(t) dt \in C^r $ ?

Grazie in anticipo. ;)
Iscritto all'OliForum dalla gara del 19/02/2003.

Cesenatico - 2003 : 9 punti - menzione (193°) | 2004 : 19 - argento (33°) | 2005 : 21 - bronzo (69°) | 2006 : 25 - argento (20°)
Squadra B. Pascal (Giaveno) - 2005: 6° | 2006: 8°
Cattolica - 2006: 4°
Bocconi GP - 2009: 29° | 2010: 44° | 2012: 17° | 2013: 22° | 2014: 17° | 2015: 38° | 2016: 23° | 2017: 4° | 2018: 14° | 2019: 7°

Allenatore del N. Copernico di Torino, ex di B. Pascal (Giaveno), G. Ferraris (Torino), I. Newton (Chivasso), C. Cattaneo (Torino).

Simo_the_wolf
Moderatore
Messaggi: 1036
Iscritto il: 01 gen 1970, 01:00
Località: Pescara

Re: Sulle equazioni integrali di Fredholm

Messaggio da Simo_the_wolf » 04 mar 2013, 13:38

Non mi è chiaro... $C^r$ intendi $r<1$ oppure $r \in \mathbb{N}$? penso che in entrambi i casi comunque basti $u \in L^1$ e $K$ con la regolarità voluta in $x$. Per esempio per l'Holderianità:

$ \displaystyle |\int_0^1 K(x,t) u(t) dt - \int_0^1 K(y,t)u(t)dt | \leq\int_0^1 C_{\alpha}|x-y|^{\alpha} |u(t)| dt = \|u\|_{L^1}C_{\alpha} |x-y|^{\alpha} $

la stessa cosa in realtà mi pare che valga per le derivabilità, stando attenti ai limiti... ma con un pizzico di continuità delle derivate dovresti essere a posto (se ad esempio $K$ risulta $C^1$ in $x$, e la derivata è continua in t)

afullo
Messaggi: 931
Iscritto il: 01 gen 1970, 01:00
Località: Almese (TO)
Contatta:

Re: Sulle equazioni integrali di Fredholm

Messaggio da afullo » 04 mar 2013, 18:16

Intendo $ r $ naturale, diciamo che al momento mi interessa soltanto fino a 3, da 4 in poi sono a posto perché se $ u \in C^4 $ allora valgono dei risultati generali, sto investigando dei casi di minor regolarità (riguardo alla velocità di convergenza di alcuni metodi di risoluzione numerica).

In particolare sto considerando nuclei a perdita di regolarità diagonale, ovvero di regolarità sufficiente (anche $ C^{\infty} $) ovunque, tranne che laddove $ x=t $ (senza troppa perdita di generalità, i parametri variano tra 0 e 1).

Se la regolarità fosse inferiore, tra le altre cose mi sarebbero potute tornare utili delle informazioni su $ f $, come il suo ordine massimo di derivabilità, senza necessariamente conoscerla in maniera esplicita.
Iscritto all'OliForum dalla gara del 19/02/2003.

Cesenatico - 2003 : 9 punti - menzione (193°) | 2004 : 19 - argento (33°) | 2005 : 21 - bronzo (69°) | 2006 : 25 - argento (20°)
Squadra B. Pascal (Giaveno) - 2005: 6° | 2006: 8°
Cattolica - 2006: 4°
Bocconi GP - 2009: 29° | 2010: 44° | 2012: 17° | 2013: 22° | 2014: 17° | 2015: 38° | 2016: 23° | 2017: 4° | 2018: 14° | 2019: 7°

Allenatore del N. Copernico di Torino, ex di B. Pascal (Giaveno), G. Ferraris (Torino), I. Newton (Chivasso), C. Cattaneo (Torino).

Rispondi