Questions on the evaluation of derivatives or problems involving derivatives (for example, use of the mean value theorem).

learn more… | top users | synonyms (2)

14
votes
0answers
398 views

Divergence of the Derivative of the Prime Counting Function

On the one hand, the Prime Counting Function $\pi_0(x)$ maybe be written $$ \pi_0(x) = \operatorname{R}(x^1) - \sum_{\rho}\operatorname{R}(x^{\rho}) \tag{1} $$ with $ \operatorname{R}(z) = ...
7
votes
0answers
174 views

Problem with differentiation under integral sign

Original problem: I have a problem in which i need to evaluate the integral: $$ \int_1^\infty \dfrac{\sqrt{r^2-1}e^{-\alpha r}}{r} dr\, $$ I have tried to evaluate it taking the $\alpha$ derivative, ...
7
votes
0answers
152 views

Higher Order Derivative Proof .

I would appreciate if someone could check over my proof for this question and advise me if it is correct. My attempt so far; Now as $f$ is k times differentiable , it taylor series about $x_{0}$ ...
6
votes
0answers
25 views

limit of a region of integration in $\mathbb{R}^2$ approaches a line

I am trying to follow the derivation of derivatives in a paper published in some japanese journal but there seems to be a mistake in the proof. I will present the problem in 2D and in 2 variables so ...
6
votes
0answers
43 views

Generalisation of kth derivative to real values of k

The answer to this question is most likely no, but I'm asking anyway: Assume that $f\in C^n(\mathbb {R,R})$. Is their any natural generalisation of the map $$\{1,2,\ldots,n\}\to C(\mathbb{R, ...
6
votes
0answers
95 views

Inverse of a differentiable function equal to its derivative then f is analytic

I've found a nice problem concerning analytic functions. Here it is: Let $f: (0, \infty) \rightarrow \mathbb{R}$ be a function differentiable on $(0, \infty)$ and such that $f^{-1} = f'$. Prove that ...
6
votes
0answers
2k views

Chain rule for matrix - i'm confused

I googled around and searched inside the forum but I'm still confused about a problem. I have 2 matrix functions $f,g : \mathbb{R}^{n \times n} \times \mathbb{R}^{a \times b} \rightarrow ...
5
votes
0answers
79 views

Leibniz integral rule implementation

Can someone please explain to me why the following expression is true? I really tried to figure out how Leibniz integral rule works, but everytime I think I managed to figure out how to implement it, ...
5
votes
0answers
252 views

Partial derivative of a composite function $\mathbb{R}^n \to \mathbb{R}^n$

I am trying to understand a proof but I am stuck on this technical bit: Apart from the small typo highlighted, I don't really see how to get the big formula for the partial derivative of $v_i$ ...
5
votes
0answers
224 views

Closed form expression for constants

We have the constants $c_{k,n}$ defined by : $$c_{k,n}=\frac{d^{k}}{ds^{k}}\left(\frac{e^{\frac{1}{n(ns-1)}}e^{\psi\left(\frac{s-1}{s} \right )}}{s} \right )$$ Where $\psi(s)\;$ is the Digamma ...
5
votes
0answers
652 views

“Simple” proof of Lebesgue's Differentiation Theorem for dimension 1?

Lebesgue Differentiation Theorem for $\mathbb{R}$: Let $f:[a,b]\to \mathbb{R}$ be intergable and $F(x)=\int_a^xf$. Then $F$ is differentiable almost everywhere in $[a,b]$ and $F'=f$ a.e. Is there a ...
5
votes
0answers
461 views

Differentiation under the Integral Sign

Let $X$ be an open subset of $\mathbb{R}$, and $Y$ be a measure space. Suppose that a function $f:X\times Y\rightarrow \mathbb{R}$ satisfies the following conditions: 1.$f(x,y)$ is a measurable ...
4
votes
0answers
49 views

Limit and Taylor Series when non-differentiable

I am stuck on a problem similar to this one. Define $$f(\theta,y)=\frac{g(\theta y)}{\int_0^1 g(\theta x)dx}$$ with $g(0)=0$ and $\lim_{t \to 0}g'(t)=+\infty$. I am interested in $\lim_{\theta \to ...
4
votes
0answers
64 views

