1
vote
2answers
33 views

Is it possible to write the curl in terms of the infinitesimal rotation tensor?

Is it possible to write the curl in terms of the infinitesimal rotation tensor? Basically, we can write the curl as a matrix operator $$ curl=\begin{bmatrix} 0 & -\partial z & \partial ...
3
votes
2answers
42 views

Area of spherical cap with integrals

Given a sphere $S$ of fixed diameter $D$ (or radius $R=D/2$, it will be convenient to have both, I suppose), and a point $P$ on its surface, let's create a ball $B$ of variable radius $r$ with its ...
2
votes
1answer
18 views

Hadamard's Lemma in multidimensional real analysis

This is Hadamard's Lemma: Let $U \subset \Bbb R^n$ be an open set, let $a \in U$ and $f: U \to \Bbb R^p$. Then the following assertions are equivalent. The mapping $f$ is differentiable at $a$. ...
2
votes
2answers
44 views

Frenet-Serret formula proof

Prove that $$\textbf{r}''' = [s'''-\kappa^2(s')^3]\textbf{ T } + [3\kappa s's''+\kappa'(s')^2]\textbf{ N }+\kappa \hspace{1mm}\tau (s')^3\textbf{B}.$$ What is $\tau$, I can't figure that part out. ...
1
vote
3answers
36 views

solenoid and irrotational vector

Let $V$ be a vector point function. $V$ is solenoid if $\operatorname{div} V =0$ and irrotational if $\operatorname{curl} V =0$. How can one visualize examples of solenoid or irrotational functions? ...
5
votes
0answers
128 views

Why is $a_{n}(x,y)=a_{n}(y)$?

This particular question is connected (with a slight variation in the definition of $g$) to an earlier question. The link is here. The specifics are: Given that $u(x,y)$ is the solution of a PDE ($x$ ...
1
vote
0answers
64 views

Implicit Function Theorem (Two Variables)

While reading through a paper I came a cross a result (due to the Implicit Function Theorem) that I cannot derive. Let $u(x,y)$ be the solution of a PDE ($x$ and $y$ are independent variables). We ...
2
votes
0answers
34 views

Question on Inductive Proof of Implicit Function Theorem

I am struggling with an inductive proof of the implicit function theorem, concretely with the final part of construction of a function, up to this final point everything is perfectly clear to me. ...
4
votes
3answers
125 views

Why can't we usually speak of partial derivatives if the domain is not open?

In the book by Guillemin & Pollack they define a function $f$ from an open subset $U\subset R^n$ to $R^m$ to be smooth if it has continuous partial derivatives of all orders. Then they say ...
1
vote
2answers
285 views

Boundary under transformation of a closed curve from $R^2\to R^3$

Consider some mapping $\phi: R_{uv} \to S\subset \mathbb{R}^3$ where $R_{uv}\subset \mathbb{R}^2$ and such that it is a simply connected region. We call the boundary of the surface (which we ...
2
votes
1answer
41 views

Divergence Theorem To Calculate Surface Integral

$M=${$(x,y,z):x^2+y^2+z^2=16$,$\sqrt {x^2+y^2}\leq z$} We are asked to find the surface area of this surface. This is my way: $\partial M=${$(x,y,z):x^2+y^2+z^2=16$,$\sqrt {x^2+y^2}= z$} so the ...
0
votes
1answer
36 views

Arc Length with Vector-Valued Functions, Part B

Consider the path of a particle in a conservative force field represented by the vector-valued function $$r(t)= \left(4(\sin t−t \cos t), 4( \sin t+t \sin t), \frac{3}{2} t^2 \right).$$ A) Find the ...
1
vote
0answers
72 views

Computation of the Frenet-Serret trihedron in $\Bbb L^3$ (Lorentz-Minkowski space)

Consider $\Bbb L^3 = (\Bbb R^3, \langle , \rangle)$, with the convention $$\langle (x_1,y_1,z_1), (x_2,y_2,z_2)\rangle = x_1x_2+y_1y_2 - z_1z_2$$ and $\| v \| = \sqrt{|\langle v, v \rangle|}$. Let ...
1
vote
1answer
68 views

When is $x\mapsto |x|^{s-1}x$ a diffeomorphism?

Consider the function $f:B^n\rightarrow B^n$ from the disk to itself $$f(x)=\vert x\vert^{s-1}x$$ where $s>0$ and we are considering the euclidean norm (we define the function to be $0$ in the ...
0
votes
0answers
28 views

Lower boundary for hessian eigen values

This question appears on a differential geometry test i am trying to solve. Let $f$ be a function of $x,y$ and $k>0$ a positive real number. the function obeys the following: $f(0,0)=0$ and ...
0
votes
0answers
38 views

Lower boundary on hessian eigen values [duplicate]

This question appears on a differential geometry test i am trying to solve. Let $f$ be a function of $x,y$ and $k>0$ a positive real number. the function obeys the following: $f(0,0)=0$ and ...
2
votes
1answer
38 views

Spherical-Coordinate Reference Frame

my problem looks apparently easy but I can figure out a solution. I'm going through a paper about the Boltzmann equation and I got stuck with this change of coordinates. The original formula for Q ...
1
vote
2answers
62 views

The property of an integral manifold of differential form

Let's define the $1$-form $\eta$ on $\mathbb{R}^3$ by formula: $$\eta = A(x,y,z)\;\mathrm{d}x + B(x,y,z)\;\mathrm{d}y + \mathrm{d}z \text{.}$$ And let's assume that $$\mathrm{d}\eta \wedge \eta = ...
1
vote
1answer
24 views

Applying Green's theorem for a line integral of a vector field

Integrate the vector field $F(x,y)=(e^y+\frac{1}{y+3},xe^y-\frac{x+1}{(y+3)^2})$ over a curve that goes from $(-1,0)$ to $(-1,2)$ to $(0,1)$ to $(1,2)$ (in a linear fashion). Now, I'm almost certain ...
1
vote
0answers
32 views

Stoke's theorem explanation

Firstly, Wikipedia informs me that Stoke's theorem might mean two different things so I'm pretty sure I'm talking about the general one. I'll just state what I understand from it and I'd like someone ...
1
vote
1answer
46 views

Integral notation from cartesian from polar coordinates

Given an integral $$I=\int\limits_{\mathbb{R}^n} \cdot \; dx,$$ we can introduce polar coordinates, such that $$I=\int\limits_{\Bbb S^{n-1}} \cdot \; d\theta.$$ Another way to express the latter one ...
0
votes
1answer
19 views

Change of variables for vector valued measures

So in this question I am assuming that $f$ is of bound variation on $\mathbb{R}^{n}$ so $\nabla f$ is a vector valued measure and $|\nabla f|$ is its total variation but you can assume that $f$ is ...
2
votes
0answers
41 views

Verifying the Divergence Theorem for Half of a Sphere

Here is an exercise that I was assigned for homework: .......................................................... To the bottom left, I have scanned an example problem for verifying the divergence ...
1
vote
1answer
41 views

Constructing a function from level sets

Suppose we know what the projection of the level sets into the xy-plane of some function $f:\mathbb{R}^2 \rightarrow \mathbb{R}$ looks like. How can I construct a closed form for $f$ by "lifting" the ...
1
vote
2answers
77 views

Causal character of a surface (Lorentz-Minkowski space $\mathbb{L}^3$)

I'm trying to analyze the causal character of the surface $x^2 + y^2 - z^2 = -1$ in Lorentz-Minkowski space $\mathbb{L}^3$, with the convention $\mathrm{diag[1,1,-1]}$, that is $$\langle \left(x_1, ...
3
votes
0answers
30 views

A singular $n-$cube and a circumference defined the border than 2-cube

This is an exercise from "Calculus on Manifolds" by Michel Spivack (first edition, p.100): If $c$ is a singular $1$-cube in $\mathbb{R}^2-\{0\}$, with $c(0)=c(1)$, show that there is an integer ...
2
votes
1answer
52 views

curve integral - intersection between plane and sphere

I am going to calculate the line integral $$ \int_\gamma z^4dx+x^2dy+y^8dz,$$ where $\gamma$ is the intersection of the plane $y+z=1$ with the sphere $x^2+y^2+z^2=1$, $x \geq 0$, with the orientation ...
1
vote
1answer
31 views

Find the derived of an implicit given function.

Let $C=\{(x,y,z) \in \mathbb(R)^3| \sin x + \sin^2 y + \sin^4 z=0 \ \text{and} \ (x-z)^2=4\pi^2\}.$ By the implicit function theorem, we have that $C$ can be parametrized as a smooth curve in the ...
3
votes
2answers
34 views

Gauss's theorem in 2d: how can it be expressed in differential forms?

How do we express the 2d version of Gauss's theorem in the language of differential forms? In 3d, I know it is $$d \left(Fdydz + Gdzdx + Hdxdy\right) = F_x + G_y + H_z dxdydz$$ so by Stokes' ...
0
votes
1answer
53 views

Prove: If $\int_{\phi}\omega = \int_{\psi}\omega$ whenever $\phi$ and $\psi$ have the same endpoints, then $\omega=df$

This is an exercise that I have been assigned for homework. I don't really know how to approach it though. I know that $\int_{\phi}\omega$ only depends on the endpoints $\phi(a)$ and $\phi(b)$ where ...
0
votes
2answers
37 views

Clarification: What does it mean when “$\phi$ and $\psi$ are two smooth curves in $U$ with the same beginning and end points”

"$\phi$ and $\psi$ are two smooth curves in $U$ with the same beginning and end points" Does this mean: (A) $\phi:[a,b]\to U$ and $\psi:[a,b]\to U$ (B) $\phi:[a,b]\to U$ and $\psi:[c,d]\to U$ s.t. ...
0
votes
1answer
60 views

Regular Parametrization of a Sphere

Is there a function $f:U→ \mathbb{R^3}$, such that: (1) U is an open connected subset of $ \mathbb{R^2} $; (2) f is $ C^r , r≥1$; (3) the Jacobian of f is of maximal rank at all points of U; (4) ...
1
vote
1answer
45 views

Line Integrals in $\mathbb{R}^n$ and Differential 1-Forms

I am really lost in the notation of my book and am looking for some conceptual help. So... for a differential 1-form $\omega$, every value of $x\in \Omega$ maps to a linear function $\omega _x$, ...
1
vote
1answer
36 views

Substitution of variables in Laplacian

Suppose we have a function $u\colon \mathbb{R}^n \to \mathbb{R}$. Let $x \in \mathbb{R}^n$ and let $x=cy$ for a given constant $c$. How do I write $\Delta_x u(x) = \Delta_x [u(cy)]$ in terms of ...
1
vote
0answers
27 views

Integrating a vector field over curve in R^2 with differential forms

Sorry if this has been asked elsewhere; I know there are several questions on differential forms but I couldn't find the answer I am looking for. Imagine I have a vector field $F:\mathbb{R}^2 ...
1
vote
0answers
23 views

Equation of tangent plane to a surface at certain point

So I am solving for an equation of a tangent plane to surface $z=x + \ln(2x+y)$ at the point $(-1,3,-1)$. I know I need to take partial derivative of that equation and plug in the point of the ...
0
votes
1answer
36 views

k+1 Differential form

Consider the k-form given by, $ w = \sum_{i_{1}<i_{2}<...<i_{k}} w_{i_{1}i_{2}...i_{k}} dx^{i_{1}}\wedge dx^{i_{2}}\wedge...\wedge dx^{i_{k}}$ Define $k+1$ form $dw$ , the differential of ...
3
votes
2answers
52 views

Computing a Lie Bracket: General Questions

I'm asked to compute the following Lie Bracket: $\left [ -y \dfrac{\partial}{\partial x} + x\dfrac{\partial}{\partial y} , \dfrac{\partial}{\partial x} \right] $ on $\mathbb{R}^2$. Just writing it ...
3
votes
1answer
33 views

Chain rule quesition: proving that the Weingarten map is self-adjoint

I'm reading through the proof in this paper (http://www.math.leidenuniv.nl/scripties/JaibiBach.pdf) but I'm stuck at the line: "Using the chain rule we get: $L_p(\phi_v) = -Dn(\phi_v) = - \frac ...
1
vote
2answers
48 views

Parametrisation of a surface.

I'm currently going through my course notes, currently teaching the theory leading up to surface integrals. In particular, I am reading the section on the parametrisation of surfaces. However, there ...
0
votes
1answer
40 views

Partial derivatives and functions equal to 0

If I have the function (family of curves) $$F(x,y,p)=(px)^2+p=0$$ I am under the impression that $$\frac{\partial F(x,y,p)}{\partial p}=2px^2+1$$ Is not always equal to $0$. Please could you ...
0
votes
2answers
23 views

Planes and surfaces and normal vectors?

Is a plane the same thing as a surface? and is the normal vector the same at every point on both??
0
votes
0answers
19 views

When is a function of two variables positive?

There are two functions, $u(t)$ and $v(t)$, $u:[0,\infty]\to {R}$ , $t=\frac{1}{2}(y_{1}^{2}+y_{2}^{2})$, $v=\frac{-uu'}{2tu'-u}$. They should satisfy the next: $u>0$ and $u+2tv>0$. If we ...
0
votes
0answers
10 views

My mistake on proving “$deg(f,y)=0$ if f can be extented”.

Statement: Show $deg(f,y)=0$, when $f:\partial M^{n}\to N ^{n}$, y is a regular value, $\exists$ extension $F:M^{n+1}\to N$ and M and N are compact smooth mflds. The outline: 1) $F^{-1}(y)$ is a ...
2
votes
1answer
53 views

Very basic questions on chain rules and product rules

I have serious gaps in maths and would like to ask some basic questions. I know there is the following chain rule for the first derivative: $$ Dh(x) = Dg(f(x))Df(x)\quad\quad (1) $$ where $h(x) = ...
2
votes
0answers
59 views

Is it generally difficult to memorize 'multivariable calculus' theorems?

There are many weak forms of "Fubini's theorem" with strong hypotheses in elementary calculus texts. However, these strong hypotheses are very unnatural and are thus hard to memorize. Compared to ...
0
votes
1answer
22 views

Derivative of composition of functions (in the process of proving that there is some diffeomorphism)

I am trying to follow the proof of the theorem from an online pamphlet of J.M. Lee. --- If $U$ is an open neighbourhood of $0\in\mathbb{R}^k$ and $f:U\subset\mathbb{R}^k\longrightarrow\mathbb{R}^n$ is ...
2
votes
1answer
26 views

Function of two variables, derivation

If $t = \frac{1}{2}((y_{1})^{2} + (y_{2})^{2})$ and if it written that $u$ and $v$ are functions depending on $t$, does that mean that $(y_{1})^{2}$ and $(y_{2})^{2}$ must be "parts " of $u$, i. e. we ...
0
votes
1answer
22 views

Rewriting line integral for complex-valued function

Context: Suppose $f = \phi + i\psi$ is continuous and $\gamma(t):[a, b] \to \mathbb{C}$ is a curve. Then we define the integral of $f$ along $\gamma$ to be $$ \int_\gamma\!f = \int_a^b ...
0
votes
0answers
46 views

laplace-beltrami and angular momentum operator

Im trying to understand this formula: In $\mathbb{R}^n$ we say that the laplacian can be seen as (radial part and angular part). : $$\triangle=(\frac{\partial^2}{\partial ...