# Questions tagged [derivations]

A derivation on a ring 𝑅 is a map 𝐷:𝑅→𝑅 satisfying 𝐷(𝑎+𝑏)=𝐷(𝑎)+𝐷(𝑏) and 𝐷(𝑎𝑏)=𝑎𝐷(𝑏)+𝐷(𝑎)𝑏.

77
questions

-1
votes

0
answers

24
views

### functions from a higher dimension to lower can be injective? [migrated]

of course not.But how to prove it? assuming f is of class C^1
I tried to use implicit function theorem and some others,, but i couldnt make it.

3
votes

2
answers

110
views

### Subdifferential of a convex function admits a continuous selection

Let $F$ be a continuous convex function on $\mathbb{R}^n$.
If the subdifferential $\partial F(x)$ of $F(x)$ admits a continuous selection, for every $x \in \mathbb{R}^n$, does it mean that $F$ is ...

2
votes

0
answers

141
views

### Applications of the theory of derivators to constructing cone functors

One of main reasons that the theory of derivators was introduced is to fix the non-functoriality of the cone construction of triangulated categories. I know that today derivator theory is broad and ...

1
vote

1
answer

88
views

### Adjoint sensitivity analysis for a cost functional under an ODE constraint

I am trying to recover the result given by equation 10 in the article here. I am unable to get rid of the integral, any help would be much appreciated. To keep the description as self contained as ...

0
votes

1
answer

74
views

### Derivative in Sobolev space extended by zero

Let $u(x) \in H^1_0$ is a complex function in sobolev space extension by zero.
How to find $J'(u)$ for
$$
J(u)= \int\limits_0^l |u(x)|^2\operatorname{d\!}x\;??
$$
In $L_2$ it's easy:
$$
J'(u) = \left(\...

7
votes

0
answers

148
views

### What is the relationship between higher-order derivations (in the sense of Hasse-Schmidt) and differential operators?

Let $A$ and $B$ be $R$-algebras. A Hasse-Schmidt $m$-derivation $D : A \to B$ is a tuple $(D_0, D_1, \dots, D_m)$ of $R$-linear maps $A \to B$ satisfying the generalized Leibniz law,
$$ D_k(xy) = \...

0
votes

0
answers

159
views

### A zoo of derivations

Recall that given a $k$-algebra $A$, a derivation on $A$ is a $k$-linear morphism $d:A\to A$ such that $$d(ab)=d(a)b+ad(b).$$
The use of derivations is of paramount importance in mathematics. I think ...

0
votes

0
answers

20
views

### About extending maps to semi derivations

Let consider a map $d: X \to P$, where $X$ is a generating set of $P$ and $(P,\cdot, \{,\})$ is a free Poisson algebra. How can we extend $d$ to a semi derivation map from a subalgebra $P$ to $P$? By ...

0
votes

0
answers

30
views

### Confusion in notation of representation of Bastiani derivative

In the paper "Properties of field functionals and characterization of local functionals" at page 5 the Authors give the following definitions
Definition II.2. Let $U$ be an open subset of a ...

1
vote

0
answers

34
views

### Differential of tensor product of maps

