The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
4answers
569 views

Intrinsic definition of arc length [closed]

Is there an intrinsic way of defining the arc length of a curve in $\mathbb{R}^{3}$, that is without resorting to a parametrization of the curve?
2
votes
1answer
68 views

Is there a general way to determine the Laplacian of the eigenvalues of a real symmetric matrix? [closed]

I have a real symmetric $3\times3$ matrix $\mathbf{M}(\mathbf{r}$) which depends on $\mathbf{r} \in \mathbb{R}^3$. Each eigenvalue can be considered a scalar field $e_i(\mathbf{r})$ over ...
5
votes
2answers
179 views

Common roots of polynomial and its derivative

Suppose $f$ is a uni-variate polynomial of degree at most $2k-1$ for some integer $k\geq1$. Let $f^{(m)}$ denote the $m$-th derivative of $f$. If $f$ and $f^{(m)}$ have $k$ distinct common roots ...
0
votes
0answers
85 views

Global and local maxima in a weighted sum of logarithms of linear functionals?

Constrained Optimization Problem Is is possible to describe, and locate efficiently, the maxima of the function $f$, as described below in the parameters $\mathbf{x} = (x_1,...,x_m)$. The constraints ...
1
vote
1answer
81 views

About preserving real-rootedness of multivariable polynomials

Say $f_i(z_1,z_2,..,z_m)$ are polynomials real rooted in the $z$s for a bunch of polynomials indexed by $i$. When can one say that $\sum_{i} p_i f_i(z_1,z_2,..,z_m)$ is also real rooted? If ...
1
vote
0answers
110 views

Universal property of (k-fold) differential $d^k$

does the differential $d^k:C^\infty(U,\mathbb{R}) \to C^\infty(U,S^k(X)^*)$ for $U \subseteq X$ fulfill some kind of (strict) universal property under all '$k$-fold derivations' (you know what i ...
2
votes
1answer
139 views

Local Biot-Savart law in $B(x_o,r) \subset \mathbb R^2$

Let $u: \mathbb R^2 \to \mathbb R^2$ and let $\omega = \text{curl } u$ be the 2D vorticity of $u$, where $u, \omega \in L^2(\mathbb R^2)$ and $\nabla \cdot u = 0$. The classical Biot-Savart law states ...
-1
votes
1answer
102 views

How to show the square root function of a positive semidefinite matrix is differentiable? [closed]

How to show the square root function of a positive semidefinite matrix is differentiable? In this context PSD means symmetric PSD.
0
votes
0answers
87 views

Existence and Uniqueness of Volterra integral equations of the first kind

$$ \int_0^t k(s,t)f(s)ds=g(t) $$ To prove the existence and uniqueness of solutions of Volterra integral equation(VIE) of the first kind, we usually differentiate it and convert to the VIE of the ...
2
votes
0answers
117 views

Slice a compact C1 surface in R3 by a moving transverse plane. Does the length of the slice depend C1 on the plane?

To be more precise I am interested in questions similar to the one below (I asked the question below on math.stackexchange last week but got not answer.) I have a $C^1$ function $f:[0,1]^2 \to ...
0
votes
0answers
84 views

Sufficient Conditions For Monotonic Decreasing of Multivariate Function

I found the following theorem on sufficient conditions for decreasing monotonicity of an absolutely continuous function $\phi : \mathbb{R} \rightarrow \mathbb{R}$, I would like to know if it is ...
2
votes
1answer
84 views

Is first term of my cost function convex?

I have an optimization problem in the form of [\begin{array}{l} \mathop {{\rm{Minimize}}}\limits_{\bf{X}} \,\,\,2\left| \delta \right|\sqrt {{\rm{Tr}}\left( {{\bf{A}}{{\bf{X}}^2}} \right)} {\rm{ - ...
3
votes
1answer
159 views

A functional equality

I don't know if this is known, but I was fiddling around with this equality : $$f:(-1,1)\to (-1,1)\quad \text{satisfies}\quad(f(z)+1)^s=\sum_{j=0}^{\infty}\dbinom{s}{j}f(z^k) \quad \forall z\in ...
1
vote
1answer
220 views

Question about extending a solution to Monge-Ampere solution

I am interested in solutions to the Monge-Ampere equation for a smooth function $h(x,y)$ of two variables(though I suppose I could try to make do with $C^2$ solutions). The equation is: ...
4
votes
0answers
188 views

Boundary of an open, bounded and convex set in $\mathbb{R} ^n$

Let $U$ be an open, bounded and convex set in $\mathbb{R} ^n$. Since $\partial U$ is a rectifiable set it follows that up to a set of $H^{n-1}$-measure zero $\partial U$ is contained in a countable ...
3
votes
0answers
162 views

Looking for author of calculus quote

When I was a lowly calculus student many many years ago, my calculus teacher quoted some famous mathemtician: "Calculus is the last course in arithmetic and the first course in mathematics that one ...
3
votes
1answer
76 views

Counting extrema on a simplex

Let $p(x_{1},x_{2},\ldots,x_{n})=\sum_{i,j=1}^{n}{a_{ij}x_{i}x_{j}}$ be a homogenous multivariate polynomial of degree $2$. I would like to know how many extrema $p$ has on the standard simplex ...
1
vote
1answer
214 views

Request for help with two integrals

It would be great if someone can help me do these integrals - using numerical integration on Mathematica it seems that these converge - in what follows $a \in \mathbb{R}$ and $q \in \mathbb{N}$ and $n ...
0
votes
0answers
153 views

Fractional Derivatives Of Sums

I have a question regarding the definition of a fractional derivative. I've searched, but I can't find a definition of fractional derivatives that explain the concept in terms of an operator on some ...
1
vote
1answer
1k views

The Jones-Sato-Wada-Wiens polynomial for prime numbers and differential calculus?

After works of Davis, Matijasevic, Putman and Robinson between 1960 and 1970, we know that every recursively enumerable set of numbers can be represented by a polynomial. In particular, it's the case ...
8
votes
1answer
903 views

Differential Calculus and the De Rham Homotopy Operator

Suppose $M$ is a smooth manifold, $\Omega^k(M)$ the vector space (or $C^\infty(M)$-module in case this is better suited) of $k$-differentialforms on $M$ and $$I: \Omega^k(M\times \mathbb{R}) \to ...
4
votes
0answers
170 views

Co-filtered and pro-finite manifolds, filtered algebras, and differential calculus on them

Hello! I've come across a lot of questions (and nice answers) on MO, concerning infinite-dimensional manifolds and differential calculus over them, but nothing suiting the simpler and special case I ...
23
votes
2answers
856 views

Is there a convenient differential calculus for cojets?

I understand the basics of exterior differential geometry and how to do calculus with exterior differential forms. I know how to use this to justify the notation dy/dx as a literal ratio of the ...
17
votes
4answers
6k views

How did Bernoulli prove L'Hôpital's rule?

To prove L'Hôpital's rule, the standard method is to use use Cauchy's Mean Value Theorem (and note that once you have Cauchy's MVT, you don't need an $\epsilon$-$\delta$ definition of limit to ...
1
vote
0answers
2k views

What is the geometric meaning of the third derivative of a function at a point? [closed]

What is the geometric meaning of the third derivative of a function at a point? This question is now asked on the sister site: ...
2
votes
2answers
353 views

Finding the Universal Ideal of a (Covariant) Differential Calculus

Let $(\Omega,d)$ be a differential calculus over an algebra $A$. It is easy to show that $\Omega$ is always equal to a quotient of $\Omega_u(A)$, the universal calculus over $A$, by some ideal $N$ of ...