Questions tagged [differential-calculus]
The differential-calculus tag has no usage guidance.
177 questions
1
vote
0
answers
44
views
Differential system of equations I would like to simplify
I have 2 functions of time $f(t),g(t)$ and a condition for the time-derivative of a third function $h(t)$, say $$\dot{h}(t)=\dot{g}(t)\cos{f(t)},$$ so $h$ is defined provided a value for $h(0)$ (as $h(...
3
votes
0
answers
100
views
How to compute the partial derivatives of this function?
For any probability measure $\mu$ on $\mathbb R^2$ and $\theta\in [0,2\pi]$, denote by $\mu_\theta$ its projection along $v:=(\cos\theta,\sin\theta)$. Namely, if $X$ is a random variable distributed ...
1
vote
1
answer
88
views
Joint maximizer of a strongly concave function
I have a question that is arising in my research.
Suppose that $f : \mathbb{R}^ 2 \to \mathbb{R}$ is a strongly concave function, satisfying:
For every $x$, the function $y \to f(x, y)$ is maximized ...
1
vote
0
answers
60
views
Applications needing different constants of integration on different intervals [closed]
It's curious that you can have different constants of integration on intervals. E.g. if
$$f(x) = \left\{
\begin{array}{llr}
\frac{-1}{x}+a, & x>0\\
\frac{-1}{x}+b, & x<0\\
\end{array}
\...
0
votes
1
answer
139
views
Proving negativeness of function involving $-\log t$
I have been trying to solve the following function is non-increasing with respect $\theta$
\begin{equation}
h(t,\beta) = \frac{1-t-\frac{\beta(-\log t)^{\theta}}{\theta(-\log \beta)^{\theta -1}}}{1-\...
2
votes
3
answers
238
views
Existence of antiderivative w.r.t. any given multi-index for tempered distributions
I originally posted this question on ME, but I find it a lot more nontrivial than expected. So, I post it here.
Let $T$ be a tempered distribution on $\mathbb{R}^n$. Then, it is a well-known ...
9
votes
3
answers
696
views
I want to find a smooth section of the map from the Stiefel manifold to the Grassmanian manifold
The following question is related to research I am doing on reinforcement learning on manifolds.
I have a set of basis vectors $\boldsymbol{B} = \{\boldsymbol{b}_1,\dots,\boldsymbol{b}_k\}$ that span ...
1
vote
0
answers
50
views
type of solutions of $-u^{\prime\prime}=\lambda e^{u}$ based on the value of the parameter $\lambda$. (Gelfand problem)
My question comes from the book
Stable solutions of elliptic partial differential equations, Chapman & Hall/CRC Monographs and Surveys in Pure and Applied Mathematics 143. Boca Raton, FL: CRC ...
1
vote
0
answers
146
views
Interesting solutions of equation x^y = y^x [closed]
There is simple equation $x^y=y^x$. By taking logarithm we can see that it is equivalent to $\frac{\ln x}{x}=\frac{\ln y}{y}$. When we plot and inspect the function $f(x)=\frac{\ln x}{x}$, we can see ...
0
votes
0
answers
29
views
On constructing the canonical boundary operator for a given differential operator
Given an $n\times n$ matrix $$X=\begin{pmatrix}
x_{11} & x_{12} & \cdots & x_{1n} \\
x_{21} & x_{22} & \cdots & x_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
x_{n1}...
0
votes
0
answers
38
views
Symmetric expression of boundary term in integration by part
Suppose $\Omega\subset\mathbb{R}^2$ be a smooth domain. $f,g\in C^\infty(\Omega)$. We consider the integration by part here:
$$\begin{aligned}
\int_{\Omega}(\partial_1\partial_2f)g&=-\int_{\Omega}(...
4
votes
1
answer
475
views
de Rham's Theorem using atlases and colimit preservation
$\DeclareMathOperator\DR{DR}\newcommand\SmoothManifold{\mathrm{SmoothManifold}}\newcommand\ChainComplexes{\mathrm{ChainComplexes}}\DeclareMathOperator\Sing{Sing}\newcommand\DifferentialGradedRAlgebras{...
19
votes
6
answers
2k
views
Variable-centric logical foundation of calculus
Since calculus originated long before our modern function concept, much of our language of calculus still focuses on variables and their interrelationships rather than explicitly on functions. For ...
1
vote
0
answers
174
views
Reconstructing an object from its shadow
I'm looking into the section "Reconstructing an object from its shadow" in the book Introduction to the Mathematics of Medical Imaging by Charles L. Epstein.
I have two questions
The ...
4
votes
2
answers
296
views
Implicit function theorem for subdifferentiable convex functions
I am trying to find a method to apply the implicit function theorem for subdifferential convex functions. The original theorem provides an equation for the partial derivative of the implicit function ...
2
votes
0
answers
200
views
Is there a geometric or calculus-based reason why the following system of equations should have only one solution?
Let $x_1,x_2,x_3,x_4>0$. Consider the following cyclic system of equations:
$$ 2 + x_2 + x_3 + x_4 + x_2 x_3 x_4 - 2 \left( \frac{x_2}{ \sqrt{x_1 x_2}} + \frac{x_3}{ \sqrt{x_1 x_3}} + \frac{x_4}{ \...
3
votes
1
answer
146
views
Behaviour of the solution of a second order ODE
I am currently studying the following second order ODE
\begin{cases}
\ddot y(x)\left(\ln(x) - 2\ln(y(x))\right) - 2\frac{(\dot y(x))^2}{y(x)} = 0 &\text{in }[0,T]\\
y(0) = 0\\
\dot y(T) = c
\end{...
2
votes
0
answers
946
views
On a deceptively tricky calculus problem
Motivation for this question: If the operators $B_i'$ satisfy an inequality, prove that $B_1'+\dots B_n'$ also satisfies the same inequality
Let $A$ be a non-constant operator acting on $C^...
0
votes
0
answers
55
views
Integral of non-Gaussian distributions
In physics, we have an non-Gaussian Distribution which can be simply written as $f(x)=\exp(-ax^2-bx^3)$, and we may need to calculate the integral of this distribution, simply written as $\int_0^\...
7
votes
2
answers
723
views
Interpretation of second order term in Fokker-Planck equation
Let $G:\mathbb{R}^d\to\mathbb{R}^{d\times d}$ be a matrix-valued smooth function. Let us define a quantity by
$$
\begin{align*}
\nabla^2\cdot G(x)
&=\sum\limits_{i=1}^{d}\sum\limits_{j=1}^{d}\...
2
votes
4
answers
584
views
Does the generalised directional derivative satisfy any version of the chain rule?
Is there a chain rule of any kind for the generalised directional derivative (of the Clarke type)? There is certainly a chain rule for the generalised gradient.
The generalised directional derivative ...
2
votes
0
answers
89
views
How to define the Sobolev quotient space $H^s(Γ)/{\mathbb R}$
Let $\Gamma$ be the boundary of a Lipschitz domain $\Omega\subset \mathbb R^3$. Denote by $H^s(\Gamma)$ the usual scalar Sobolev space for $s\in\mathbb R$. I want to know the definition of the ...
0
votes
0
answers
139
views
Integration on algebraic curves
Consider the plane algebraic curve
$$f(x, y) = y^4 - (2x - 1)y^2 - (4x - 1) y + x^2 + x + 1 = 0.\tag{1}$$
Its compactification results in a Riemann surface $C_1$ of genus $1$.
Hence, it can be ...
1
vote
0
answers
122
views
Implicit function theorem / Implicit selections when Jacobian not invertible
I saw the attached result in the book by Dontchev and Rockafellar.
It requires the Jacobian to be of full rank m. I suspect this condition can be further relaxed. Assume that we know that the columns ...
2
votes
1
answer
168
views
Validity of formula $u(x)=\frac{1}{4\pi}\int_G \nabla_y \frac{1}{\lvert x-y \rvert} \times \omega(y) \, d^3y +A(x)$ for periodic boundary case
I think it is better to provide context in which the previous question Any formula or estimates the Green function for the Laplacian in $3D$ periodic box? has been raised.
The motivation is the ...
0
votes
1
answer
129
views
Can you help me prove this vector identity?
It could be that the preprint where I found this identity has a typo or that it is simply wrong, but I have been trying to see if this is true:
\begin{equation}
\int \left(\nabla\times F_{\bf B}\...
5
votes
3
answers
2k
views
Solving a limit about sum of series
what's the limit of
$\sqrt{1-t}\sum _{n=0}^{\infty}t^{n^2}$ as $t$ goes to the left of $1$? i.e. $t\to 1^{-}$? I tried several times but failed. Here is my thought:
This is a $0\cdot\infty$ problem, ...
0
votes
2
answers
215
views
Does surface integral preserve the curl operation?
Suppose $V\subset \mathbb{R}^3$ be non-empty and at least twice differentiable (Smooth) and let $S$ be the surface that encloses $V$ (for example a sphere). Let $\textbf{F}\in \mathbb{R}^3$ be a ...
3
votes
1
answer
290
views
Are all Helmholtz decompositions related?
Suppose $V\subset \mathbb{R}^3$ be non-empty and at least twice differentiable (Smooth) and let $S$ be the surface that encloses $V$ (for example a sphere). Let $\textbf{F}\in \mathbb{R}^3$ be a ...
1
vote
1
answer
346
views
Where or what is the general formula for the $n$th derivative of the power-exponential function $x^x$?
It is well-known that the power-exponential function $x^x$ and its first few derivatives are often taught in calculus.
Does the general formula for the $n$th derivative of the power-exponential ...
3
votes
1
answer
110
views
Is $\Phi(-a(x+b))+\Phi(-a(x-b))$ log-concave in $x$ over the interval $x \in [0, \infty)$?
Let $f(x)=\Phi(-a(x+b))+\Phi(-a(x-b))$, where $\Phi(\cdot)$ is the c.d.f of the standard normal, and $a>0$.
I would like to know if $\partial^2 \ln(f(x))/\partial x^2<0$ over the interval $x \...
3
votes
1
answer
175
views
Example of homeomorphism that lifts to real blow up but not C^1?
Given smooth manifold $M$, let $Bl_\Delta(M\times M)$ be the (say oriented; you can ask this question for the unoriented case too) real blow up of $M\times M$ along the diagonal and let $\pi:Bl_\Delta(...
0
votes
1
answer
154
views
Conditions for surface area of surface of revolution to be product of arclengths
Given a circle $C$ in the xz-plane which does not intersect the $z$-axis, we can build a smooth 2-torus with surface area $(2\pi a)(2\pi b)$ where $a$ is the radius of the circle $C$ and $b$ is the ...
15
votes
3
answers
1k
views
Derivative formula
While trying to understand a paper of Cayley, he left something unexplained, I managed to show that it is equivalent to the following formula, which I got stuck at:
$$k \cdot (f^k)^{(k-1)} = \sum_{j=0}...
0
votes
1
answer
95
views
Rotation of the coordinate system for multi-index differentiations
Let $\mathbf{f} = (f_1,\dotsc, f_n)$ be a $C^l$-map from an open subset $U$ of $\mathbb R^d$ to $\mathbb R^n$, and let $x_0 \in U$ be such that $\mathbb R^n$ is spanned by partial derivatives of $f$ ...
1
vote
0
answers
28
views
Finding variance-minimizing weights [closed]
I'm trying to solve the following matrix calculus problem:
$\text{argmin}_{v \in R_+^K}(v'\Sigma v) \hspace{0.5pc} \text{subject to} \hspace{0.5pc} 1'v=1$
where $\Sigma$ is a well-behaved (symmetric, ...
2
votes
0
answers
61
views
What are the limits of what the theory of time-scale calculus can capture?
Time-scale calculus [0], also called calculus on measure chains (introduced in this widely cited article 1 and also here [2]) unified the concept of derivative of a functions $\mathbb{R}\rightarrow\...
1
vote
0
answers
156
views
Time-scale calculus (an similar approaches - measure chains) on more general "time" sets
Time-scale calculus [0], also called calculus on measure chains (introduced in this widely cited article [1] and also here [2]) unified the concept of derivative of a functions $\mathbb{R}\rightarrow\...
6
votes
0
answers
136
views
Injectiveness of a monotonic surjective mapping $\mathbb R^n \to \mathbb R^n$ with $\det J \neq 0$
Consider a surjective mapping $F \colon \mathbb R^n \to \mathbb R^n$, $F\in C^1$, $\dfrac{\partial F_i}{\partial x_j} > 0$, and $\det \left(\!\left( \dfrac{\partial F_i}{\partial x_j} \right)\!\...
19
votes
4
answers
12k
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 ...
3
votes
0
answers
82
views
How well do Gauss-Legendre quadrature methods fare on "fractal" functions?
The context
I'm making your tipical Mandelbrot set viewer, and I have a function $f: ℂ → ℕ$ that counts how many iterations of
$$
z_0 = 0 \\
z_{i+1} = z_i^2 + c
$$
it takes for a particular point $c$ ...
4
votes
0
answers
148
views
Derivative of characteristic polynomial of a graph and derivative of characteristic polynomial of a vertex-deleted subgraph have a common root
Let $G$ be a simple graph and $G-i$ be one of its vertex-deleted subgraphs. Let $\phi(G,x)$ and $\phi(G-i,x)$ be the characteristic polynomials of $G$ and of $G-i$ respectively, with respect to their ...
0
votes
0
answers
67
views
Integration of matrix form of Vasicek variance (Python/Matlab)
$X_t$ is a vector and follows the following Vasicek process.
$$
dX_t=(mu-K\cdot X_t)dt+Sigma_x\cdot dZ_t \\
$$
What is the variance of $X_t$?
In scalar form the answer is $\frac{Sigma_x^2}{2\cdot K}\...
1
vote
1
answer
323
views
A Bessel-like integral
I encounter the following integral when trying to find the inverse Fourier transform of the characteristic function of a certain sum of random variables. Here, $0\le\lambda\le1$, $p\ge0$, $q\ge0$ are ...
1
vote
0
answers
35
views
How to relate this integration with the integral expansion of special functions?
I encounter the following integral when trying to find the inverse Fourier transform of the characteristic function of a certain sum of random variables. Here, $p\ge0$, $q\ge0$ are real, and $n,a,b$ ...
4
votes
1
answer
244
views
Does the homeomorphism have a non-negative or non-positive determinant?
Let $ \Omega_1 $ and $ \Omega_2 $ be domains (open and connected) in $ \mathbb{R}^2 $. $ \psi:\Omega_1\to\mathbb{R} $ and $ \phi:\Omega_1\to\mathbb{R} $ are $ C^1 $ functions with two variables. ...
0
votes
2
answers
121
views
The relation between the convergence of the infinite integral of xf' and f
Question:
Let $ f $ be a real-valued function that differentiable on $ [a,+\infty) $. Suppose that $ f $ is monotonically decreasing, $ \lim_{x\to+\infty} f(x) = 0 $ and the integral $ \int_{a}^{+\...
0
votes
1
answer
253
views
$f'(x)>f(f(x))$ implies $f(f(f(x)))\leq0$ for nonnegative $x$
If $f\in C^1(\mathbb R)$ satisfies $f'(x)>f(f(x))$ for all $x\in\mathbb R$, then $f(f(f(x)))\leq0$ for all $x\geq0$.
I have some trouble to prove this. I wonder if there's some relations between ...
4
votes
1
answer
248
views
Ratio of the first squared and the second moment
Let $G(t)$ be a probability generating function of some integer and non-negative r. v. $X$. Suppose that
$$\lim_{t\to1}G'(t)=+\infty.$$
That is
$$
\mathbb{E}X=+\infty.
$$
Can you show that
$$
\lim_{t\...
2
votes
1
answer
164
views
Density of integers related to the size of its order of appearance in the Fibonacci sequence
Let $z(n)=\min\{k>0 : n\mid F_k\}$. This function is known as the Fibonacci entry point (for example). A result of Sallé gives the sharpest upper bound for $z(n)$, namely, $z(n)\leq 2n$, for all $n$...