Let $G$ be a Poisson-Lie group with Poisson bivector field $\pi.$ Let $\pi^{R}$ be the trivialization of $\pi$ with respect to the right translations i.e. $$\pi^{R} (g) = (d_{g} R_{g^{-1}} \otimes d_{...

4
votes

1
answer

290
views

### Why Gateaux derivative is a distribution?

Thanks to Jan Bohr answer and comment I edited this question.
Let $E$ be a vector bundle , $E^*$ the dual bundle and $D$ a density bundle. Denote by $\Gamma(E)$ the space of section of the bundle $E$....

3
votes

1
answer

348
views

### Is there an analogue of the module of differentials for "higher order derivations" in the Hochschild/cyclic senses?

Note added by YC: the definition below of the cyclic sub-complex is incorrect; and the "higher order derivations" referred to here are traditionally known (since the 1940s) as n-cocycles.
$\...

2
votes

0
answers

85
views

### Gradient of QZ decomposition

Let $A$ and $B$ be an $m \times n$ matrix of rank $ k_1 \le \min(m,n) $ and $ k_2 \le \min(m,n) $. Then the QZ decomposition or the generalized Schur decomposition is $A = USV^T$ and $B = UTV^T $, ...

2
votes

0
answers

88
views

### Jacobi formula for matrices: variations

Jacobi’s formula says: $\frac{d}{dt}\text{det}(A(t))=\text{det}(A(t)) \cdot \text{tr}(\text{Ad}(A(t))\cdot\frac{d}{dt}(A(t))$.
Exists maybe a variation of the Jacobi’s formula where $\text{det}(\frac{...

3
votes

0
answers

139
views

### Jacobian-like conjecture about the derivations of a polynomial algebra

Let $A = k[x_1,\ldots, x_n]$ be a polynomial algebra over a field of characteristic $p$.
Let $Der_k(A)$ denote the Lie algebra of derivations of $A$.
As we know, the Jacobian conjecture provides a ...

5
votes

0
answers

138
views

### Generalized commutator

A well-known generalization of the commutator for operators is the so-called q-commutator defined as
$$[A,B]_q=AB-qBA.$$
I was wondering if the case where $q$ is not a number but other operator has ...

5
votes

1
answer

151
views

### Finding non-inner derivations of simple $\mathbb Q$-algebras

What's a good example of a simple algebra over a field of characteristic $0$ which has a non-inner derivation but also has the invariant basis number property (IBN)?
I'm under the impression that when ...

1
vote

1
answer

211
views

### Hessian matrix of vectorized matrix product

I need to find the Hessian Matrix of $f(X,Y) = C \operatorname{vec} (A X^{-1} Y)$ where $C$ and $A$ are constant matrices and $X$ and $Y$ are the variable matrices. This would be a vector function of ...

2
votes

1
answer

82
views

### Subgradient of a convex integral

I have an integral to minimize that writes like $$F: \mathbb R^d \to \mathbb R: \theta \mapsto \int_{[0,1]^d} f(\langle x,\theta\rangle) dx$$.
The function $f$ is a convex function, which makes $F$ a ...

1
vote

0
answers

108
views

### Simple proof of the equivalence between two definitions of étale

This question shouldn't be too hard to answer, but I'm looking for the most streamlined approach.
Let $K$ be a field and let $L$ be a finite dimensional field extension of $K$. I am interested in two ...

3
votes

1
answer

190
views

### Derivative of an integral of a Gaussian

I'd like to compute the derivative of an expected value w.r.t one of the parameters that define the mean of a Gaussian:
$ Z=\int \mathcal{N}(x;\mu,\Sigma)f(x) \, dx $, then $ \frac{dZ}{dK}=\text{??}$ ...

2
votes

0
answers

91
views

### Lie derivations of algebra of smooth functions in a symplectic manifold

Let $(M,\omega)$ be a finite-dimensional symplectic manifold. The algebra $C^\infty(M)$ of smooth functions is a Poisson algebra. Derivations $D : C^\infty(M) \to C^\infty(M)$ of the Poisson ...

1
vote

1
answer

245
views

### Partial derivative of the heat kernel

I happen to have the heat kernel on the two-dimensional hyperbolic space and I need to take partial derivatives in order to check that it satisfies the heat equation as expected. The problem is I can ...

0
votes

1
answer

156
views

### Solution of this differential equation [closed]

I wonder if it is possible to solve analytically the following equation
$$
\dot{\alpha}_t = -\frac{2}{m} \alpha^2_t + \frac{1}{2m} (\alpha_t - \alpha_t^*)^2
$$
Where $\alpha_t$ is a complex function, $...

1
vote

0
answers

51
views

### Proving convexity of total distance between two parties with one meeting point [closed]

Apologies if I´m not using the correct mathematical wording or notation. I´ll try my best in the following problem
Suppose you have a coordinate system and 5 coordinates ($A1$, $A2$, $B1$, $B2$, $M_{x,...

1
vote

0
answers

61
views

### Derivative of a function of ordered variables

Can I differentiate
$$(\pmb{y}^o - (\pmb{x}\cdot\pmb{a})^o)^\top(\pmb{y}^o - (\pmb{x}\cdot\pmb{a})^o)$$ with respect to $\pmb{a}$? (I want to minimize the expression with respect to $\pmb{a}$.)
Here, $...

1
vote

1
answer

99
views

### Derivatives and exponential derivatives quotient operators on two variables

I consider for example the following function of two variables given by
$$f(x,y)=\sum_{n=0}^{+\infty}\frac{\delta_{x}^{-m} \exp(\delta_{x})}{\delta_{y}^{-m}\exp(\delta_{y})}\left(\frac{x}{y}\right)^{n}...

1
vote

0
answers

236
views

### A characterization of the integral

Let $I(f)$ be an endomorphism of the smooth functions with zero value in zero such that:
$$\ln[1+I(f)]=I\left(\frac{f}{1+I(f)}\right).
$$
Then, does it exist $g$ smooth such that:
$$I(f)(x)=\int_0^x f(...

6
votes

0
answers

375
views

### Global sections of canonical line bundle on projective curve with everywhere vanishing derivative

Let $k$ be an algebraically closed field of positive characteristic $p$, $C$ be a curve (projective, non-singular, connected) of genus $g\geq 2$ over $k$ and $\omega \in H^0(C, \Omega_C)$ be a regular ...

1
vote

2
answers

311
views

### On solvability of equation $D(x)=1$ where $D:A\to A$ is a bounded outer derivation on a $C^*$ algebra

Let $A$ be a unital $C^*$ algebra. Assume that $D:A\to A$ is a bounded derivation.
Can one say that $1$ can not be in the image of $D$?
If the answer is no:
What is a counter example? What kind of $...

1
vote

0
answers

85
views

### Derivation in Sobolev space [closed]

Let $f\in W^{1,\infty}(]0,T[)$ $(0<T\le\infty)$ such that
$f(x)>0$ a.e. $x\in\mathopen]0,T[$ and let
$$g(x)=e^{-\int_0^x \frac{ds}{f(s)}}$$
Formally $g' = -\frac{1}{f}g$.
How can I justify this ...

5
votes

1
answer

81
views

### Reference for a certain derivation on the ring of ordered series over a free monoid

Let $R$ be a (commutative or non-commutative) unital ring, $X$ be a non-empty set, and $R \langle\! \langle X \rangle\! \rangle$ be the ordered series ring (in fact, a ring of formal power series over ...

0
votes

1
answer

213
views

### Prove or disprove: A differentiable function $f$ is always non-negative with this condition

I want to prove that a differentiable function $f: [0,\infty) \rightarrow \mathbb{R} $, which satisfies the following condition is always non-negative:
Assume $f(0)=0$ and whenever $f(a)=0$, then $f'(...

1
vote

1
answer

236
views

### Example of a differentiable function optimization where derivative free methods are used

While preparing a workshop on the derivative free methods, and fminsearch in MATLAB, I found an example function where fminsearch converges better and in less iterations than fmincon with calculated ...

6
votes

3
answers

2k
views

### A question on fractional derivatives

I know practically nothing about fractional calculus so I apologize in advance if the following is a silly question. I already tried on math.stackexchange.
I just wanted to ask if there is a notion of ...

2
votes

1
answer

272
views

### What is the derivative of $1/g$ in a differential semiring?

Let $(S,+,\cdot)$ be a semiring; a derivation on $S$ is a map $\partial : S \to S$ that is linear and Leibniz, in the sense that
It is a semigroup homomorphismm with respect to $+$;
$\partial(a\cdot ...

4
votes

1
answer

210
views

### Left- (right-) multiplications of an algebra that are derivations

Let us say that $A$ is a (finite-dimensional) algebra over a field of characteristic zero. We can assume commutativity
but not associativity, if that makes it easier. Indeed, I am mostly interested in ...

6
votes

0
answers

219
views

### Derivations for symmetric functions

A symmetric function is a formal power series in infinitely many variables $x_1,x_2,\dots$ invariant under the permutation of variables (as opposed to a polynomial). Let $\Lambda$ denote the algebra ...

0
votes

1
answer

191
views

### Is it true that $g-t$ is divisible by $f$?

Assume $f\in k[x_1,\ldots, x_n]$ is irreducible. Let for $g\in k[x_1,\ldots, x_n]$, $\partial(g)$ is divisible by $f$ for each derivation $\partial$ with $f\in\ker\partial$. Is it true that $g-t$ is ...

4
votes

0
answers

174
views

### Question about basis of $\text{Der}_{k}(k[X])$

Let $k[X] = k[x_1,\ldots, x_n]$ be the polynomial ring over a field of characteristic zero.
Assume that $(D_1,\ldots, D_n)$ is a $k[X]$-basis of $\text{Der}_k(k[X])$. Suppose that the vector space $\...

5
votes

1
answer

266
views

### Sufficient conditions for $\mathrm{Der}_k(A)$ to be f.g. projective

Let $k$ be a field and $A$ a commutative $k$-algebra. What are sufficient conditions for the module of derivations $\mathrm{Der}_k(A)$ to be finitely generated projective?
I'm looking for conditions ...

2
votes

1
answer

166
views

### Derivations of differential operators

For a smooth affine variety $\operatorname{Spec} A$ over a ring $R$ we have an algebra of differential operators $\mathcal{D}_A$ (here I mean not the Grothendieck differential operators but PD-ones). ...

4
votes

1
answer

169
views

### Categorical Kähler differentials and the Leibniz rule

From nlab, the module of Kähler differentials over some category $\mathcal{C}$ is the free functor:
$$\Omega: \mathcal{C} \to \mathsf{Mod_{\mathcal{C}}}$$
left-adjoint to the (forgetful) embedding:
$$...

11
votes

2
answers

911
views

### The relation between t-structures and derived category

Let $\mathcal{D}$ be a triangulated category and a $t$-structure $(\mathcal{D}^{\leq 0},\mathcal{D}^{\geq 0})$ on $\mathcal{D}$. The heart of the $t$-structure, $\mathcal{A}=\mathcal{D}^{\leq 0} \cap ...

6
votes

0
answers

90
views

### Kac-Moody Lie algebra as derivations of associative algebras

The set of derivations of an algebra $\Bbb A$ forms a Lie algebra. This is one aspect of why Lie algebras are interesting. When $\Bbb A$ is polynomial algebra in $n$ variable then $\text{Der } \Bbb A$ ...

14
votes

2
answers

727
views

### Does any derivation of commutative algebra preserve its nil-radical?

Given a commutative associative unital algebra over a field of characteristic zero.
Is it true that any derivation of it preseves its nil-radical?
More explicitly, let $D$ be a derivation of an ...

4
votes

1
answer

221
views

### Characterizing the Haagerup property of finite von Neumann algebras via unbounded derivations

A correspondence $_{N} H_{N}$ is a Hilbert space with two normal commuting left/right representations of $N$ in $B(H)$. The following characterization of property (T) for finite von Neumann algebras ...

2
votes

1
answer

409
views

### Katz's paper on $p$-curvature – help with proof understanding

I am studying N. Katz's paper "Nilpotent connections and the monodromy theorem: applications of a result of Turrittin" where I found a fairly good account on $p$-curvatures.
I don't understand the ...

1
vote

1
answer

210
views

### The derivative of a filter with respect to a output signal [closed]

I have two signals, $d(t)$ and $p(t)$, respectively the input and the output of the matching filter $w(t)$, i.e.
$$
d(t)*w(t)=p(t)
$$
where $*$ denotes convolution.The impulse response $w(t)$ may be ...

3
votes

1
answer

169
views

### How to prove monotonicity of such function?

Let $0<a \le 1, \alpha<0$ and $\beta>0$. How to prove that the function:
$$f(x)=\frac{(\Gamma(a)-\Gamma(a,\alpha \ln(\beta x))) (\alpha\ln(x))^a}{(\alpha\ln(\beta x))^a (\Gamma(a)-\Gamma(a,\...