Finding a Sup of a Functional?

  • Context: Graduate 
  • Thread starter Thread starter cris(c)
  • Start date Start date
  • Tags Tags
    Functional
Click For Summary
SUMMARY

The discussion focuses on finding a function \(\rho\) within the set of continuous and nondecreasing functions defined on the interval \([0,1]\) that satisfies a specific inequality involving integrals of a continuously differentiable function \(F\) and its derivative \(f\). The problem is framed as a calculus of variations challenge, particularly emphasizing the role of the parameter \(n\) where \(n > 2\). Participants explore methods such as integration by parts and perturbation techniques to derive conditions for \(\rho\) while maintaining its non-decreasing property.

PREREQUISITES
  • Understanding of calculus of variations
  • Familiarity with continuous and nondecreasing functions
  • Knowledge of integral calculus and properties of differentiable functions
  • Concept of sup norm in functional analysis
NEXT STEPS
  • Study the principles of calculus of variations in depth
  • Explore the properties of nondecreasing functions and their implications in optimization problems
  • Learn about sup norms and their applications in functional analysis
  • Investigate integration techniques, particularly integration by parts, in the context of functional equations
USEFUL FOR

Mathematicians, researchers in optimization theory, and students studying calculus of variations will benefit from this discussion, particularly those interested in functional analysis and integral inequalities.

cris(c)
Messages
21
Reaction score
0
Hi guys,

I need some help please! Consider the following expression:

[itex]\left[1-\int_{x}^{1}F(\rho(\xi))f(\xi)d\xi\right]^{n-1}[/itex]

where [itex]F:[0,1]\rightarrow [0,1][/itex] is a continuously differentiable function with [itex]F'=f, x∈[0,1][/itex], and n>2. Suppose that [itex]\rho[/itex] belongs to the set of continuous and nondecreasing functions defined on [0,1]. Let C denote this set and endow it with the sup norm. I want to find a function [itex]\rho \in C[/itex] such that (with [itex]x<1[/itex] fixed):

[itex]\left[1-\int_{x}^{1}F(\rho^*(\xi))f(\xi)d\xi\right]^{n-1}\geq \left[1-\int_{x}^{1}F(\rho(\xi))f(\xi)d\xi\right]^{n-1}[/itex]

for all [itex]\rho \in C[/itex]. Does this make any sense at all? if so, how can be sure I can find this function?

Thank you so much for your help! I truly need it!
 
Physics news on Phys.org
cris(c) said:
Consider the following expression:
[itex]\left[1-\int_{x}^{1}F(\rho(\xi))f(\xi)d\xi\right]^{n-1}[/itex]
where [itex]F:[0,1]\rightarrow [0,1][/itex] is a continuously differentiable function with [itex]F'=f, x∈[0,1][/itex], and n>2. Suppose that [itex]\rho[/itex] belongs to the set of continuous and nondecreasing functions defined on [0,1]. Let C denote this set and endow it with the sup norm. I want to find a function [itex]\rho \in C[/itex] such that (with [itex]x<1[/itex] fixed):

[itex]\left[1-\int_{x}^{1}F(\rho^*(\xi))f(\xi)d\xi\right]^{n-1}\geq \left[1-\int_{x}^{1}F(\rho(\xi))f(\xi)d\xi\right]^{n-1}[/itex]

for all [itex]\rho \in C[/itex].
Looks like a calculus of variations problem to me, and I have only a passing acquaintance with that. But first, I don't understand the role of n here. I think the integral is never more than 1. If so, it simplifies to
[itex]\int_{x}^{1}F(\rho^*(\xi))f(\xi)d\xi \leq \int_{x}^{1}F(\rho(\xi))f(\xi)d\xi[/itex]
Anyway, I'm going to assume that.
Normally for calc of var one would consider [itex]\rho(\xi) = \rho^*(\xi) + δh(\xi)[/itex], small δ > 0, but I don't see how to incorporate the non-decreasing aspect.
Another approach I tried was integration by parts:
[itex]\int_{x}^{1}F(\rho(\xi))f(\xi)d\xi = [F(\rho(\xi))F(\xi)]_{x}^{1} - \int_{x}^{1}F(\xi)F'(\rho(\xi))d\rho(\xi)[/itex]
At least here we might be able to use [itex]d\rho(\xi)[/itex] ≥ 0, but I'm just as stuck.
Just posting this in case it gives you a useful idea.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K