Skip to main content

Questions tagged [differential-calculus]

Filter by
Sorted by
Tagged with
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$...