The differential-calculus tag has no wiki summary.

**2**

votes

**4**answers

568 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

**1**answer

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

**2**answers

178 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

**0**answers

84 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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

74 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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

902 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

**0**answers

169 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

**2**answers

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

**4**answers

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

**0**answers

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

**2**answers

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 ...