Trouble differentiating $\int_1^{x^3}\arcsin(t)dt$

I'm having trouble with an integral problem which goes like this: Differentiate $$\int_1^{x^3}\arcsin(t)dt$$ The rule I know would be that you make $t$ equal to $x^3$ and then use the chain rule to ...
4
votes
0answers
39 views

Prove that the Weierstrass-type function is nowhere differentiable

Given $0<\alpha\leq1$. Show that the function $$f(x)=\sum_{j=1}^\infty 2^{-j\alpha}\sin(2^jx)$$ is nowhere differentiable. I have solved the case $x=0$. Taking $t_l=2^{-l-1}\pi$, then ...
4
votes
0answers
42 views

Find the slope at $t=16$ for $s(t) = $arctan$(\sqrt{t})$

A particle moves along the x axis so that its position at any time when t is greater than or equals zero is $s(t) = $arctan$(\sqrt{t})$. Find the velocity of the particle at $t=16$. The point of ...
4
votes
0answers
219 views

chain rule for derivations

Off we go. So let $b:X\rightarrow Y$ be a function from $X$ to $Y$ endowed with as much structure as it needs to make sense of the question :) and $a:Y\rightarrow \mathbb R$ a function into the reals. ...
4
votes
0answers
34 views

Derivatives of a Dirichlet polynomial

I am new here, so I don't know how this works exactly. If I do something wrong, please let me know. I'd like help to solve a problem I am studying: Let $A$ be finite set of positive integers and ...
4
votes
0answers
59 views

For every $x \in [a,b] , \exists n_x\in \mathbb Z^+$ such that $f^{(n_x) }(x)=0$ ; then to prove $f$ is a polynomial in $[a,b]$

Let $f:[a,b] \to \mathbb R$ be a continuous function having derivatives of all order such that for every $x \in [a,b] , \exists n_x\in \mathbb Z^+$ such that $f^{(n_x) }(x)=0$ ; then how do I show ...
4
votes
0answers
129 views

An a.e.-defined derivative which is not Lebesgue integrable on any interval?

If the derivative $f'$ exists everywhere then it is shown here that there exist intervals on which $f'$ is Lebesgue integrable. But perhaps there is a function $f$ such that $f'$ only exists almost ...
4
votes
0answers
36 views

Distributions and primitives

I was wondering: if distributions are seen as a generalization of functions that "removes obstructions" to the operation of derivation, is there a generalization of functions that would remove any ...
4
votes
0answers
72 views

Equivalence of definitions of $C^k(\overline U)$

