How does distributional derivatives work in the context of linear mappings?

  • Context: Graduate 
  • Thread starter Thread starter Kalidor
  • Start date Start date
  • Tags Tags
    Derivatives
Click For Summary

Discussion Overview

The discussion centers on the concept of distributional derivatives in the context of linear mappings, exploring when these derivatives coincide with classical derivatives. Participants examine definitions, interpretations, and implications of distributional derivatives, particularly in relation to linear functions and operators.

Discussion Character

  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • Some participants inquire about the conditions under which distributional derivatives and classical derivatives coincide, suggesting that differentiability is necessary but questioning what additional conditions may apply.
  • One participant proposes that the question can be reframed in terms of whether a distribution is also a test function, indicating a potential distinction between the two concepts.
  • A participant introduces the definition of the distributional derivative in the context of Fréchet derivatives on normed linear spaces, noting that the limit condition resembles that of the Jacobian in finite-dimensional spaces.
  • Another viewpoint suggests that if the mapping is linear, the distributional derivative aligns with the mapping itself, drawing an analogy to linear functions in elementary calculus.
  • Participants highlight the complexity of notation and the variety of operators on function spaces, indicating challenges in consistently expressing these concepts.

Areas of Agreement / Disagreement

Participants express uncertainty regarding the precise conditions for the equivalence of distributional and classical derivatives, and multiple interpretations of the question are presented without reaching a consensus.

Contextual Notes

Limitations include the potential ambiguity in definitions of distributional derivatives and the varying interpretations of linear mappings and operators. The discussion does not resolve these ambiguities.

Kalidor
Messages
68
Reaction score
0
When do derivatives in the sense of distributions and classical derivative coincide?
Of course f needs to be differentiable. What else? Any reference?
 
Physics news on Phys.org
Kalidor said:
When do derivatives in the sense of distributions and classical derivative coincide?
Of course f needs to be differentiable. What else? Any reference?

If by "derivatives in the sense of distributions" you simply mean "derivative of
a distribution", then... well... the space of test functions is a subspace of the
space of distributions so the question becomes "is this distribution also a test
function, or not?"

Sorry if this answer sounds obscure, but I'm not really sure what you're asking.
You could maybe try the Wiki page on distributions:

http://en.wikipedia.org/wiki/Distributional_derivative

to get some more background which might help you rephrase your question
more clearly...
 
The distributional derivative can be defined in terms of a Fréchet derivative on general normed linear spaces.

For a mapping f from one normed linear space to another, the derivative T at an element x in the domain is the linear operator with the same domain and range that satisfies

limδ→0 sup0<||h||<δ || Th - ( f(x+h) - f(x) ) || / ||h|| = 0

if the limit exists.

If the domain and range are real finite-dimensional vector spaces, this is exactly the Jacobian.

If the domain and range are both the real numbers, this is the familiar derivative of elementary calculus.

This is not the complex derivative though!

Hope that helps!
 
A different interpretation of your question:

For what distribution is the distributional derivative the same as the elementary derivative of a given function?

Observe that in the above formula for the distributional derivative, if the mapping f is linear, then T is the same as f. (The elementary calculus analog is: if the function is linear, f(t) = at for some number a, then the derivative is a.)

In particular, the derivative operator d/dt is a linear mapping defined on spaces of differentiable functions. So the distributional derivative of the derivative operator, acting on a function g, is the derivative of g. In this sense, the derivative operator is the only mapping with this property.

This is hard to grasp, I know. It took me a long time, and lots of work.

The main issues are:
1) the distributional derivative acts on operators on the function space.
2) there are an awful lot of operators on function spaces in common use, and the standard notations for them is very scattered. I mentioned differential operators, but there are also pointwise multiplication, convolution, inner product, integral operators (these are all linear ones!) and then you get into the nonlinear ones... such as multiplying a function by itself pointwise etc etc. It's hard ot devise a consistent notation.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K