Definizione di aperto regolare

gygabyte017
Sulle dispense del mio prof c'è scritto:


Sia $A$ aperto $A subset RR^2$. $A$ è aperto regolare se $EE f in C^1(RR^n) t.c.$:
$A={x in RR^n t.c. f(x)<0}$
$del A = {x in RR^n t.c. f(x)=0}$

Se $F in C^1(RR^n) => grad F != 0$ su $del A$ => la frontiera $del A$ è una superficie regolare e quindi posso definire il versore normale $nu = (grad F)/(||grad F||)$


Ora, io non ho per niente capito che cosa significa questa cosa, e non riesco a trovare altre informazioni su internet....

Sapete dirmi che cosa significa?

Grazie

Risposte
Fioravante Patrone1
Applicazione carina del teorema di Dini.

E' anche un esempio utile per mostrare l'importanza del teorema di Dini (cosa di cui si stava discutendo in questi giorni nel forum).


NB: tu scrivi $F in C^1(RR^n) => grad F != 0$.
In realtà ti serve che $F in C^1(RR^n)$ e che $grad F != 0$.

[size=75]Nota maligna: mica sei uno di quelli che sono abituati a mettere il segno $=>$ da tutte le parti, anche nella minestra?[/size]

dissonance
Grossomodo significa che, localmente, puoi considerare il bordo del tuo aperto come il grafico di una funzione di classe $C^1$.
Una definizione equivalente la trovi su Gilardi §5.41 (pag.19).
Per esempio questo aperto è di classe $C^1$ (per la verità è $C^\infty$):
[asvg]xmin=-1; xmax=1; ymin=-1; ymax=1;axes(); fill="cyan";circle([0, 0], 1);[/asvg]
Questo invece non è di classe $C^1$ ma è Lipschitziano, e spesso questo è sufficiente:
[asvg]xmin=-1; xmax=2; ymin=-1; ymax=2;axes(); fill="cyan";rect([-1, -1],[1,1] );
stroke="red"; marker="arrow"; line ([1.3, 1.3], [0, 0]);
line ([2, 0], [0, 2]);[/asvg]
Evidentemente il problema sono gli spigoli, che non possono essere resi come grafico di una funzione liscia. Ma piazzando un sistema di coordinate cartesiane come in figura, ogni spigolo può essere reso come grafico della funzione valore assoluto, che è Lipschitziana.

Per concludere, un esempio di aperto né regolare né Lipschitziano (grazie stan per il javascript):
[asvg]xmin=-1; xmax=1; ymin=-1; ymax=1;axes(); plot("sqrt(abs(x))");
line ([1, 1], [1, -1]); line([1, -1], [-1, -1]); line ([-1, -1], [-1, 1]);

var incr = 0.05; // distanza tra due rette verticali

var xm = 3.14;

var xi = xm/incr;
function fillRegion (xmin, xmax, color) {
var x1, y1,y2;

stroke=color;

for (var x=xmin; x< xmax; x++) {
x1 = incr*x;
y1 = -1;
y2 = Math.sqrt(Math.abs(x1));

// traccia la retta
line([x1,y1 ], [x1, y2]);
}
}

fillRegion(-20, 20, "cyan");[/asvg]
Il problema, qui, è quella cuspide entrante, che non si riesce a rendere come grafico di una funzione Lipschitziana.

dissonance
"dissonance":
Grossomodo significa che, localmente, puoi considerare il bordo del tuo aperto come il grafico di una funzione di classe $C^1$.
Nota: non è immediato capire perché la tua definizione significhi questo. Infatti è qui che serve il teorema del Dini a cui accennava Fioravante.

gygabyte017
"Fioravante Patrone":
[size=75]Nota maligna: mica sei uno di quelli che sono abituati a mettere il segno $=>$ da tutte le parti, anche nella minestra?[/size]


No no! Sulle dispense c'è esplicitamente scritto il "=>" invece del "e anche" :-D e ora è tutto moooolto più chiaro...

Grazie a tutti ora ho capito!

Fioravante Patrone1
"gygabyte017":
[quote="Fioravante Patrone"][size=75]Nota maligna: mica sei uno di quelli che sono abituati a mettere il segno $=>$ da tutte le parti, anche nella minestra?[/size]


No no! Sulle dispense c'è esplicitamente scritto il "=>" invece del "e anche" :-D e ora è tutto moooolto più chiaro...
[/quote]

Fuori il nome di chi ha scritto le dispense! :smt067

GIBI1
... è evidente che è un refuso, lo so anch'io.

Fioravante Patrone1
E' vero, se lo sai pure tu è sicuramente un refuso :wink:

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.