1,213 reputation
314
bio website
location
age
visits member for 2 years, 6 months
seen May 14 at 16:58
stats profile views 208

May
7
comment Preconditioning and effects on precision of solution of LSE
I do not think that your answer makes sense. Preconditioning precisely means decreasing the condition number. So there is no 'balancing' necessary between error magnification and convergence rates. In particular, my question regards only the numerical level - it is about the stability of numerical algorithms.
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.
Mar
7
comment pseudoinverse under change of norm
I have completely rewritten the question.
Mar
4
comment An variation of “Lk” in simplicial complexes
@StefanH.: Yes, thanks.
Feb
13
comment How can not-equals be expressed as an inequality for a linear programming model
It is intutive it does not work, because polyhedrons are convex and closed, while not-equals correspond to non-convex open regions.
Jan
29
comment Approaches to integrate $\int_0^1 \frac{x}{\sqrt{a+bx+cx^2}} dx$
Thanks, that got me on the right track.
Jan
27
comment If A $\subset S^n$ has spherical diameter < $\pi$, then $S^n - A$ contains a closed semisphere.
The original statement was blatantly wrong. I have editted the question into what I actually meant.
Dec
19
comment Distinction between 'adjoint' and 'formal adjoint'
These lines on Wikipedia only describe the construction for a differential operator. I have been concerned about general operators and their formal adjoints.
Nov
2
comment Solid angle between vectors in n-dimensional space
Your second formula is quite awkward, because you apply arctan against a vector.
Jul
18
comment Proof by Induction $n^2+n$ is even
You know you don't need induction, do you?
Jul
11
comment Minimizer of $p$-average of distances to points $x_1,\dots,x_n$
@ChristianBlatter: A name, like some exotic mean, would be helpful, of course.
Jul
11
comment Minimizer of $p$-average of distances to points $x_1,\dots,x_n$
@Paul: Yes, by definition. The vector $D$ is just a formal device.
Apr
7
comment Antisymmetric functions in higher dimensions
Okay, maybe a nice definition of signed permuation of coordinates is a permuation matrix times a ${-1,1}$-diagonal matrix, and the signum is the determinant of that transform.
Apr
7
comment Antisymmetric functions in higher dimensions
That's interesting. Your functions are smooth, are they? And could you please define what a signed permuation and its signum mean?
Mar
18
comment How should I understand “$A$ unless $B$”?
That post is nicely written. Thanks!
Mar
13
comment Derivative in complex analysis
@anon: I am curious and my complex analysis is rusty, too. Why is $f$ constant?
Mar
7
comment Which formula do I use to integrate $ \int {\sqrt{x^2 + 81} \over 2} \,dx $
In your final expression, the variable $x$ appears outside the integral, without any proper definition there. You should change this notation.
Mar
1
comment First-order derivatives in differential forms calculus
Because that is the way the Lie differential is defined.
Feb
22
comment What is the theory of non-linear forms (as contrasted to the theory of differential forms)?
I guess these non-linear forms are taken from David Bachmann's book "A Geometric Approach to Differential Forms", aren't they?
Jan
8
comment Alternating forms tangential to a subspace.
Corrected. Yes, thanks.