1,378 reputation
714
bio website
location
age
visits member for 3 years, 5 months
seen 14 hours ago

14h
asked deterministic limit of gaussian distribution
Mar
31
awarded  Notable Question
Feb
26
awarded  Favorite Question
Jan
21
asked Universal property of tensor products / Categorial expression of bilinearity
Nov
16
awarded  Yearling
Nov
13
awarded  Notable Question
Oct
15
asked behaviour of an angle if the points are transformed
Sep
9
comment Formula for surface measure of spherical cap on $S^n$.
In the section 'hyperspherical cap', the wikipedia article gives a formula for the surface in terms of regularized incomplete beta functions. I wonder whether a single integral formula like for the volume, at the beginning of the same section, does exist.
Sep
8
comment Formula for surface measure of spherical cap on $S^n$.
I am specifically looking for formulas nicer than there.
Sep
8
asked Formula for surface measure of spherical cap on $S^n$.
Aug
15
asked What is $H^1([0,1]) \otimes H^1([0,1])$?
Jun
24
asked How to define polyhedra?
Jun
23
accepted Can all real/complex vector spaces be equipped with a Hilbert space structure?
Jun
23
revised Can all real/complex vector spaces be equipped with a Hilbert space structure?
added 159 characters in body
Jun
23
asked Can all real/complex vector spaces be equipped with a Hilbert space structure?
Jun
14
revised Is there a terminological difference between “sequence” and “complex” in homology theory
added 65 characters in body
Jun
14
asked Is there a terminological difference between “sequence” and “complex” in homology theory
May
7
revised Preconditioning and effects on precision of solution of LSE
corrected reference
May
3
asked Preconditioning and effects on precision of solution of LSE
Apr
5
comment Boundedness of a Solution Operator
@user17904: You need to show that for Sobolev space $H$ of sufficient regularity the trace from $H$ to $L^2(\partial\Omega)$ has closed range. Than a bounded right-inverse exists by functional analysis. Typically, you can prove surjectivity, say, by partition of unity, smoothing and an explicit construction.