Re: D under Sum
- To: mathgroup at smc.vnet.net
- Subject: [mg128400] Re: D under Sum
- From: Roland Franzius <roland.franzius at uos.de>
- Date: Sat, 13 Oct 2012 01:02:59 -0400 (EDT)
- Delivered-to: l-mathgroup@mail-archive0.wolfram.com
- Delivered-to: l-mathgroup@wolfram.com
- Delivered-to: mathgroup-newout@smc.vnet.net
- Delivered-to: mathgroup-newsend@smc.vnet.net
- References: <k55olv$eb3$1@smc.vnet.net>
Am 11.10.2012 08:23, schrieb Nicolas Venuti:
> Hello
>
> I want the derivation D to be applied under the Sum sign,
> I have a function HoldSum that do not evaluate but is similar to Sum in form
>
> In[3]:= D[HoldSum[p*i, {i, 1, n}], p]
>
> I get the output :
>
> Out[3]=i*HoldSum^(1, {0, 0, 0})[i p, {i, 1, n}]
>
> but I would want that D be applied under the Sum sign like done by hand here :
>
> In[5]:= HoldSum[D[p i, i], {i, 1, n}]
>
> Out[5]= HoldSum[p, {i, 1, n}]
>
> Obviously I want D to work for any expression containing HoldSum (even on nested HoldSum expression)
>
> Does anybody knows how to do that ?
As you have observed already, manipulating expressions in sums and
integrals with respect to the summation variable seems to be
mathematical nonsense, because the name of the domain construct is local
and the sums are constants with respect to them.
A path to implemt your goal is, as in functional and fourier analysis as
well as quantum maechanics, to switch to a general context of a domain
space with a fixed variable name and apply transformation rules to the
abstract sum term together with the domain list.
The container "List" suffices to implement the two main operations,
that make up the Heisenberg algebra on the space of eg
{summand,{i,0,inf}}
constructs:
Applying a function f of two variables f: {i,term} ->f[i,term]
apply[f_][{summand_,domain_List}] := {f[domain[[1]],summand],domain}
and derivaitve with respect to the summation variable
derivative[{summand_,domain_}]:={D[summand,domain[[1]]],{domain}}
Evaluation of sums and integrals is considered as a linear operation
sending the List to the domain of values ot the terms
eval{[term_,domain_List}]:= Sum[term,domain]
Logically, after symbolic evalutation the result is considered as a
number. Numbers cannot be changed by manipulation of the summation term,
even if evaluation result does not yield a number. With the exception of
identical and simplifying transformations.
The last case is of course a theme in the Mathematica simplification
process because resummation technique requires complex replacements of
summation term and the domain construct in unevaluated sums and
integrals with fixed summation domains.
--
Roland Franzius