Can any twice-differentiable function satisfy these conditions?

  • Context: MHB 
  • Thread starter Thread starter Dustinsfl
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the conditions under which a twice-differentiable function can achieve a minimum or maximum given specific boundary conditions and an integral constraint. Participants explore the implications of the Euler-Lagrange equation and the resulting forms of the function.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant asserts that no twice-differentiable function can achieve a minimum or maximum under the given conditions, deriving a conclusion from the Euler-Lagrange equation.
  • Another participant suggests a different integration approach from the same equation, proposing a potential form for the function.
  • A third participant echoes the previous suggestion, questioning whether the analysis would remain consistent despite an integration error.
  • One participant points out that applying the boundary conditions leads to a specific function, \(y=1/x\), but notes that this function is not twice-differentiable on the interval \([-1,1]\).

Areas of Agreement / Disagreement

Participants express differing views on the implications of the Euler-Lagrange equation and the validity of the proposed functions. There is no consensus on whether a twice-differentiable function can meet the specified conditions.

Contextual Notes

The discussion highlights potential limitations regarding the assumptions of differentiability and the applicability of the derived functions within the specified interval.

Dustinsfl
Messages
2,217
Reaction score
5
I want to show for all twice differentialable functions there are no functions that take a min or max with the following conditions \(y(-1) = -1\), \(y(1) = 1\), and
\[
\int_{-1}^1x^2y^{'2}dx.
\]

From the E-L eq, we have \(2x^2y' = c\).
So
\[
y(x) = -\frac{c}{6} + d
\]
Using the conditions, we get
\[
\begin{pmatrix}
\frac{1}{6} & 1 & -1\\
-\frac{1}{6} & 1 & 1
\end{pmatrix}\Rightarrow
\begin{pmatrix}
\frac{1}{6} & 1 & -1\\
0 & 2 & 0
\end{pmatrix}
\]
Therefore, we have an inconsistent system since no two tuples satisfy the bottom equation.
Thus, no twice differentiable function with the given conditions takes on a minimum or maximum.
 
Physics news on Phys.org
I think from $2x^{2}y'=c$, the next step would be
$$y'= \frac{c}{2x^{2}}=(c/2)x^{-2} \quad \implies \quad y=- \frac{c}{2x}+d.$$
 
Ackbach said:
I think from $2x^{2}y'=c$, the next step would be
$$y'= \frac{c}{2x^{2}}=(c/2)x^{-2} \quad \implies \quad y=- \frac{c}{2x}+d.$$

Not everyone can integrate but after that error, the result analysis would be the same correct?
 
If you just apply the BC's, you might have
\begin{align*}
1&=-c+d\\
-1&=c+d.
\end{align*}
From here, you could say that $d=0$ and $c=-1$, and hence $y=1/x$. The problem is that this function is not in the collection of functions in which you were interested - at least not on the interval $[-1,1]$. That is, $1/x$ is not twice-differentiable on $[-1,1]$.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
7
Views
2K
  • · Replies 35 ·
2
Replies
35
Views
7K
  • · Replies 4 ·
Replies
4
Views
2K