let $U$ be an open set of $\mathbb{R}^n$, that contains at least some open set. In Evans book we find the definition $$C^k(\overline U)=\{f \in C^k(U): D^\alpha f \text{ is uniformly continuous on ...
4
votes
0answers
398 views

Uniform Differentiability

Let $f:\mathbb{R}^n \to \mathbb{R}$ be differentiable and such that $\nabla f$ is uniformly continuous. Show that $f$ is uniformly differentiable; that is, for any $\epsilon >0$, there is a $\delta ...
4
votes
0answers
175 views

Green's function for third order boundary value problems

How to find the Green's function $G(t,x)$ for the BVP consisting of the equation : $$u'''(t)=0 , \quad t\in (0,1)$$ and BC : $$u(0)=u'(p)=\int_q^1 w(s)u''(s) ds =0 $$ where $\frac12 < ...
4
votes
0answers
43 views

If $D:A\to A$ is a derivation, what can be said about the range of $D$?

What can be said about the relation between the domain and range of a derivation as a function? If $A$ is the domain, any space of functions, what does $D(A)$ look like, where $D$ is a derivation? ...
4
votes
0answers
39 views

Is $H^{\alpha}_{ij,k}=H^{\alpha}_{ik,j}$ for submanifolds in $R^n$?

Consider $\Sigma^n\subset {\bf R}^{n+p}$ a submanifold and $\{e_i, e_\alpha\}$ an orthonormal frame where the Greek indexes stand for the normal vectors. Then define $H^{\alpha}_{ij,k}=e_k\langle ...
3
votes
0answers
51 views

Problem about $\lim \limits_{x \to c} f'(x) = l $ implies $f'(c) = l$

I found this problem in a paper. Let $f$ be a function differentiable on $(a, b)$ except possibly at $c \in (a, b)$. Suppose that $\lim \limits_{x \to c} f'(x) = l \in \Bbb R$. Prove that $f$ is ...
3
votes
0answers
27 views

Is there a differentiable function on a closed subset of $\mathbb{R}^n$ that cannot be continued differentiably on an open superset?

Let $A \subseteq \mathbb{R}^n$ be closed with no isolated points and $f:A \to \mathbb{R}^m$. Suppose that for every point $x_0 \in A$ we have (at least one) matrix $L_{x_0}$ such that $$ \lim_{x,y \to ...
3
votes
0answers
68 views

Show that such an $f$ cannot exist

Suppose $f:\mathbb R^n\to\mathbb R$ is a scalar field, such that for a given vector $a\in\mathbb R^n$ and any $y\in\mathbb R^n-\{0\}$ we have, $f'(a;y)>0$. Show that such a function $f$ cannot ...
3
votes
0answers
72 views

Differentiating an endomorphism

Let $(M,\rho)$ be a symplectic $2$-dimensional manifold, and let $J$ be a compatible complex structure on $M$, i.e. the symmetric $(0,2)$-tensor $$g(*,*) = \rho(*,J*)$$ is a Riemannian metric. Denote ...
3
votes
0answers
163 views

Using a sequence of measures to create simple functions which approximate the Radon-Nikodym derivative of the limiting measure

I have a bunch of discrete probability measures with finite support: $\mu_1,\mu_2,\dots$, which strongly converge to an absolutely continuous probability measure $\mu$ in $\mathbf{R}^2$. That is, for ...
3
votes
0answers
33 views

Bounds of the derivatives of the mollifier function

The standard mollifier function is defined by the following formula $$f(x)=\begin{cases}0, & |x|\ge 1,\\ \exp(-\cfrac{1}{1-x^2}), & |x|<1.\end{cases}$$ It is well known that $f$ is ...
3
votes
0answers
79 views

I can't find the critical points for this function. I showed my work :)

So, I have to find Critical Points of $y=\frac{1}{(x^3-x)}$ I know the derivative. Derivative = $(3x^2-1)/(x^3-x)^2$ To find Critical Points I equal to $0$. $x=1/\sqrt3$ and $x=-1/\sqrt3 $ But ...
3
votes
0answers
80 views

40th derivative of a function

I would like to have some verification to see if my answer is correct. The given function is $f(x)=ln(1+x^2)$ and I need the 40th derivative at $x=0$. Here is my work: Using series one can manipulate ...
3
votes
0answers
54 views

Derivative of a linear basis function over a moving mesh

Given a moving mesh $0=x_0(t)<x_1(t)<\cdots<x_N(t)<x_{N+1}(t)=1,$ where $t$ denotes the current time so that the mesh is moving with time. The linear basis function is then defined as ...
3
votes
0answers
50 views

How can we show that the functions are differentiable?

Show that the following functions $$f(x, y)=\frac{xy}{\sqrt{x^2+y^2}} \\ f(x, y)=\frac{x^2y}{x^4+y^2}$$ are differentiable at each point of the domain. Determine which of them is $C^1$. $$$$ The ...
3
votes
0answers
31 views

Proof of Lipschitz continuous

Wikipedia says that an everywhere differentiable function g : R → R is Lipschitz continuous (with K = sup |g′(x)|) if it has bounded first derivative. How to prove that?
3
votes
0answers
67 views

If $f$ is differentiable at $x_0$, then $\lim_{h\rightarrow 0}(f(x_0 + ah) - f(x_0))/h = af'(x_0)$

If $f$ is differentiable at $x_0$ and $a\in \mathbb R$, show that $ \lim_{h\rightarrow 0} {f(x_0 + ah) - f(x_0) \over h} = af'(x_0)$ EDIT Suppose $u = ah $ then $ h = a/u$. So now we have $$ ...
3
votes
0answers
68 views

Can this summation be expressed differently?

Lets say I have a sum that states the following $$ \sum_{j=0}^{k-c} {k-c \choose j}\ln(a)^{k-c-j} \frac{d^j}{dx^j}[(x)_c] $$ where $(x)_c$ is the falling factorial such that $$ (x)_c = ...
3
votes
0answers
64 views

If $\overline f=f-f'(a)$ then how is $\overline {f'(a)}=0$?

Below is the definition of a function being differentiable at a point, given in my notes: A function $f:A \rightarrow Y$ is said to be differentiable at $a \in A$ if there is a linear map $T \in ...
3
votes
0answers
66 views

Normalize gradient

I want to minimize a function $f \, : \, \mathbb{R}^{N} \, \longrightarrow \, \mathbb{R}$ (with $N \in \mathbb{N}^{\ast}$. In my problem, $N = 315$). I know that $f$ is differentiable on ...
3
votes
0answers
121 views

Proving $f'(x)<0$ using sequential criterion of limit.

I'm trying to prove the following: Let $f:\mathbb R\rightarrow\mathbb R$ be a function twice differentiable such that $\forall x\in \mathbb R , f(x)>0$ $\forall x\in \mathbb R , f''(x)>0$ ...
3
votes
0answers
65 views

Roots of derivative of q-expontial function

Let the q-deformation of the exponential function be defined by $$ e_q(z)=\sum_{n=0}^\infty{\frac{z^n}{[n]_q!}}. $$ Eq. (1.8) of this paper provides the product representation $$ ...
3
votes
0answers
50 views

Strange things on WolframAlpha: derivation, modulo and doubling result

I asked WA what is the derivative of $\frac1{\cos((x \bmod \pi/2)-\pi/4))}$ equal to for $x=0$. A very strange result came out. The exact result is $-\sqrt2 \mathsf{Mod}^{(1,0)}(0,\frac\pi2)$, ...
3
votes
0answers
91 views

Proof regarding derivatives and Mean Value Theorem.

Original question: $f$ is continuous on $[a,b]$ and differentiable on $(a,b)$. Show that for any $c \in (a,b)$ that is not a point of maximum or minimum for $f'$, there exist $x_1, x_2 \in (a,b)$ ...
3
votes
0answers
42 views

Prove the following expression is true.

Let $x_1,...,x_{n+1}$ be arbitrary points in $[a,b]$ and let $$Q(x)= \prod\limits_{i=1}^{n+1} (x-x_i)$$Now suppose $f$ is an n times differentiable function and tha P is a polynomial function of ...
3
votes
0answers
140 views

The second derivative as a limit

It is well-known that if $f$ is twice differentiable at $a$, then $$ f''(a) = \lim_{h\to 0} \frac{f(a+2h)-2f(a+h) + f(a)}{h^2}. $$ See e.g. this question or this question. On the other hand, the ...
3
votes
0answers
109 views

Taylor Expansions in Spherical Coordinates (Generator of Rotations)

We can expand a smooth function $f:\mathbb{R}^3\to \mathbb{R}$ in a Taylor series: $$f((x^1,x^2,x^3)+(h^1,h^2,h^3))=f(x^1,x^2,x^3)+h_i\frac{\partial f}{\partial x^i}+h_ih_j\frac{\partial^2 f}{\partial ...
3
votes
0answers
48 views

Integration over time by having derivation

Assume we want to find the following integration: \begin{equation}\int_{t=0}^{\infty} p(t)dt\end{equation} where $p(0)=p$ and also $$\frac{dp(t)}{dt}=-p(t)(1-p(t))\mu$$. Is there any easy way to ...
3
votes
0answers
54 views

A vector analysis question requiring multivariable calculus

The question is taken from a Vector-Analysis worksheet as an extension exercise, here is the first part: Let $\underline{v}$ be a vector field $\mathbb{R}^{2} \backslash (0,0)$ of the form ...