Maximization of |F|^2 with Constraints on Real Inputs

  • Context: Graduate 
  • Thread starter Thread starter NaturePaper
  • Start date Start date
  • Tags Tags
    Maximization
Click For Summary

Discussion Overview

The discussion revolves around maximizing the squared modulus of a complex-valued function F with respect to real inputs, under certain constraints. Participants explore the conditions for critical points and the implications of differentiability in this context.

Discussion Character

  • Exploratory
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • One participant seeks help in maximizing |F|^2 with respect to real variables x_i, questioning the appropriate set of constraints.
  • Another participant suggests that the condition for critical points can be expressed as ∂|F|/∂x_i = 0 for all i, arguing that |F| can be treated as a real-valued function.
  • Some participants note that finding critical points does not differentiate between maxima, minima, and saddle points, and mention the necessity of analyzing the Hessian for further classification.
  • A participant expresses interest only in the condition for critical points, assuming |F| has a maximum, and questions if the gradient condition is sufficient.
  • Another participant confirms that if the function is continuously differentiable, the gradient condition holds.
  • A participant raises concerns about the difficulty of checking differentiability and mentions the absence of singularities in the function's domain.
  • One participant poses a question about the equivalence of maximizing |F| and maximizing U^2 + V^2, where F = U + iV, and whether U and V can be assumed to be non-negative in the critical point conditions.

Areas of Agreement / Disagreement

Participants express differing views on the conditions necessary for critical points and the implications of differentiability. There is no consensus on the equivalence of the maximization problems or the assumptions regarding U and V.

Contextual Notes

Participants acknowledge the complexity of the problem, including the need for differentiability conditions and the potential for singularities, which remain unresolved.

NaturePaper
Messages
70
Reaction score
0
Will anyone please help me to solve the problem:

F(x_1,x_2,...,x_n) is a complex valued function and each x_i are real (may be positive too) numbers.

I have to find the maximum of |F| (or |F|^2) w.r.t. x_i.

What are the set of constraints? I don't think it will be exactly as
[tex]\frac{\partial |F|}{\partial x_i}=0[/tex]

Please provide some helpful reference.

Thanks and Regards.
 
Physics news on Phys.org
Some friends told me that it was correct and the set of constraints are
[tex]\frac{\partial |F|}{\partial x_i}=0,\quad \forall i=1(1)n.[/tex]

The reason they provides is that we can always consider [tex]f=|F|[/tex] as a real valued function from
[tex]\mathbfl{R}^n\to \mathbfl{R}[/tex]

Please clarify me.
 
You're partially correct. Finding the critical points will not distinguish between max, min, and saddle points. The technical way to do it is to find the Hessian and show that it's negative definite. Although given the level of the original post, that may not mean much.
 
zhentil said:
You're partially correct. Finding the critical points will not distinguish between max, min, and saddle points. The technical way to do it is to find the Hessian and show that it's negative definite. Although given the level of the original post, that may not mean much.

Thanks for the reply.
I'm only interested in the condition for critical point (Let me assume that it is given that |F| has a maximum)-and I don't need to check the characteristic of the critical point (saddle point/maxima/minima).
Is it correct what I said [ GRAD(|F|)=0 is the condition for critical points ] in this case?

Please, clarify me.
 
NaturePaper said:
Thanks for the reply.
I'm only interested in the condition for critical point (Let me assume that it is given that |F| has a maximum)-and I don't need to check the characteristic of the critical point (saddle point/maxima/minima).
Is it correct what I said [ GRAD(|F|)=0 is the condition for critical points ] in this case?

Please, clarify me.
If your function is continuously differentiable, then yes.
 
zhentil said:
If your function is continuously differentiable, then yes.
@zhentil,
OOps...its very difficult to check the differentiability etc..(a generalized multidimensional form of Cauchy-Riemann equations are to be satisfied etc..). For my case, the function has no singularity in its domain of definition.

@thornahawk (GP)

My problem is :
[tex]\max_{|x_i|\le k_i}|F(x_1,x_2,...,x_n)|[/tex] where F is a given complex function (means [tex]F:\mathbf{R}^n\to\mathbf{C}[/tex]).

Now, my question is:


Is the above problem is equivalent to (i.e., they are the same upto a square)
[tex]\max_{|x_i|\le k_i}[U^2+V^2][/tex] where [tex]F=U+iV,~U,V:\mathbf{R}^n\to\mathbf{R}[/tex]?

If this is correct, then can I assume [tex]U,V\ge0[/tex] in the condition for critical points
[tex]U\frac{\partial U}{\partial x_i}+V\frac{\partial V}{\partial x_i}=0,~i=1(1)n[/tex]

The explicite form of F shows it has no singularity for [tex]|x_i|\le k_i[/tex]

Thanks in advance.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 22 ·
Replies
22
Views
6K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K