I'm just looking for an example of an integral, rectifiable varifold, which has no locally bounded first variation.
Recapitulation
for every m-rectifiable varifold mu exists a m-rectifiable set E in mathbbRn, meaning E=E0cupbigcupkinmathbbNEk with mathcalHm(E0)=0 and EksubseteqFk for some mathcalC1-manifolds Fk of dimension m, and a non-negativ function thetainL1textloc(mathcalHm|E) such that mu=thetamathcalHm|E. This is a characterisation of m-recitifiable varifolds.
The first variation deltamu of a varifold mu is for etainmathcalC1c(mathbbRn;mathbbRn) given by
deltamu(eta)=intdivmueta,dmu,
where divmu(eta)(x)=sumni=1tauTi(x)cdotDeta(x)cdottaui(x) where taui(x) is a orthogonal basis of the tangentspace of mu in x, which coinsidence mu-almost everywhere with TxFi for xinEisubseteqFi as above. So divmueta(x) is just the divergence in the manifold Fi, with xinEisubseteqFi.
We say mu has an locally bounded first variation, if for all Omega′subseteqOmega there exists c(Omega′)<infty such that
deltamu(eta)leC(Omega′,Omega)VertetaVertLinfty(Omega)qquadforall;etainmathcalC1c(Omega′).
See for more explanation for example http://eom.springer.de/G/g130040.htm.
For a mathcalC2-manifold M in mathbbRn with mean curvature HM the first variation is
deltaM(eta)=−intMHMcdoteta,dvolM−intpartialMtau0cdoteta,dvolpartialMqquadforall;etainmathcalC1c(mathbbRn)
with the inner normal tau0inTxMcap(TxpartialM)bot and where the mean curvature is the trace of the second fundamental form A by the meaning of HM(x)=summi=1Ax(taui,taui) in the normal space of M. As obviouse in this case the first variation is locally bounded.
No comments:
Post a Comment