Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2010

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: How to assume that a function is positive?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg114359] Re: How to assume that a function is positive?
  • From: Valeri Astanoff <astanoff at gmail.com>
  • Date: Thu, 2 Dec 2010 05:38:38 -0500 (EST)
  • References: <id2emr$d88$1@smc.vnet.net> <id4sff$cbo$1@smc.vnet.net>

On Dec 1, 8:11 am, "Kevin J. McCann" <Kevin.McC... at umbc.edu> wrote:
> How about
>
> (f[x + y]^2)^(1/2)//PowerExpand
>
> Kevin
>
> On 11/30/2010 4:04 AM, Sam Takoy wrote:
>
>
>
> > Hi,
>
> > Who do I let Mathematica know that a function f is positive for all
> > arguments? For example, how do I make the following work (I think my
> > intention is clear):
>
> > Assuming[f[x]>  0, (f[x + y]^2)^(1/2) // Simplify]
>
> > Many thanks in advance,
>
> > Sam- Hide quoted text -
>
> - Show quoted text -


Sometimes PowerExpand doesn't suffice :

In[1]:= pos[fun_, ex_] := And @@ (fun[#] > 0 & /@
 (Identity @@@ Extract[ex, Position[ex, fun[__]] ]) )

In[2]:= z = (Abs@f[x + y]^2)^(1/2) + (f[x]^2)^(1/2);

In[3]:= Assuming[pos[f, z], z // Simplify]

Out[3]= f[x] + f[x + y]


In[4]:= z // PowerExpand

Out[4]= Abs[f[x + y]] + f[x]

--
Valeri


  • Prev by Date: Re: How to evaluate the Laplacian of a function as a
  • Next by Date: Re: Simultaneous equation solve taking ages
  • Previous by thread: Re: How to assume that a function is positive?
  • Next by thread: Re: How to assume that a function is positive?