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.
- 1
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 ...
- 33
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 ...
- 486
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 ...
- 55
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(\...
- 3
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) = \...
- 2,799
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 ...
- 367
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_{...
- 179
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.
$\...
- 9,575
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 $, ...
- 61
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{...
- 83
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 ...
- 309
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,458
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 ...
- 11
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 ...
- 653
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 ...
- 4,576
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{??}$ ...
- 43
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 ...
- 32.4k
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 ...
- 163
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,...
- 11
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, $...
- 133
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}...
- 159
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(...
- 377
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 ...
- 445
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 $...
- 285
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 ...
- 19
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 ...
- 9,284
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'(...
- 11
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 ...
user168611
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 ...
- 12.4k
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 ...
- 4,646
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 ...
- 1,849
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 ...
- 309
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 $\...
- 281
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 ...
- 5,270
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). ...
- 223
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:
$$...
- 1,402
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 ...
- 538
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$ ...
- 1,199
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 ...
- 20.4k
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 ...
- 1,070
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 ...
- 299
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 ...
- 13
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,\...
- 395