Zulip Chat Archive
Stream: Is there code for X?
Topic: Products of iterated derivatives
Moritz Doll (Nov 16 2022 at 11:42):
I know that we do not have the product rule for the iterated derivative, but do we have the abstract nonsense to write the RHS of that, i.e., the product of two continuous multilinear maps? docs#continuous_multilinear_map.prod is obviously not what I want
Anatole Dedecker (Nov 16 2022 at 14:37):
I don’t have a ton of time to investigate, but let me just say that I would express this "product rule" for any continuous bilinear map, and then the right thing to do is to make a iterated version of docs#continuous_linear_map.precompL and docs#continuous_linear_map.precompR that Floris introduced for computing the derivative of a convolution
Last updated: Dec 20 2023 at 11:08 UTC